UNIVERSIDAD TECNOLOGICA DE PEREIRA

FACULTAD DE INGENIERIAS
Programa Ingeniería de Sistemas y Computación

ASIGNATURA: LÓGICA
Código: IS323
Créditos Académicos: 3
Intensidad Semanal: 4
Requisitos IS193 Introducción a la Informática

En las instancias primarias de la computación, cuando todo se

basaba en elementos teóricos y ni siquiera existían máquinas
que permitieran realizar cálculos, la matemática y en especial la
lógica ha sido la herramienta teórica que ha permitido construir
Justificación toda la teoría de las ciencias de la computación moderna.
Teniendo en cuenta esto el conocimiento de la Lógica
Matemática resulta ser un requisito indispensable para cualquier
Ingeniero de Sistemas y Computación, ya que le permitiría
obtener una visión general y primigenia de las bases de todas
las teorías de la computación.
Brindar al estudiante la fundamentación teórica necesaria para
Objetivo general entender el cálculo proposicional y de predicados, para obtener
así una estructura teórica lógica correcta, que le permita
fundamentar su accionar en el resto de su carrera.
 Repasar los conceptos de recursividad en programación y
conocer su aplicación a otros dominios.
Objetivos  Conocer y saber utilizar el Cálculo de Proposiciones.
Específicos  Conocer y saber utilizar el Cálculo de Predicados.
 Tener una visión general de la necesidad de la Lógica en la
computación y su aplicabilidad en otros dominios.

El curso se desarrollará de forma teórica a través de la

confrontación de ideas en el aula de clases por parte de los
estudiantes y el docente luego de la lectura previa de temas
determinados. De igual manera el docente tendrá la libertad de
Metodología utilizar ayudas audiovisuales o de otro tipo para apoyar el
proceso pedagógico.
Se evaluará constantemente el avance de los estudiantes
mediante la realización de varias evaluaciones parciales, al igual
de preguntas en clase y salidas al tablero a resolver ejercicios
planteados como tareas.
Competencias - Aprendizaje autónomo
- Capacidad de análisis y síntesis
Genéricas - Capacidad de aplicar los conocimientos a la práctica
- Resolución de problemas
- Trabajo individual y por grupos
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniería de Sistemas y Computación

- Comunicación oral y escrita

- Razonamiento abstracto
- Cognitivas (Saber):
- Idioma
- Demostración
- Pensamiento recursivo
Competencias - Simbolización
específicas
- Actitudinales (Ser):
- Calidad
- Toma de decisión
- Capacidad de iniciativa y participación
Las técnicas docentes que se van a utilizar son:
Estrategias de a. Clases de teoría sobre temas específicos
aprendizaje b. Desarrollo en clase, del tema pertinente dirigido por el
docente
c. Asesoría colectiva e individual de teoría sobre temas vistos

Contenido de la asignatura

LÓGICA PROPOSICIONAL (XX semanas)

1. Lenguaje Formal.
2. El sistema mínimal y la lógica intuicionista
Unidad 1 3. Lógica clásica. Cálculo de secuentes
4. Semántica de la lógica proposicional. Validez y completitud.
5. Álgebra de Boole. Funciones booleanas.
6. Resolución.
LÓGICA DE PREDICADOS (XX semanas)
1. Lenguajes de primer orden
2. Interpretaciones. Modelos.
Unidad 2 3. Fórmulas válidas. Indecidibilidad.
4. Resolución en lógica de predicados.
5. Sistemas formales para predicados.
6. Fundamentos de Programación Lógica.

Referencias
Seman
Tema Actividades Bibliográfica
a
s
1 Repaso de herramientas Desarrollo de la
12-17 de matemáticas: Sumatorias e teoría pertinente,
Agosto inducción matemática. taller.
2 Lenguaje Formal. Desarrollo de la
19-24 de teoría pertinente 2
Agosto
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniería de Sistemas y Computación

Referencias
Seman
Tema Actividades Bibliográfica
a
s
3 El sistema mínimal y la lógica
Desarrollo de la
26 - 31 intuicionista.
teoría pertinente, 1y2
de
Talleres
Agosto
4 Lógica clásica. Cálculo de Desarrollo de la
2–7 secuentes 1y2
teoría pertinente,
Septiembr
e Talleres
5 Semántica de la lógica Desarrollo de la
9 – 14 proposicional. Validez y teoría pertinente, 1y2
Sept completitud. Talleres
6 Evaluación Desarrollo de la
16 – 21 1y2
teoría pertinente,
Septiembr
e Parcial I
7 Álgebra deBoole. Funciones
booleanas. Desarrollo de la
teoría pertinente, 1y2
23 – 28
Septiembr Talleres
e
8 Resolución. Desarrollo de la
30 Sept – teoría pertinente, 1y2
5 Octubre Talleres
9 Lenguajes de primer orden. Desarrollo de la
7 – 12 teoría pertinente, 1y2
Octubre Talleres
10 Lenguajes de primer orden. Desarrollo de la
14 – 19 teoría pertinente, 1y2
Octubre Talleres
11 Interpretaciones. Modelos. Desarrollo de la
24 – 26 teoría pertinente, 1y2
Octubre Parcial II
12 Fórmulas válidas. Indecidibilidad.
Desarrollo de la 1y2
28 –Oct.
teoría pertinente
2 – Nov.
13 Resolución en lógica de Desarrollo de la
4–9 predicados. teoría pertinente 1y2
Noviembr
e
14 Resolución en lógica de Desarrollo de la
11 – 16 predicados. teoría pertinente 1y2
Noviembr
e
 UNIVERSIDAD TECNOLOGICA DE PEREIRA
FACULTAD DE INGENIERIAS
Programa Ingeniería de Sistemas y Computación

Referencias
Seman
Tema Actividades Bibliográfica
a
s
15 Sistemas formales para Desarrollo de la
18 – 23 predicados. teoría pertinente, 1y2
Noviembr
e
Talleres

16 Programación Lógica. Desarrollo de la

25 – 30 teoría pertinente, 1y2
Noviembr
Talleres
e

Evaluación Porcentaje Objetivo

Parcial 1 25% Evaluar el comienzo de las unidad 1.

Tareas para realizar por fuera del aula de clase,
Tareas,
talleres realizados en el aula sobre temas de la
quices y 25%
unidad y quices. El promedio de estas notas valdrá
Talleres el porcentaje propuesto.
Artículo 0% No hay.
Evaluar el final de la unidad 1 y el comienzo de la
Parcial 2 25%
unidad 2.
Examen final 25% Evaluar el final de la unidad 2.

Texto Guía CAICEDO Xavier, Elementos de Lógica y calculabilidad, Departamento

(si se tiene) de Matemáticas, Universidad de los Andes.

Referencia Bibliografía

CAICEDO Xavier, Elementos de Lógica y calculabilidad, Departamento de

1 Matemáticas, Universidad de los Andes.
VARGAS Julio Hernando, Introducción a la Lógica, Universidad Tecnológica de
2
Pereira.