UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS

FACULTAD TECNOLGICA
TECNOLOGA EN SISTEMATIZACIN DE DATOS
CONTENIDO PROGRAMTICO
I.

IDENTIFICACION
Espacio Acadmico:
Cdigo:
Tipo de espacio acadmico:

rea formacin: Ciencias bsicas ingeniera

Intensidad horaria Semanal:
Docente:
Nelson Becerra Correa

Nivel: 1
Crditos: 3
email:nelsonbc19@gmail.com

II. OBJETIVOS
A. GENERAL
Esta asignatura profundizar en los conocimientos generales de la lgica como herramienta fundamental en la informtica.
Adems se desarrollarn habilidades en algunas reas de aplicacin que permitirn al estudiante crear en poco tiempo sistemas para la
resolucin de muy diversos problemas prcticos.

B. ESPECFICOS
a. Conocer los fundamentos lgicos de la programacin lgica, de las bases de datos deductivas, y de otras aplicaciones de la lgica en
la informtica
b. Conocer las tcnicas y herramientas de programacin lgica orientadas al desarrollo rpido y flexible de sistemas para un problema
dado

2
c.

Conocer algunas de las extensiones de la programacin lgica orientadas a la eficiencia: evaluacin parcial, paralelizaran,
programacin lgica con restricciones (dominios finitos, booleanos, reales).

d. Ante un problema prctico concreto, ser capaz de elegir las tcnicas y herramientas de programacin ms adecuadas.
e. Desarrollar algunas aplicaciones prcticas utilizando las tcnicas y herramientas estudiadas

III. JUSTIFICACION
IV. DISTRIBUCIN HORARIA (DE ACUERDO A CADA ESPACIO ACADMICO, DOCENTE Y SU METODOLOGIA)
DISTRIBUCION DE HORAS
Horas de trabajo directo
Horas de trabajo cooperativo
Horas de trabajo autnomo
Total horas semanales
Total horas semestre

Horas / semana
2
2
5
9
144

V. UNIDADES DE TRABAJO PARA EL ESPACIO ACADMICO

UNIDAD 1:

(TEMA)

Nmero de semanas: 16
NUCLEOS TEMATICOS

COMPETENCIAS

INDICADORES DE LOGRO

ESTRATEGIAS
METODOLOGICAS

3
Analiza y reconoce la estructura del
lenguaje argumentativo, los usos del
lenguaje en general y establece la
diferencia entre argumentos vlidos y
falaces.
Construye lenguajes formalizados a
UNIDAD 2:
partir del lenguaje natural y, con su
Tableros semnticos
ayuda, desarrolla procedimientos
Transformacin a forma clausular Decisorios.
Resolucin proposicional
Procedimiento Davis-Putnam
El problema 2-SAT
El problema Horn-SAT

UNIDAD 1:

Introduccin
Lgica proposicional
Sintaxis de la lgica proposicional
Semntica de la lgica
proposicional

Deducion Natural

Aplica principios y leyes lgicas,

utiliza el mtodo de la deduccin y
desarrolla pruebas formales de
validez

UNIDAD 3:
Logica proposicional
Sintaxis de la lgica predicados
Semntica de la lgica predicados
Tableros semnticos primer orden
Transformacin a forma clausular
Unificacin

Construye lenguajes formalizados a

partir del lenguaje natural y, con su
ayuda, desarrolla procedimientos
Decisorios.

UNIDAD 4:
Prolog -conceptos elementales-

PROLOG est orientado a la

resolucin de problemas mediante el
clculo de predicados, basado en:
Preguntas a la base de datos.
Pruebas matemticas.
El programa PROLOG especfica
cmo debe ser la solucin, en vez de
dar el algoritmo para su resolucin.
La solucin se obtiene mediante

Solucin de talleres
Se propiciar en todo momento la
correspondientes, parciales y quices participacin activa de los
estudiantes, mediante el
desarrollo de ejercicios y trabajos
Prcticos, individuales o en grupo.
Clases magistrales
Lectura de material bibliogrfico
seleccionado.
Anlisis de casos.
Clases magistrales
Lectura de material bibliogrfico
seleccionado.
Anlisis de casos.
Clases magistrales
Lectura de material bibliogrfico
seleccionado.
Anlisis de casos
Clases magistrales
Lectura de material bibliogrfico
seleccionado.
Anlisis de casos

Clases magistrales
Lectura de material bibliogrfico
seleccionado.
Anlisis de casos. Programas

4
bsqueda aplicando la lgica de
predicados

VI. METODOLOGIA (DE ACUERDO A CADA DOCENTE Y TIPO DE ESPACIO ACADMICO)

Clases magistrales, Talleres, Tareas y videos
VII. ESTRATEGIAS DE EVALUACION (DE ACUERDO A CADA DOCENTE Y SU METODOLOGIA)
Estrategia de evaluacin
Primer parcial 30%
Segundo parcial 30%
Examen 30%
Trabajos, pruebas y evaluaciones en general.
Total

Porcentaje
90%
10%
100%

VIII. REFERENCIAS BIBLIOGRAFICAS

BIBLIOGRAFA
1.ALVARADO, Carlos. Epistemologa, Lima, Ed. Mantaro, 2005.
2. COPI, Irving (y) COHEN, Carl. Introduccin a la lgica, Mxico, D.F., Limusa, 1997.
3. CHAVEZ NORIEGA, Alejandro. Introduccin a la lgica, Lima, Imprenta Chvez, 2000.
4. FERRATER MORA, Jos (y) LEBLANC, Hughes. Lgica matemtica, Mxico, D.F., FCE, 1975.
5. GIANELLA DE SALAMA, Alicia. Lgica simblica y elementos de metodologa de la ciencia, Bs. As., El Ateneo, 1975.
6. HEMPEL, Carl. Filosofa de la ciencia natural, Madrid, Alianza Universidad, 1986.
7. KATAYAMA, Roberto. Introduccin a la lgica, Lima, Ed. URP, 2003.
8. LIST, G. y otros. Lgica matemtica, teora de conjuntos y dominios numricos. La Habana, Ed. Pueblo y educacin, 1986.
9. GARRIDO, Manuel. Lgica Simblica. Madrid. Tecnos. 1993.
10. MIROQUESADA CANTUARIAS, Francisco. Lgica 1. Filosofa de las matemticas, Lima, Ignacio Prado Pastor, 1980.
11. PISCOYA HERMOZA, Luis. Lgica, Lima. Ed. San Marcos, 1997.
12. QUINE, Willard van Orman. Los mtodos de la lgica. Barcelona, Ariel, 1967.
13. ROSALES, Digenes (y) TRELLES, Oscar. Introduccin a la Lgica, Lima PUCP, 2000.
14. SANGUINETI, Juan Jos. Lgica. Ed. Universidad de Navarra S.A. Espaa, 2000.
15. SUPPES, P. y HILL, S. Introduccin a la lgica matemtica. Barcelona, Ed. Revert, 1968.

INFOGRAFA

www.cerv.biz\moodle1