Está en la página 1de 4

NOMBRE DE LA ASIGNATURA O UNIDAD DE APRENDIZAJE LGICA COMPUTACIONAL CICLO CUARTO CUATRIMESTRE CLAVE DE LA ASIGNATURA IA419

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

TEMAS Y SUBTEMAS UNIDAD I: SIMBOLIZACIN DE PROPOSICIONES 1.1 1.2 1.3 1.4 1.5 1.6 1.7 Proposiciones Simbolizacin de proposiciones Reglas del clculo proposicional y formalizacin Formas normales de clculo de predicados Formalizacin del lenguaje natural Agrupamiento y parntesis. Eliminacin de parntesis

UNIDAD II: INFERENCIA LOGICA 2.1 2.2 2.3 2.4 2.5 2.6 Reglas de inferencia y demostracin Modus ponendo ponens Modus tollendo tollens Adjuncin y simplificacin 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 lgica de predicados Nombres comunes de predicados Representacin de las expresiones bien construidas Interpretaciones en lgica de primer orden Tablas de Certeza Formulas automticas y variables Equivalencia de formulas Pgina 1 de 4

UNIDAD IV: ESPECIFICACIN UNIVERSAL Y LEYES DE IDENTIDAD 4.1 4.2 4.3 4.4 4.5 4.6 Un cuantificador Dos o ms cuantificadores Lgica de la identidad El sentido de la identidad Axiomas de la identidad Certezas lgicas

UNIDAD V: UN SISTEMA MATEMATICO SIMPLE: AXIOMAS DE LA ADICIN 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 nmeros 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 tericos estudiados. Participar de forma proactiva y decidida. Resolver problemas de lgica y ponerlos en prctica en un sistema computacional. INDEPENDIENTES Investigar el tema antes de llegar a la clase. Investigar algunas herramientas informticas donde se utilice la lgica. Resolver ejercicios propuestos por el maestro.

Pgina 2 de 4

CRITERIOS Y PROCEDIMIENTOS DE EVALUACION ASPECTOS PORCENTAJE CRITERIOS Participacin individual 20% Es el comentario que emite el alumno, siempre y cuando est basado en una idea clara de los conocimientos adquiridos. Estas actividades de investigacin le permiten al alumno reforzar el conocimiento adquirido. Esto le permitir al alumno tener mayor dominio en los ejercicios matemticos. En el examen se pondrn de manifiesto, conocimientos y habilidades adquiridos, que sern evaluados por el asesor para determinar el nivel de aprendizaje del alumno e identificar las reas en las que hay que reforzarlo.

INSTRUMENTOS Aula

Actividades de investigacin.

10%

Extra Aula

Resolucin de ejercicios. Examen terico.

30%

Aula - Extra Aula

40%

Aula

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

Pgina 3 de 4

ACERVO BIBLIOGRFICO TIPO TITULO AUTOR P.SUPPES, S.HILL EDITORIAL AO

1 2

Introduccin a la lgica matemtica LIBRO Computacin, metodologa, lgica computacional y programacin


LIBRO LIBRO LIBRO LIBRO

Rosario Bores, Romn Rosales Manzano M, Huertas A. Arenas L. Deao, A.

Reverte Mc Graw Hill

2004 1997

3 4 5

Lgica para principiantes Lgica formal para informaticos Introduccin a la lgica formal

Alianza Editorial Ediciones Daz de Santos Alianza Editorial

2004 1996 1994

Pgina 4 de 4