3 logica computacional
DESCRIPTION
La lógica computacional es un eje transversal en la programación de computadorasTRANSCRIPT
Fecha : 20 de septiembre de 2013
U.T. 1 : Lógica Computacional
Conceptos: Conceptos de lógica computacional Conectivos lógicos
Primeros de Bachillerato APLICACIONES INFORMÁTICAS
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
Recordando
Métodos para configurar planes en la
resolución de problemas
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
¿Qué es la Lógica?
Según Aristóteles "La lógica es la ciencia de la demostración, porque se preocupa de dar reglas para alcanzar la verdad de la evidencia inmediata, que conocemos por medio de la demostración".
Se puede decir que la lógica es la ciencia formal que estudia los principios de la demostración e inferencia válida.
La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
L a L ógic a c om o f undam e nt o de
las Cie nc ias Com putac ionale s
Con la aparición de los computadores surge la necesidad de determinar si es posible especificar formalmente programas y definir sistemas de demostración automática de teoremas.
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
L a L ógic a c om o f undam e nt o de
las Cie nc ias Com putac ionale s
La lógica computacional se puede aplicar en áreas como:
Especificación y verificación de programas.
Demostración automática de teoremas.
Programación lógica.
Inteligencia artificial y sistemas basados en el conocimiento.
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
Lógica de
Programación
Qué es la Programación? Conocimiento de técnicas e instrucciones de un determinado lenguaje de
programación a través de los cuales se nos hace sencillo lograr que el
computador obtenga unos resultados mucho mas rápido que nosotros
¿CÓMO? Instrucciones de las que se va a valer para escribir el código que
realice las acciones determinadas en el QUÉ
Qué es la lógica de Programación? Conceptos que nos permiten diseñar en términos generales la
solución a problemas que pueden llegar a ser implementados a
través de un computador.
¿QUÉ acciones realizar para poder resolver el problema?
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
La lógica aplicada para
resolver problemas
La principal aportación de la lógica para resolver problemas es establecer un conjunto de reglas que permiten determinar cuándo un argumento es correcto.
Preposición: Es un enunciado declarativo que puede ser evaluado como FALSO o VERDADERO.
Por ejemplo: Ecuador ganó a Colombia 3 goles a cero.
Las preposiciones pueden ser simples o compuestas, las compuestas están formadas de dos o más proposiciones simples.
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
La lógica aplicada para
resolver problemas
p: Este año ahorraré lo suficiente.
q: Me darán vacaciones.
r: En diciembre iré de viaje.
t: En diciembre cambiaré de auto.
s: Si este año ahorro lo suficiente y me dan vacaciones,
entonces en diciembre iré de viaje o cambiaré de auto.
Ahora podemos dividir la preposición s en cuatro proposiciones simples:
s: Si p y q, entonces r o t
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
Fecha : 20 de septiembre de 2013
Actividades en
clases
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
Fecha : 20 de septiembre de 2013
Actividades en
clases
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
Valores de Verdad
Conectivo
Lógico Nombre Símbolo
NO Negación ~
Y Conjunción ^
O Disyunción v
SI … ENTONCES Implicación
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
Tablas de Verdad
p q ~p ~q p^q p˅q p q
V V F F V V V
F F V V F F V
F V V F F V F
V F F V F V V
Técnico Salesiano Unidad Educativa
Ing. Wilson Cedillo P. Msc.
Fecha : 20 de septiembre de 2013
Actividades en
clases
q r s ~r ~s q^r q˅(~s) s^(~q) (s^~r)^q (q^r)s
V V V
V V F
V F F
F F F
F V V
F F V
V F V
F V F
Gracias !!!
Usted es libre de
: Copiar, distribuir y comunicar públicamente éstas diapositivas de resumen
Bajo las condiciones siguientes:
Reconocimiento: Debe reconocer los créditos del documento al autor
No comercial: No puede utilizar éste documento para fines comerciales
Sin obras derivadas: NO SE PUEDE ALTERAR, TRANSFORMAR O GENERAR UNA OBRA
DERIVADA A PARTIR DE ÉSTE DOCUMENTO
Comentarios o sugerencias a los correos: [email protected] ó [email protected]