Está en la página 1de 3

INF-144 LOGICA PARA LA CIENCIA DE LA COMPUTACIN

Asignatura Lgica para la Ciencia de la Computacin


Sigla: INF - 144
rea Curricular Ciencias de la Computacin
Modalidad Semestral
Nivel Semestral Cuarto semestre
Horas Tericas 4 por semana en dos sesiones
Horas practicas 2 por semana en una sesin
Pre requisitos Matemtica Discreta II MAT - 123

1. OBJETO DE LA MATERIA

Fundamentar los elementos de la lgica como base para las aplicaciones Informticas

2. OBJETIVOS GENERALES

a) Desarrollar la inferencia lgica en las traducciones del lenguaje natural al lenguaje
formal
b) Desarrollar la habilidad del estudiante en las demostraciones formales

3. PROGRAMA SINTETICO

Introduccin a los conceptos fundamentales, Clculo de proposiciones, Lgica de predicados
de primer orden, Otras lgicas

4. CONTENIDOS ANALITICOS

1. INTRODUCCIN, CONCEPTOS FUNDAMENTALES
1.2. Lgica e Informtica
1.3. Alfabeto, Cadenas y Lenguajes
1.4. Operaciones con cadena
1.5. concatenacin
1.6. Sintaxis, Semntica y Pragmtica
1.7. Juicio, Proposicin y Razonamiento

2. CALCULO DE PROPOSICIONES
2.1. Introduccin
2.1.1. Variables proposicionales y sentencias
2.1.2. Conectivas
2.1.3. Interpretacin binaria
2.1.4. Formalizacin
2.2. Sintaxis
2.2.1. Alfabeto
2.2.2. Expresiones y sentencias
2.2.3. Axiomas y Teoremas
2.3. Semntica
2.3.1. Interpretaciones
2.3.2. Tautologa, contradicciones y contingencia
2.3.3. Equivalencias entre sentencias

2.4. Sistemas Inferencia les
2.4.1. Anlisis y razonamientos
2.4.2. Leyes y reglas de Inferencia
2.4.3. Inferencia y deduccin
2.4.4. Forma clausulada de la lgica de proposiciones
2.4.5. Regla de resolucin

3. LOGICA DE PREDICADOS DE PRIMER ORDEN
3.1. Introduccin


3.1.1. El Universo del discurso, predicados
3.1.2. Variables y constantes
3.1.3. Propiedades y relaciones
3.1.4. Predicados y formulas atmicas
3.1.5. Cuantificadores
3.2. Sintaxis
3.2.1. Alfabeto
3.2.2. Sentencias
3.3. Semntica
3.3.1. Definicin
3.3.2. Interpretacin, dominio
3.3.3. Relaciones de equivalencia
3.4. Sistemas Inferenciales
3.4.1. Teoremas y reglas de Inferencia
3.4.2. Forma clausulada de la lgica de predicados
3.4.3. Regla de resolucin
3.5. Interpretacin y validez
3.5.1. Particularizacin Universal, ejemplos
3.5.2. Generalizacin Universal, ejemplos
3.5.3. Particularizacin Existencial, ejemplos
3.5.4. Generalizacin Existencial, ejemplos
3.6. Derivaciones
3.6.1. Eliminacin de cuantificadores
3.6.2. Teorema de la deduccin
3.7. Equivalencias Lgicas
3.7.1. Equivalencias lgicas bsicas
3.7.2. Otras equivalencias

4. OTRAS LGICAS
4.1. Lgica temporal
4.2. Lgica Multivaluada
4.3. Lgica Difusa
4.4. Lgica Trivalente
4.5. Lgica Modal
4.6. Lgica Montona

5. CALCULO LAMBDA
5.1 Lambda bsico
5.2 lambda tipado

5. MODALIDAD DE EVALUACIN

La evaluacin es formativa peridica y sumativa, siendo los examen parciales y final escritos, la
investigacin de un tema se realizar por exposicin y presentacin.

Examen Temas Ponderacin
1 Examen Parcial 25 puntos
2 Examen Parcial 25 puntos

Examen Final 30 puntos
Practicas 10 puntos
Investigacin y/o trabajo de curso 10 puntos
100 puntos

6. CRONOGRAMA DE EXAMENES

1 Examen Parcial 24-28 de Marzo Captulos 1y 2
2 Examen Parcial 19-23 de Mayo Captulo 3 y 4
Examen Final 2-6 de Junio Captulos 1, 2, 3,4 y 5
Examen Recuperatorio 9 de Junio


7. METODOS Y MEDIOS

Los mtodos de aplicacin del proceso curricular de la materia estn contenidos en proceso de
enseanza aprendizaje, centrada en el alumno para conseguir un aprendizaje significativo con
razonamientos inductivos y deductivos, y un aprendizaje orientado, libre que permita al
estudiante desarrollar su potencial creativo.

Entre los medios se tiene docentes con varios aos de experiencia en el ejercicio de la
docencia, se tiene una biblioteca especializada, servicio de Internet, laboratorio de computacin
medios audio visuales.

8. BIBLIOGRAFA

o Fundamentos de Informtica, Gregorio Fernndez y F. Saez V. , Editorial Alianza 1987
o Lgica para computacin, Naisht. Francisco, Edit. Universitaria Buenos Aires, 1986
o Matemtica Discreta y Lgica, W.K. Grassmann, Edit. Prentice Hall 1997
o Lgica Simblica para Informticos, Pascual Julian Iranzo, Edit. Alfa-Omega 2005
o Matemtica Discreta y Combinatoria Ralph P. Grimaldi, Prentice Hall, 1998
o Introduction to Combinators and lambda-calculus, Hindley Roger