Universidad Mundo Maya

Plan Programtico
CICLO ESCOLAR JULIO - DICIEMBRE 2014(2015-1)
NOMBRE DEL DOCENTE:

JOSE LUIS CHABLE ARIAS

MATERIA:

LOGICA FORMAL

CLAVE:
TOTAL DE HORAS

HORARIO DE CLASES
DIA:

SABADO

HORA:

2 HRS

HORA:

DIA:

USO EXCLUSIVO DEL DOCENTE

No.

Temas

Horas

1. HISTORIA DE LA LOGICA SIMBOLICA

1.1 Desarrollo histrico de la lgica
(JORGE ALBERTO)
1.1.1 Aplicacin a la filosofa (JORGE
ALBERTO)
1.1.2 Matematizacin de la lgica
(FRANCISCO JAVIER)
1.1.3 Extensin a la tecnologa a
travs de la Informtica
(EUGENIO)
1.2

Lgica de primer orden (JOSE

ANTONIO)
1.2.1 Clculo de proposiciones y
clculo de predicados
(JONATHAN)
1.2.2 Teora sintctica y semntica

2. EL LENGUAJE DE LA LOGICA DE
PRIMER ORDEN
2.1 Introduccin
2.2.1 Lenguaje formal

1031

SEMANALES:

SEMESTRALES:

USO EXCLUSIVO DEL DEPARTAMENTO ACADMICO

Fechas
(Da y mes)

2 HRS

23/08/2014

2 HRS

30/08/2014

2 HRS

06/09/2014

Observaciones

Observador

Fecha
(Da y mes)

Universidad Mundo Maya

Plan Programtico
2.2.2 Nocin de verdad
2.2.3 Mtodo de clculo
2.2 El Lenguaje del clculo
proposiciones
2.2.1 Conectivas en el clculo
proposicional
2.2.2 Formulas proposicionales

de

2.3 El Lenguaje del clculo de predicados

2.3.1 Trminos y predicados
2.3.2 Cuantificacin
2.3.3 Formulas de clculo de
predicados
2.3.4 Enunciados cuantificados
2.4 Limitaciones expresivas de la lgica de
primer orden
Examen Primer Parcial
3. TEORIA SEMANTICA
3.1 Conceptos semnticos bsicos
3.1.1 Valores de verdad
3.1.2 Definicin de semntica de las
conectivas lgicas
3.1.3 Clasificacin de frmulas
bsicas
3.1.4 Anlisis semntico de deduccin
correcta
3.2 Semntica en clculo de proposiciones
3.2.1 Estudio de las tablas de verdad
3.2.2 Mtodos semnticos de
valoracin

2 HRS

13/09/2014

2 HRS

20/09/2014

2 HRS

27/09/2014

2 HRS

04/10/2014

Universidad Mundo Maya

Plan Programtico
3.3 Semntica en clculo de predicados
3.3.1 Estudio y construccin de las
tablas de verdad
3.3.2 Mtodos semnticos de
valoracin
3.4 Estudio y anlisis del conjunto de
conectivas

4. DEDUCCION NATURAL
4.1 Conceptos bsicos
4.1.1 Clculo lgico
4.1.2 Interpretacin de las lneas de
derivacin
4.2 Reglas bsicas
4.2.1 Implicacin: MP (Modus
Ponems) y TD (Teorema de
deduccin)
4.2.2 Conjuncin: IC (Introduccin del
conjuntor) y EC (Eliminacin del
conjuntor)
4.2.3 Disyuncin: ID (Introduccin del
disyuntor) y ED (Eliminacin del
disyuntor)
4.2.4 Negacin: IN (Introduccin del
negador) y EN (Eliminacin del
negador)
4.2.5 Cuantificacin Universal: IU
(Introduccin Cuantificador
Universal) y EU (Eliminacin
Cuantificador Universal)
4.2.6 Cuantificacin Existencial: IE
(Introduccin
Cuantificador Existencial) y EE

2 HRS

11/10/2014

Universidad Mundo Maya

