CONTENIDOS TEMATICOS DE LA ASIGNATURA
Introducción: ¿Qué es lógica?.
Evolución de la lógica.
Aplicaciones de la lógica.
El concepto abstracción = simplificación.
Las formas de representación del conocimiento.
2. Sistemas de Numeración
Noción Histórica.
Conversiones entre bases.
Aritmética en la misma base.
Aritmética en diferentes bases.
3. Metodología para el análisis de problemas
Mundo o contexto del problema
Análisis de un problema
Especificación del problema
Tipos de datos básicos.
Solución del problema
Diseño de la solución (diseño de clases, interfaz, y otros aspectos)
Construcción del algoritmo/seudocódigo.
Pruebas del algoritmo
Documentación
4. Introducción a la Teoría de Conjuntos
Noción de Conjunto
Determinación y Representación de un Conjunto.
Clases de Conjuntos.
Pertenencia y No Pertenencia.
Relaciones entre Conjuntos (Inclusión e igualdad).
Operaciones entre Conjuntos (Unión, Intersección, complemento, diferencia y diferencia simétrica)
Partes de Un Conjunto.
Cardinalidad de Conjunto.
Problemas de Aplicación.
5. Lógica Proposicional
Noción de Proposición.
Proposiciones Simples.
Proposiciones Compuestas y Conectores Lógicas (Conjunción, Disyunción, Condicional, Bicondicional y doble negación).
Valores de Verdad de los Conectores Lógicos.
Tablas de Verdad.
Tautologías, Contradicciones y Equivalencia Lógica.
Cuantificadores y su Negación.
Reglas de Inferencia y Demostración.http://unipanamericanafredycarrillo.webs.com/logicaprogramacion.htm
