419-Lógica Computacional

NOMBRE DE LA ASIGNATURA O UNIDAD DE APRENDIZAJE LÓGICA COMPUTACIONAL CICLO

CLAVE DE LA ASIGNATURA

CUARTO CUATRIMESTRE

IA419

OBJETIVO(S) GENERAL(ES) DE LA ASIGNATURA Que el alumno sea capaz de comprender conceptos fundamentales de la lógica simbólica, inferencia y de primer orden, para demostrar sus habilidades y aptitudes, ya que la lógica juega un papel muy importante en la implementación de los sistemas computacionales.

TEMAS Y SUBTEMAS UNIDAD I: SIMBOLIZACIÓN DE PROPOSICIONES 1.1 1.2 1.3 1.4 1.5 1.6 1.7

Proposiciones Simbolización de proposiciones Reglas del cálculo proposicional y formalización Formas normales de cálculo de predicados Formalización del lenguaje natural Agrupamiento y paréntesis. Eliminación de paréntesis

UNIDAD II: INFERENCIA LOGICA 2.1 2.2 2.3 2.4 2.5 2.6

Reglas de inferencia y demostración Modus ponendo ponens Modus tollendo tollens Adjunción y simplificación Disyunciones con premisas Modus tollendo ponens

UNIDAD III: LOGICA DE PRIMER ORDEN 3.1 3.2 3.3 3.4 3.5 3.6 3.7

Alfabeto del lenguaje formal de la lógica de predicados Nombres comunes de predicados Representación de las expresiones bien construidas Interpretaciones en lógica de primer orden Tablas de Certeza Formulas automáticas y variables Equivalencia de formulas Página 1 de 4

UNIDAD IV: ESPECIFICACIÓN UNIVERSAL Y LEYES DE IDENTIDAD 4.1 4.2 4.3 4.4 4.5 4.6

Un cuantificador Dos o más cuantificadores Lógica de la identidad El sentido de la identidad Axiomas de la identidad Certezas lógicas

UNIDAD V: UN SISTEMA MATEMATICO SIMPLE: AXIOMAS DE LA ADICIÓN 5.1 5.2 5.3 5.4 5.5 5.6

Axioma de la propiedad conmutativa Axioma de la propiedad asociativa Axioma del cero Axioma de los números negativos Teoremas con variables Teoremas con cuantificadores universales

ACTIVIDADES DE APRENDIZAJE CON DOCENTE E INDEPENDIENTES CON DOCENTE • • •

Que el alumno tenga la capacidad de generar nuevas ideas a partir de los conceptos teóricos estudiados. Participar de forma proactiva y decidida. Resolver problemas de lógica y ponerlos en práctica en un sistema computacional.

INDEPENDIENTES • • •

Investigar el tema antes de llegar a la clase. Investigar algunas herramientas informáticas donde se utilice la lógica. Resolver ejercicios propuestos por el maestro.

Página 2 de 4

CRITERIOS Y PROCEDIMIENTOS DE EVALUACION ASPECTOS PORCENTAJE CRITERIOS

INSTRUMENTOS

Participación individual

20%

Es el comentario que emite el alumno, siempre y cuando esté basado en una idea clara de los conocimientos adquiridos.

Aula

Actividades de investigación.

10%

Estas actividades de investigación le permiten al alumno reforzar el conocimiento adquirido.

Extra Aula

Resolución de ejercicios.

30%

Esto le permitirá al alumno tener mayor dominio en los ejercicios matemáticos.

Aula - Extra Aula

Examen teórico.

40%

En el examen se pondrán de manifiesto, conocimientos y habilidades adquiridos, que serán evaluados por el asesor para determinar el nivel de aprendizaje del alumno e identificar las áreas en las que hay que reforzarlo.

Aula

CRITERIOS Y PROCEDIMEINTOS DE ACREDITACION Para la acreditación de esta asignatura se necesita como mínimo 85 % de asistencias a las sesiones presenciales, y con el 60 % de los trabajos e indicadores requeridos en clase y extraclase.

Página 3 de 4

ACERVO BIBLIOGRÁFICO TIPO

TITULO

AUTOR

1 2

LIBRO

3

LIBRO

Lógica para principiantes

4

LIBRO

Lógica formal para informaticos

Manzano M, Huertas A. Arenas L.

5

LIBRO

Introducción a la lógica formal

Deaño, A.

Introducción a la lógica matemática LIBRO Computación, metodología, lógica computacional y programación

P.SUPPES, S.HILL

Rosario Bores, Román Rosales

EDITORIAL

AÑO

Reverte Mc Graw Hill

2004 1997

Alianza Editorial

2004

Ediciones Díaz de Santos Alianza Editorial

1996

Página 4 de 4

1994