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