4. es la misma lógica matemática aplicada al contexto de
las ciencias de la computación. Su uso es fundamental en varios
niveles: en los circuitos computacionales, en la programación
lógica y en el análisis y optimización (de recursos temporales y
espaciales) de algoritmos.
La lógica se extiende al corazón de la informática a medida que
surge como una disciplina: El trabajo de Alan Turing sobre
el Entscheidungsproblem seguido del trabajo de Kurt
Gödel sobre teoremas incompletos. La noción de la computadora
de uso general que surgió de este trabajo fue de gran importancia
para los diseñadores de la maquinaria informática en la década
de 1940.
5. • La lógica se creó para elaborar criterios en las discusiones filosóficas de los
antiguos griegos que les ayudaran a discernir si los argumentos eran correctos o
no. • ETAPAS: ▫ Antigüedad clásica – Aristóteles y los estoicos ▫ Matematización
de la Lógica – La lógica incorpora a sus técnicas de trabajo la exactitud y rigor
matemático. Leibniz, Boole, de Morgan,… ▫ Extensión a la tecnología a través de
la Informática - La lógica formal ha jugado un importante papel en la
Inteligencia Artificial en los últimos años. 3 INFORMÁTICA BÁSICA
INGENIERÍA DE EDIFICACIÓN. LÓGICA COMPUTACIONAL Lógica
Computacional UN POCO DE HISTORIA • Lógica Tradicional ▫ Durante 2000
años la codificación de Aristóteles fue considerada imposible de mejorar. •
Lógica Simbólica o Matemática. ▫ Fundador: Leibniz (s. XVIII) – Aplicó
deducción matemática a los razonamientos filosóficos. ▫ Frege y Boole (s- XIX)
– Desarrollaron las ideas de Leibniz. ▫ De Morgan aporta la inducción
matemática y las leyes que llevan su nombre. 4 INFORMÁTICA BÁSICA
INGENIERÍA DE EDIFICACIÓN. LÓGICA
6. • Lógica Tradicional ▫ Durante 2000 años la
codificación de Aristóteles fue considerada
imposible de mejorar. • Lógica Simbólica o
Matemática. ▫ Fundador: Leibniz (s. XVIII) –
Aplicó deducción matemática a los
razonamientos filosóficos. ▫ Frege y Boole (s-
XIX) – Desarrollaron las ideas de Leibniz. ▫
De Morgan aporta la inducción matemática
y las leyes que llevan su nombre
7. Constituye una parte fundamental de la Inteligencia Artificial
≡construcción de sistemas informáticos capaces de reproducir
comportamientos “inteligentes"
Se basa en dos ideas fundamentales:
1. El “conocimiento" asociado con un sistema se puede expresar
forma declarativa mediante fórmulas lógicas (≡uso de la lógica
como mecanismo de representación del conocimiento)
2. El “razonamiento" de un sistema se traduce entonces en la
realización de una serie de operaciones lógicas (deducciones)
sobre dicho conocimiento (≡uso de la lógica como mecanismo de
resolución de problemas)
„
A diferencia del paradigma de programación imperativo o
procedural (e.g. Pascal, Ada, C, etc), o del orientado a objetos
(C++, Java, Eiffel, Smalltalk, etc.) losprogramas en un lenguaje
de programación lógico no describen cómo resolver el
problema sino simplemente especifican qué hay que resolver
Escribir un programa lógico consisteen:
8. Ventajas de la programación
lógica
‹
Los programas están muy
próximos a la especificación de
los problemas que preten de
resolver Son por el lo más
sencillos, más fáciles de
entender y mantener y más
fiables
9.
10. En el área de la ingeniería,
existe un conjunto de
procesos de vital importancia,
en los cuales la lógica
computacional brinda la
capacidad de razonamiento
necesario para resolver
cualquier problema mediante
los siguientes pasos:
12. La lógica computacional cubre todos los tipos de
aplicaciones de la lógica en la informática, sin embargo,
esta se centra en la definición: Algoritmo = Lógica +
Control.
Los algoritmos tratan la descripción de un problema y la
estrategia para llevar a cabo las computaciones
utilizadas en su descripción. La lógica computacional se
dedica a concentrarse en la descripción de un problema
y no invertir ningún tiempo en el mecanismo de
computación necesario.
14. Proposición:
Es toda oración o enunciado al que se le
puede asignar un cierto valor (v o f). Si no
puede concluir que es verdadero o falso no es
proposición. Es cualquier agrupación de
palabras o símbolos que tengan sentido y de la
que en un momento determinado se pueda
asegurar si es verdadera o falsa. La verdad o
falsedad de una proposición es lo que se llama
su valor lógico o valor de verdad.
16. En razonamiento formal, una conjunción lógica ( {displaystyle
land } ) entre dos proposiciones es un conector lógico cuyo valor
de la verdad resulta en cierto sólo si ambas proposiciones son
ciertas, y en falso de cualquier otra forma.1 Existen diferentes
contextos donde se utiliza la conjunción lógica.
En lenguajes formales, la palabra "y" se utiliza en español para
simbolizar una conjunción lógica. La noción equivalente en
la teoría de conjuntos es la intersección ( {displaystyle cap } ).
En álgebra Booleana, la conjunción como operador binario entre
dos variables se representa con el símbolo de punto medio ( · ).
18. • Ejemplos de conjunción lógica:
1 Un automóvil enciende si tiene batería y tiene
gasolina, es decir, ambos enunciados deben de ser
verdaderos para que la conjunción sea verdadera
2Se considera que un número es primo si es
divisible entre sí mismo y la unidad, y en ningún
otro.
19. Disyunción (del latín disiunctĭo, -ōnis 'desunión')
significa separar o desunir. Tiene significados
en lógica, filosofía, semántica lingüísticay sintaxis, sin
embargo todos son muy similares y se refieren a un
operador sobre dos o más elementos que resulta
verdad Si sólo al menos un elemento es verdadero
Disyunción lógica, usada en las áreas de lógica y
matemáticas
21. Ejemplos de disyunción:
Sea p = Voy al cine, q = Voy a cenar, c = Gastaré algo de
dinero. p^q => c Si voy al cine o voy a cenar entonces
gastaré algo de dinero; la conclusión de gastar algo de
dinero es verdadera si la persona va al cine aunque no
vaya a cenar, pero también es verdadera si solamente va
a cenar y no va al cine. La única forma en que la
conclusión de gastar algo de dinero sea falsa, es que no
vaya la cine ni a cenar
22. mojan con una manguera, c= Estaré
mojado. p^q=
Si camino bajo la lluvia o me mojan con una manguera
entonces estaré mojado: la conclusión en esto es que si camino
bajo la lluvia es verdad que estaré mojado, pero también es
verdadera si me mojan con una manguera aunque no camine
bajo la lluvia. Si camino bajo la lluvia y me mojan con una
manguera la disyunción es verdadera. La única forma en que
no estaré mojado es que no camine bajo la lluvia, ni me mojen
con una manguera.
23. }
En lógica y matemática, la negación, también
llamada complemento lógico, es una operación sobre
proposiciones, valores de verdad, o en general, valores
semánticos. Intuitivamente, la negación de una
proposición es verdadera cuando dicha proposición es falsa,
y viceversa. En lógica clásica la negación está normalmente
identificada con la función de verdad que cambia su valor
de verdadero a falso y viceversa. En Lógica intuicionista, de
acuerdo a la interpretación de Brouwer–Heyting–
Kolmogorov, la negación de una proposición p es la
proposición cuyas pruebas son las refutaciones de p.