UNIVERSIDAD

DISTRITAL
FRANCISCO JOS DE
CALDAS

PROCESO DE DOCENCIA
SUBPROCESO: GESTIN CURRICULAR
CONTENIDO DEL ESPACIO ACADMICO

MDCCU-F01
Versin:2
Pgina: 1 de 3

1. INFORMACION GENERAL
FACULTAD: TECNOLOGICA
PROYECTO CURRICULAR: SISTEMATIZACION DE DATOS
ESPACIO ACADMICO (Asignatura): Lgica Informtica
Obligatorio:
Bsico
Complementario X
Electivo:
Intrnsecas
Extrnsecas
CDIGO ASIGNATURA:
DOCENTE: Gloria Cavanzo
GRUPO: 304
Nmero de
1508
estudiantes: 30
NMERO DE CRDITOS: TIPO DE CURSO: Terico X
Prctico
Terico - Prctico
TRES (3)
ALTERNATIVAS
Clase
Seminario
Taller
Seminario- Prcticas Proyectos
Otro
METODOLGICAS
Magistral X
Taller
tutoriados
Das
Horas
Saln
HORARIO
martes y jueves
14-16
3-202, 9-103
2. JUSTIFICACIN DEL ESPACIO ACADMICO
La lgica formal es la ciencia que estudia las leyes de inferencia en los razonamientos. Por medio de la formalizacin
del lenguaje y de sus reglas bsicas, proporciona las herramientas necesarias para poder tratar e intentar resolver
rigurosamente problemas que tienen sus orgenes y aplicaciones en todas las reas de las ciencias.
Dentro de la carrera de sistematizacin de datos la lgica resulta esencial para construir y probar programas de
computadora, por lo tanto se hace necesario para el estudiante, conocer las tcnicas y temticas que permitan
formalizar nuestro lenguaje al lenguaje de los computadores y esto se logra por medio de la lgica
3. PROGRAMACIN DEL CONTENIDO
A. GENERAL
Presentar los conceptos fundamentales de la teora de lgica matemtica
B. ESPECFICOS
Aprender a razonar y formalizar correctamente enunciados en lenguaje natural en lgica proposicional.
Aprender a representar en lgica de predicados de primer orden y realizar inferencias.
COMPETENCIAS DE FORMACIN
1. Formalizar el lenguaje natural al proposicional.
2. Identificacin de argumentos vlidos.
3. Manipular lenguaje declarativos
4. Capacidad de inferir reglas generales a partir de observaciones particulares
PROGRAMA SINTTICO
1. Clculo proposicional: proposiciones y conexiones lgicas, proposiciones compuestas, tautologas y
contradicciones, equivalencias lgicas, implicaciones y derivaciones lgicas
2. Clculos de predicados: componentes sintcticos, interpretaciones y validez, derivaciones, equivalencias
lgicas, lgica de ecuaciones.
3. Induccin y recursividad
4. Lgica difusa

Este documento es propiedad de la Universidad Distrital Francisco Jos de Caldas. Prohibida su reproduccin por cualquier medio, sin previa
autorizacin

UNIVERSIDAD
DISTRITAL
FRANCISCO JOS DE
CALDAS

PROCESO DE DOCENCIA
SUBPROCESO: GESTIN CURRICULAR
CONTENIDO DEL ESPACIO ACADMICO

MDCCU-F01
Versin:2
Pgina: 2 de 3

4. ESTRATEGIAS
Metodologa Pedaggica y Didctica:
En las sesiones presnciales el docente explicara cada uno de los temas, resolviendo las inquietudes de los
estudiantes con el fin de llevar a cabo un adecuado proceso de enseanza y aprendizaje. Para cada una de las clases
de debe realizar un ejercicio de lectura previa por parte de los estudiantes de la temtica respectiva de la clase, con
el fin de hacer del proceso de la construccin del conocimiento un proceso colaborativo entre docente y estudiantes.
Clase magistral con exposicin por parte del docente de los temas descritos en cada unidad
Talleres y aplicaciones
Elaboracin de proyectos
Horas
Horas
Horas
Total Horas
Crditos
Profesor / semana
Estudiante / semana
Estudiante /
semana
Tipo
TD TC TA
(TD+TC)
(TD+TC+TA)
X 16 Semanas
de
curso
4
2
3
6
9
144
Trabajo Presencial Directo (TD): trabajo de aula con plenaria de todos los estudiantes.
Trabajo Mediado _ Cooperativo (TC): trabajo de tutora del docente a pequeos grupos o de forma individual a
los estudiantes.
Trabajo Autnomo (TA): Trabajo del estudiante sin presencia del docente, que se puede realizar en distintas
instancias: en grupos de trabajo o en forma individual, en casa o en biblioteca, laboratorio, etc.)
5. RECURSOS
MEDIOS Y AYUDAS:
Tableros, Internet, laboratorios de informtica, computadores, y video beam.
I.

