UNIVERSIDAD DE PANAMÁ

PROGRAMA DIDÁCTICO DE ASIGNATURA

FACULTAD DE CIENCIAS NATURALES Y EXACTAS

ESCUELA DE MATEMÁTICA

1 DATOS GENERALES:

Denominación de la asignatura: Lógica formal

Número del Curso: Mat 213

Departamento: Matemática

Semestre: I

Créditos: 3

Total de horas de semestre: TEÓRICAS: 1 PRÁCTICAS: 2

Pre- requisitos: Mat 122, Mat111

Profesores responsables de la elaboración del Programa Analítico: César García, José ángel González C.
II. JUSTIFICACIÓN:
Desde hace muchos años los nuevos avances de las ciencias y la tecnología exigen de profesionales más preparados para aplicar los conceptos lógico matemáticos en la praxis
profesional, además que las necesidades que se asignan hoy a los ingenieros informáticos sobrepasan las visiones tradicionales pues la tecnología es muy dinámica y requiere de
una interacción constante de las necesidades tecnológicas de la sociedad y la calidad de profesional que egresa de la universidad. En este sentido es necesario que la universidad
atienda a políticas educativas tendientes a un enfoque más competitivo y cónsono con las exigencias del mundo globalizante.

El curso de lógica formal, es una instancia de capacitación y formación lógica que contribuye al mejoramiento del proceso de enseñanza y de aprendizaje, de tal manera
que a través de él, se ofrezcan las oportunidades al estudiante para desarrollar la investigación, el análisis y aplicación de este campo del conocimiento en el diseño de software
y otras herramientas informáticas.
La necesidad de un profesional de alto nivel académico representa el elemento clave para las políticas de mejoramiento cualitativo del país por lo que es necesario formar al
profesional para que se desempeñe en actividades de elaboración, instrumentalización y proyectos relativos a la carrera.

