3 Logica computacional
0 recomendaciones2,697 vistas
Este documento presenta conceptos básicos de lógica computacional, incluyendo la definición de lógica, su importancia para las ciencias de la computación, y los conectivos lógicos y tablas de verdad. También introduce conceptos como preposiciones, proposiciones simples y compuestas, y cómo aplicar la lógica para resolver problemas.
3 Logica computacional
- 1. Primeros de Bachillerato APLICACIONES INFORMÁTICAS Fecha : 20 de septiembre de 2013 U.T. 1 : Lógica Computacional Conceptos: Conceptos de lógica computacional Conectivos lógicos
- 2. Recordando Métodos para configurar planes en la resolución de problemas Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 3. ¿ 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 Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 4. La Lógica como fundamento de las Ciencias Computacionales 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. Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 5. La Lógica como fundamento de las Ciencias Computacionales La lógica computacional se puede aplicar en áreas como: Unidad Educativa Técnico Salesiano 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. Ing. Wilson Cedillo P. Msc.
- 6. 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? Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 7. 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. Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 8. La lógica aplicada para resolver problemas 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: p: Este año ahorraré lo suficiente. q: Me darán vacaciones. r: En diciembre iré de viaje. t: En diciembre cambiaré de auto. Unidad Educativa Técnico Salesiano s: Si p y q, entonces r o t Ing. Wilson Cedillo P. Msc.
- 9. Actividades en clases Fecha Unidad Educativa Técnico Salesiano : 20 de septiembre de 2013 Ing. Wilson Cedillo P. Msc.
- 10. Actividades en clases Fecha Unidad Educativa Técnico Salesiano : 20 de septiembre de 2013 Ing. Wilson Cedillo P. Msc.
- 11. Valores de Verdad Conectivo Lógico Nombre Símbolo NO Negación ~ Y Conjunción ^ O Disyunción v SI … ENTONCES Implicación Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 12. 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 Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 13. Actividades en clases Fecha q r s V V V F F V F F V F V (q^r)s V V (s^~r)^q V F s^(~q) F F q˅(~s) F F q^r F V ~s V V ~r : 20 de septiembre de 2013 F Unidad Educativa Técnico Salesiano Ing. Wilson Cedillo P. Msc.
- 14. 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: ing.wilsoncedillo@msn.com ó wilsoncp@uets.edu.ec