BIBLIOGRAFA
[1] Richard Johnsonbaugh. Matemticas discretas, Editorial PEARSON.
[2] Patrick Suppes. Introduccin a la lgica matemtica, Editorial Reverte.
[3] Wiinfried Grassman y Jean-Paul Tremblay Matemticas discreta y lgica, una perspectiva desde la
ciencia de la computacin. Editorial Prentice Hall
[4] Fernando Martin Rubio, Enrique Paniagua, Jose Luis Sanchez Gomez. Lgica computacional. Editorial
paraninfo thomson learning.
[5] Oscar Garca Zarate. Introduccin a la lgica, Fondo Editorial. Lima.
[6] Nelson Becerra Correa. Conceptos elementales de lgica informtica. Fondo de publicaciones
Universidad Distrital FJC.
[7] C. Badesa, I. Jan y R. Jansana Elementos de lgica formal (Ariel, 2000)
[8] M. BenAri Mathematical Logic for Computer Science (2nd ed.) (Springer, 2001)
[9] M. Huth y M. Ryan Logic in Computer Science: Modelling and Reasoning about Systems (Cambridge
University Press, 2000)
[10] U. Schning Logic for Computer Scientists, (Birkuser, 1989)
II.
INFOGRAFA
[11] http://www.di.uniovi.es/~labra/Logica/Logica.html
[12] http://www.monografias.com/trabajos4/logica/logica.shtml

Este documento es propiedad de la Universidad Distrital Francisco Jos de Caldas. Prohibida su reproduccin por cualquier medio, sin previa
autorizacin

MDCCU-F01
Versin:2
Pgina: 3 de 3

PROCESO DE DOCENCIA
SUBPROCESO: GESTIN CURRICULAR
CONTENIDO DEL ESPACIO ACADMICO

UNIVERSIDAD
DISTRITAL
FRANCISCO JOS DE
CALDAS

6. ORGANIZACIN / TIEMPOS
ESPACIOS, TIEMPOS Y AGRUPAMIENTOS
Horario de atencin Mircoles 8-10 a.m. saln 1-202 (Saln Grupo de Investigacin Metis)

7.

PRIMER CORTE

SEGUNDO
CORTE

EVALUACIN

TIPO DE EVALUACIN
Primer Parcial
Segundo Parcial
Talleres

FECHA
13 de Septiembre
4 de Octubre
A lo largo del Corte

PORCENTAJE
10%
10%
15%

Primer Parcial
Segundo Parcial
Talleres

25 de Octubre
15 de Noviembre
A lo largo del Corte

10%
10%
15%

EXAMEN FINAL

Prueba escrita y proyecto final

30%
(Sustentado)
ASPECTO A EVALUAR DEL CURSO
1. Evaluacin del desempeo docente
2. Evaluacin de los aprendizajes de los estudiantes en sus dimensiones: individual/grupo, terica/prctica,
oral/escrita
3. Autoevaluacin
4. Co evaluacin del curso: de forma oral entre estudiantes y docentes.
Datos del docente
NOMBRE: Gloria Andrea Cavanzo
PREGRADO: Matemtica
POSRGRADO: Magister en Ciencias Matemticas.
Asesoras:
Nombre Estudiante
Firma
Cdigo
Fecha

FIRMA DEL DOCENTE

FECHA DE ENTREGA

Este documento es propiedad de la Universidad Distrital Francisco Jos de Caldas. Prohibida su reproduccin por cualquier medio, sin previa
autorizacin