III. DESCRIPCIÓN: El curso se describe de cuatro módulos para un total de 16 semanas aproximadamente, con una frecuencia de 3 horas de clases por semana durante un
semestre. El profesor distribuirá las horas de clase de la manera más adecuada para cubrir la programación.
La descripción de los módulos es la siguiente:
1. Introducción al estudio de la lógica formal y sus aplicaciones en la computación, lenguaje proposicional (Proposiciones y conectivas, tablas de verdad, tautologías,
consecuencia válida, formas normales, el método de resolución, razonamientos válidos y consecuencia válida, deducciones y reglas de inferencia.
2. Lógica de predicados: Limitaciones del lenguaje proposicional, predicados constantes y cuantificadores, términos y fórmulas, negación de cuantificadores., consecuencia
válida, reglas de inferencia.
3. Lógica Axiomática. Sistemas y lenguajes formales. Mecanismo deductivo: axiomas y reglas de inferencia, demostraciones y teoremas, reglas derivadas, sistemas
formales y sus propiedades.
4. Lenguajes y sistemas de primer orden: Lenguaje de primer orden, alfabeto, términos y fórmulas, interpretaciones, satisfacción de fórmulas, fórmulas válidas, sistemas de
primer orden.
IV. PROGRAMACIÓN ANALÍTICA POR MÓDULO.
Módulo No.1
Título: Introducción al estudio de la lógica formal y sus aplicaciones en la computación.
Duración (horas) totales: Semanas :3
Teóricas: 1 Prácticas :2
Competencia específica: Aplica los distintos métodos para determinar si una proposición dada es tautología.

Subcompetencias Contenidos Estrategias didácticas Evaluación

1. (Conceptuales,
Procedimentales y Estrategias/Técnicas Actividades Recursos
actitudinales) Didácticos
1. Conoce y valora los 1. Lógica formal  Investigación en  Por medio de una lluvia de -Computadora  Asistencia
antecedentes de la 1.1Concepto y aplicación. textos e internet. ideas, determinar las ideas -Videos  Pruebas
lógica formal y sus 2. Proposiciones y  Exposición por generales que tienen los _Libros parciales
aplicaciones en la tablas de verdad equipos. estudiantes sobre la lógica _Apuntes - individuales
computación. 2.1 Proposiciones atómicas y  Talleres grupales formal. _proporcionados  Talleres en
conectivas lógicas.  Solución de  Investiga y diseña un video por el profesor equipos de
2. Determina en una problemas sobre las aplicaciones de la __Diagramas trabajo
proposición, 2.2 Tablas de verdad.  Lluvia de ideas lógica en la tecnología. __Listado de  Talleres
tautologías, analizando  Exposición  Construye tablas de verdad problemas individuales
su tabla de verdad. 3.Tautologías dialogada por medio de los conectivos  Investigaciones
3.1 Reglas de sustitución  Discusión de lógicos y su jerarquía.  Video
3. Aplica la regla de 3.2 Consecuencia válida problemas en  Determina tautologías
 Participación y
sustitución a una 3.3 Formas normales grupos de trabajo. analizando la tabla de verdad.
aportes en el
proposición dada para 3.4 Resolución  Discusión de  Utiliza las tablas de verdad
desarrollo de la
determinar si es problemas en para determinar si existe una
clase.
tautología. 4. Dedución y reglas de equipo relación de consecuencia
 Prueba
inferencia. válida entre proposiciones
semestral final.
4. Aplica las reglas de 4.1 Consecuencia válida y dadas.
inferencia en la deducción  Aplica el método de
validación de 4.2 Reglas de inferencia resolución para determinar si
deducciones. una proposición es una
tautología.
 Realiza deducciones a partir
de las reglas de inferencia.
Módulo No.2
Título: Sistema lógico y reglas de inferencia
Duración (horas) totales: Semanas: 4
Teóricas: 1 Prácticas: 2
Competencia específica: Aplica las reglas de inferencia para validar deducciones.

Subcompetencias Contenidos Estrategias didácticas Evaluación

2. (Conceptuales,
Procedimentales y Estrategias/Técnicas Actividades Recursos
actitudinales) Didácticos
5. Expresa enunciados 1. Cuantificadores y  Investigació  Por medio de una lluvia de -Computadora  Asistencia
matemáticos en el predicados n en textos e ideas determinar las ideas -Videos  Pruebas
lenguaje de 1.1Limitaciones del internet. generales que tienen los _Libros parciales
cuantificadores y lenguaje proposicional.  Exposición estudiantes sobre el lenguaje _Apuntes - individuales
predicados. 1.2 Predicados por equipos. proposicional. _proporcionados  Talleres en
constantes  Talleres  Investiga en documentos, por el profesor equipos de
1.3 Cuantificadores grupales facilitados por el docente, __Diagramas trabajo
6. Determina si una  Solución de sobre el lenguaje de primer __Listado de  Talleres
interpretación dada es problemas orden. problemas individuales
modelo a partir de un 2. Lenguaje de primer  Lluvia de  Aplica las reglas de inferencia  Investigaciones
conjunto de fórmulas. orden ideas para validar deducciones  Video
 Interpretaciones y  Exposición lógicas.
 Participación y
modelos dialogada  Construye enunciados
aportes en el
7. Aplica las reglas de  Consecuencia válida  Discusión de matemáticos en el lenguaje de
desarrollo de la
inferencia en la  Reglas de inferencia problemas cuantificadores. clase.
validación de en grupos de  Aplica el método de
 Prueba
deducciones. trabajo. resolución para determinar si
semestral final.
 Discusión de una proposición es una
problemas tautología.
en equipo  Realiza deducciones a partir
de las reglas de inferencia.
Módulo No.3
Título: Características formales de los sistemas lógicos
Duración (horas) totales: Semanas: 4
Teóricas: 1 Prácticas: 2
Competencia específica: Demuestra teoremas a partir de las características formales de los sistemas lógicos, axiomas y reglas de inferencia.

Subcompetencias Contenidos Estrategias didácticas Evaluación

8. Distingue los
elementos básicos de 1.Sistemas formales
un sistema formal. 1.1Lenguajes formales
9. Aplica los axiomas y
reglas de inferencia de
un sistema axiomático
a la demostración de
teoremas.
10. Distingue las
características básicas
de todo sistema
axiomático.
3. (Conceptuales,
Procedimentales y Estrategias/Técnicas Actividades Recursos
actitudinales) Didácticos
 Investigación en  Por medio de una lluvia de -Computadora  Asistencia
textos e internet. ideas determinar las ideas -Videos  Pruebas parciales
 Exposición por generales que tienen los _Libros individuales
1.2 Mecanismo deductivo equipos. estudiantes sobre los _Apuntes -  Talleres en
 Talleres grupales sistemas formales. _proporcionad equipos de trabajo
 Solución de  Investiga sobre el lenguaje os por el  Talleres
problemas proposicional. profesor individuales
 Lluvia de ideas  Demuestra proposiciones __Diagramas  Investigaciones
2. Lógica proposicional  Exposición aplicando las reglas de __Listado de  Video
axiomática dialogada inferencia. problemas
 Participación y
2.1 El lenguaje  Discusión de  Participa activamente en la
aportes en el
´proposicional problemas en clase proponiendo ideas
desarrollo de la
2.2 Axiomas y reglas grupos de trabajo. nuevas sobre la aplicación de
clase.
de inferencia  Discusión de los teoremas.
 Prueba semestral
2.3 Teoremas y problemas en  Aplica las reglas de
final.
tautologías. equipo inferencia derivadas para la
2.4 Consistencia demostración de teoremas.
 Utiliza el lenguaje
proposicional para deducir
fórmulas a partir de otras.
 . Utiliza el lenguaje formal
para deducir fórmulas a
partir de otras.
  Analiza la consistencia del
sistema formal.
 Utiliza la tabla de verdad
para indicar las deducciones
que resultan de una fórmula.

Módulo No.4
Título: Sistemas y lenguajes de primer orden
Duración (horas) totales: Semanas: 4
Teóricas: 1 Prácticas: 2
Competencia específica: Conocer y aplicar los componentes de todo lenguaje formal

Subcompetencias Contenidos Estrategias didácticas Evaluación

4. (Conceptuales,
Procedimentales y Estrategias/Técnicas Actividades Recursos
actitudinales) Didácticos
11. Dado un conjunto  Investigación en  Por medio de una lluvia de -  Asistencia
de formulas en un 1.Lenguaje de primer orden textos e internet. ideas determinar las ideas Computadora  Pruebas
lenguaje dado, 1.1 Alfabeto, términos  Exposición por generales que tienen los -Videos parciales
determinar una y fórmulas. equipos. estudiantes el sistema de _Libros individuales
interpretación que 1.2 Interpretaciones  Talleres grupales primer orden. _Apuntes -  Talleres en
sea modelo de dicho 1.3 Valuaciones y  Solución de  Determina el valor de verdad _proporciona equipos de
conjunto. Satisfacción de problemas de cualquier formula aplican dos por el trabajo
fórmulas  Lluvia de ideas el criterio de validez. profesor  Talleres
1.4 Fórmulas válidas.  Exposición  Utiliza la tautología para __Diagramas individuales
2 Sistemas de primer orden dialogada obtener fórmulas lógicamente __Listado de  Investigacion
2.1Axiomas y reglas de inferencia  Discusión de válidas. problemas es
2.2 Demostraciones y teoremas problemas en  Forma círculos de excelencia  Video
12. Aplica los teoremas 2.3 Teorema fundamental de Godel grupos de para analizar los axiomas y  Participación
fundamentales para trabajo. otras reglas de inferencia. y aportes en
establecer las  Discusión de  Demuestra en equipos de dos el desarrollo
propiedades básicas problemas en participantes, teoremas de la clase.
de un sistema de equipo relativos a los sistemas de  Prueba
primer orden. primer orden. semestral
final.
 Interpreta la simbología de la
numeración Godel para
 calcular el numero Godel de
una sucesión.
 Aplica las propiedades de los
sistemas formales para hacer
demostraciones.

BIBLIOGRAFÍA

Cuena, José. Lógica informática. Alianza Editorial, Madrid, 1984

Deaño, Alfredo: Introducción a la lógica Formal. Alianza Editorial. S.A., Madrid, 1978.

Garrid, M. Lógica Simbólica. Editorial Tecnos. Madrid. Reimpreso 1977.

Hilbert, D y ACkeermann, W. Elementos de la lógica Teórica.trad por V.Sanchez de Zavala. Editorial Tecnos. Madrid. 1973.

Gómez Calderón, Javier. Lógica Simbólica. Editorial Continental. S.A. de C.V. 1984.

Cornejo, Arsenio. Apuntes de Lógica Formal.

 UNIVERSIDAD DE PANAMA
CENTRO REGIONAL UNIVERSITARIO DE VERAGUAS
FACULTAD DE CIENCIAS NATURALES, EXACTAS Y TECNOLOGÌA
PROGRAMACIÒN DIDÀCTICA DEL CURSO DE LÒGICA FORMAL
MAT213

FACULTAD DONDE SE DICTA EL CURSO

INFORMÀTICA, ELECTRÒNICA Y TELECOMUNICACIONES

CARRERA
INGENIERÌA EN INFORMATICA

FACILITADOR
CÈSÀR AUGUSTO GARCÌA
I SEMESTRE 2012