PROGRAMACIN

LGICAY FUNCIONAL
SCC-1019

L.I Julia Aide Jurez Ibez

itsh.ajuarez@gmail.com

1
DE LA ASIGNATURA.
CARACTERIZACIN
El desarrollo de sistemas basados en computadora y la
bsqueda de soluciones para problemas de
procesamiento de informacin.

La asignatura de Programacin Lgica y Funcional

aporta al perfil del Ingeniero en Sistemas
Computacionales la capacidad de desarrollar habilidades
para la generacin de soluciones automatizadas basadas
en lenguajes de inteligencia artificial, considerando el
entorno y la aplicacin de diversas tcnicas,
herramientas y conocimientos.

2
COMPETENCIAS ESPECFICAS
U OBJETIVO GENERAL DEL

Conoce los principios lgicos y funcionales de la

programacin para aplicarlos en la resolucin de
problemas.
CURSO

3
 I.- Conceptos Fundamentales.
II.- Modelo de Programacin Funcional.
III.- Programacin Lgica
IV.- Modelo de la programacin lgica.
TEMARIO

4
 Competencia Especfica:
Identificar los paradigmas de los lenguajes de
programacin.
TEMA I.- CONCEPTOS
FUNDAMENTALES.

1.1. Diferentes Estilos de programacin.

1.2.Analizando diferentes de estilos de programacin
1.2.1 Evaluacin de expresiones.
1.2.2Tipos de datos.
1.2.3 Disciplina tipos.
1.2.4 Funciones.

5
 Competencia Especfica:
PROGRAMACIN FUNCIONAL.
MODELO DE
Realiza una aplicacin dando solucin a un problema del
entorno usando el paradigma de la programacin
funcional.

2.1 Introduccin al modelo de programacin funcional.

2.1. El tipo de datos.
2.2. Funciones.
II.-

2.3. Intervalos.
2.4. Operadores.
2.5. Aplicaciones de las listas.
TEMA

2.6. rboles.
2.7. Evaluacin perezosa.

6
TEMA III.- PROGRAMACIN
Competencia Especfica:
Conoce las ventajas y desventajas del paradigma de
programacin lgica. Identifica los elementos de la
programacin lgica.

3.1. Repaso de la lgica de primer orden.

3.2. Unificacin y resolucin.
LGICA

3.3. Clusulas de Horn, resolucin SLD.

3.4. Programacin lgica con clusulas de Horn.

7
 Competencia Especfica:
DE PROGRAMACIN
TEMA IV.- MODELO
Realiza una aplicacin dando solucin a un problema del
entorno usando el paradigma de la programacin lgica.

4.1 Introduccin al modelo de programacin lgica.

4.2. Semntica de los programas lgicos.
4.3. Representacin clausada del conocimiento.
4.4. Consulta de una base de clusulas.
4.5. Espacios de bsqueda.
LGICA.

4.6. Programacin lgica con nmeros, listas y rboles.

4.7. Control de bsqueda en programas lgicos
4.8. Manipulacin de trminos.
4.9 Predicados metalgicos.

8
 1. Nilsson, n. J. (2001). Inteligencia artificial. Una nueva
sntesis. Mc graw hill.
INFORMACIN
2. Poole, d., mackworth, a. Y goebel, r. (1998).
FUENTES DE

Computational intelligence (a logical Approach).

Oxford university press.
3. Bratko, i. (1990). Prolog programming for artificial
intelligence (2nd ed.). Addison Wesley.
4. Mitchell, t. M. (1997). Machine learning. Mc graw hill.
5. Flach, p. (1994). Simply logical (intelligent reasoning
by example). John wiley.
6. Bird, richard. (2000). Introduccin a la programacin
funcional con haskell. Segunda Ed. Prentice hall..

9
 7. Fokker, jeroen. (1995). Programacin funcional.
Universidad de utrecht, Departamento de
informtica.
INFORMACIN
8. Julian, p., alpuente, m. (2007). Programacin lgica.
FUENTES DE

Teora y prctica. Pearson Prentice hall.

9. Hogger, c. (1990). Essentials of logic programming.
Clarendon press, oxford.
10. Bratko. (1991). Prolog programming for artificial
intelligence. Segunda edicin).
11. Addison wesley.
12. Sterling & shapiro. (1994). The art de prolog. Mit.
13. Lucas, p. Y gaag, l.v.d. (1991). Principles of expert
systems. Addisonwesley.

10
 Actividades Porcentaje
Examen 40 %
Tareas, Investigacin, 20 %
Actividades
Practicas 35 %
Asistencia 5%
EVALUACIN

100%

11