Plan Programtico
(Elmininacin
Cuantificador Existencial)
4.3 Resolucin de argumentos
4.3.1 Subpruebas
4.3.2 Resolucin de argumentos
4.4 Reglas derivadas.
4.4.1 Reglas de implicacin
4.4.2 Reglas de conjuncin y
disyuncin
4.4.3 Reglas de negacin
4.4.4 Reglas de cuantificacin
4.5 Tcnicas bsicas de demostracin
4.5.1 Prueba trivial
4.5.2 Prueba vaca
4.5.3 Prueba directa
4.5.4 Prueba indirecta
4.5.5 Prueba por contradiccin
4.5.6 Prueba por casos
Examen Segundo Parcial
5. METALOGICA
5.1 Teorema de deduccin
5.2 Propiedades formales
5.3 Metalgica en el clculo de
preposiciones
5.3.1 Consistencia
5.3.2 Completud
5.3.3 Decidibilidad
5.4 Metalgica del clculo de predicados
5.4.1 Consistencia
5.4.2 Completud

2 HRS

18/10/2014

2 HRS

25/10/2014

2 HRS

01/11/2014

Universidad Mundo Maya

Plan Programtico
5.4.3 Desicin

6. NORMALIZACION DE FORMULAS
6.1 Formas normales del clculo de
proposiciones
6.1.1 Forma normal conjuntiva
6.1.2 Forma normal disyuntiva
6.2 Mtodos de demostracin basados en
F.N. (Forma normal) el clculo de
proposiciones.
6.2.1 Obtencin del valor de verdad
de una frmula a partir de la
FNC (Forma normal conjuntiva)
y FND (Forma normal
disyuntiva)
6.2.2 Mtodo del cuadro
6.2.3 Mtodo de Davis-Putnam
6.3 Formas normales del clculo de
predicados
6.3.1 Forma normal de Prenex
6.3.2 Forma normal de Skolem
6.3.3 Forma clausal

7.

METODOS
DE
DEMOSTRACION
AUTOMATICA
7.1 Bases tericas.
7.1.1 Sistemas de refutacin
7.1.2 Teorema de Herbrand
7.2 Mtodos de deduccin automtica
basados en el Teorema de Herbrand
7.3Mtodo de unificacin y resolucin
7.3.1 Sustituciones y unificacin

2 HRS

08/11/2014

2 HRS

15/11/2014

Universidad Mundo Maya

Plan Programtico
7.3.2 Regla de resolucin
7.3.3 Sistemas de refutacin por
resolucin
7.4 Obtencin de respuestas mediante
refutacin por resolucin

8. PROGRAMACION LOGICA
8.1 Introduccin
8.2 Representacin de programas lgicos
8.2.1 Notacin para la programacin
lgica
8.2.2 Cluslas de Horn definidas
8.3 Semntica de los programas lgicos
8.3.1 Semntica operacional
8.3.2 Semntica declarativa
8.4 Prolog.
8.5 Programacin lgica vs programacin
imperativa

EXAMEN TERCER PARCIAL

2 HRS

22/11/2014

2 HRS

29/11/2014

USO EXCLUSIVO DEL DOCENTE

Evaluaciones
(segn plan
programtico)

Fechas de
evaluaciones
(Da y mes)

Formas de evaluacin

USO EXCLUSIVO DELDEPARTAMENTO ACADMICO

Porcentaje
de
evaluacin

Fecha de
entrega de
calificaciones
(Da y mes)

Fecha
Observaciones

Observador

(Da y
mes)

Universidad Mundo Maya

Plan Programtico
20/09/2014
Primer parcial

Segundo
parcial

Tercer parcial

Ordinario

25/10/2014

29/11/2014

06/12/2014

EXAMEN

50%

PARTICIPACION

20%

TAREAS

20%

PROYECTO

10%

EXAMEN

50%

PARTICIPACION

20%

TAREAS

20%

PROYECTO

10%

EXAMEN

50%

PARTICIPACION

20%

TAREAS

20%

PROYECTO

10%

EXAMEN

80%

PROYECTO FINAL

20%

27/09/2014

01/11/2014

06/12/2014

13/12/2014

VILLAHERMOSA, TABASCO, a 22 de AGOSTO de 2014.

LIC. JOSE LUIS CHABLE ARIAS

Nombre y firma del docente

Revis (nombre y firma)

Autoriz (Nombre y firma)