UNIVERSIDAD CATOLICA DE SANTA MARIA

FACULTAD DE CIENCIAS E INGENIERIAS FISICAS Y

FORMALES
PROGRAMA PROFESIONAL DE INGENIERIA DE SISTEMAS

FILOSOFIA

LOGICA

ALUMNO: RAMOS RODRIGUEZ PERCY ROY

DOCENTE: WALTER GRABIEL APAZA AQUISE

AREQUIPA PERU

2017
1. Considera Ud., que la lgica puede ser til en el ejercicio profesional de la
ingeniera de sistemas? si, no; fundamente.

La lgica es mas que til en el ejercicio profesional de la ingeniera por lo siguiente:

La Lgica se considera como un elemento fundamental dentro del proceso de formacin de

los estudiantes de ingeniera de sistemas y afines, pues posee una estrecha relacin con
reas como las Matemticas Discretas y la Programacin. Tambin est relacionada con la
Inteligencia Artificial al ser la lgica la base de mtodos para representar el conocimiento.
En la ingeniera de software, la lgica tiene una aplicacin entre otros en cuanto a la
especificacin de requisitos y componentes de software, mediante el uso de lenguajes
formales, sin embargo la aplicacin en esta rea ha sido muy poca teniendo en cuenta que
su uso puede ser problemtico dentro del proceso de desarrollo de software.

Los fundamentos tericos y los mtodos de prueba de teoremas

Los problemas de formalizacin y axiomatizacin; problemas de las teoras
axiomatizadas.
La programacin Lgica y sus fundamentos tericos; lgica de punto fijo y el modelo
Herbrand de un programa
El clculo en el marco de la programacin funcional
En la programacin de las Lgicas no clsicas; lgica temporal, lgica polivalente,
lgica difusa, lgica descriptiva entre otras

2. Elabore un cuadro con 5 ejemplos de falacias orientadas al mbito de la

especialidad.

Falacias de la computacin
distribuida

1. The network is reliable: la red es Esta falacia est relacionado con

confiable.
2. Latency is zero: la latencia es nula
el teorema CAP, especialmente con la
tolerancia a la particin. Muchas de las
tecnologas con las que trabajamos
ocultan el hecho de que estamos
usando la red para enviar solicitudes a
diferentes maquinas.
Hacer una peticin a otro servidor toma
tiempo, en la programacin orientada a
objetos esto casi no es un problema.
Cuando se enva una peticin a una
maquina remota, tenemos que estar
atentos al tiempo total que toma un

3. Bandwith is infinite: el ancho de banda
es infinita
4. The network is secure: la red es segura
5. Topology doesnt change: la topologia
no cambia
responder una peticin, esto es
conocido como latencia.
Cuando se llama a un mtodo no
existen problemas con el envi y la
recepcin de los parmetros. No nos
preocupamos si se trata de una lista
grande o un documento XML el
parmetro siempre llega a su destino, ya
que solo se comparte el lugar en la
memoria donde se encuentra, por ese
motivo es que no es complicado
Un sistema distribuido puede ser
atacado de formas que no se replican en
un sistema monoltico. Existen ms
vulnerabilidades cuando el mensaje
viaja por la red y estas vulnerabilidades
pueden ser aprovechadas por un
atacante.
Este no solo es un problema de
aplicaciones expuestas en Internet,
actualmente existen muchas
aplicaciones empresariales que estn
construidas con la creencia que al
encontrarse en una red interna no van a
sufrir problemas de seguridad, pero esto
no es verdad la red interna tampoco es
segura y la mayora de los ataques
ocurren ah.