INSTITUTO TECNOLGICO SUPERIOR DE EL MANTE

Asignatura: PROGRAMACION LOGICA Y FUNCIONAL

Profesor: M.D. I.S.C Miguel ngel Garca Morales
Horario: 00:00 00:00
Saln: y
Aportacin de la asignatura al perfil del egresado.
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.

Los programas para computadora actualmente son fundamentales en muchas
reas del ser humano, debido a que se usan para resolver diversos problemas en
la ciencia, la industria y los negocios. Para cubrir estas necesidades, se han
desarrollado lenguajes de programacin dentro de la inteligencia artificial. El
Ingeniero en Sistemas Computacionales contribuir, aplicando estos
conocimientos para la solucin de problemas a travs de la programacin lgica y
funcional, con una conciencia tica y de respeto al medio ambiente.

Programacin Lgica y Funcional, es una asignatura que requiere tener
conocimientos esenciales acerca de los lenguajes lgicos y funcionales de la
inteligencia artificial, incluyendo la metodologa y los aspectos relativos a la
codificacin, con el fin de ampliar el conocimiento de tecnologas alternativas para
el desarrollo de sistemas automatizados y la implementacin de agentes
inteligentes.


Objetivo General De La Asignatura
Conocer los principios lgicos y funcionales de la programacin para identificarlos
y aplicarlos en la resolucin de problemas a travs del diseo de agentes
inteligentes.





Unidad Temas Subtemas
1 Conceptos
Fundamentales.
1.1 Estilos de
programacin.
1.2 Evaluacin de
expresiones.
1.3 Definicin de
funciones.
1.4 Disciplina de tipos.
1.5 Tipos de datos
2 Programacin Funcional 2.1. El tipo de datos
2.2 Funciones.
2.3 Intervalos.
2.4 Operaciones
2.5 Aplicaciones de las
listas.
2.6 Arboles.
3 Evaluacin Perezosa. 3.1 La estrategia de
evaluacin perezosa.
3.2 Tcnicas de
programacin funcional
perezosa.
4 Fundamentos de la
programacin lgica.
4.1 Repaso de la lgica
de evaluacin perezosa.
4.2 Unificacin y
resolucin.
4.3 Clusulas de Horn.
Resolucin SLD.
4.4 Programacin lgica
con clusulas de Horn.
4.5 Semntica de los
programas lgicos
4.6 Representacin
clausada del
conocimiento.
4.7 Consulta de una
base de clusulas.
4.8 Espacios de
bsqueda
4.9 Programacin lgica
con nmeros, listas y
rboles.
4.10 Control de
bsqueda en programas
lgicos
4.11 Manipulacin de
trminos Predicados
metalgicos.

PRACTICAS PROPUESTAS
Elaboracin de mapas conceptuales y/o mentales de los temas vistos.
Elaboracin de glosario por unidad de conceptos clave de cada tema.
Desarrollo de programas funcionales con un grado creciente de complejidad,
utilizando herramientas de programacin funcional, que den solucin a problemas
reales.
Disear y construir una base de conocimiento a travs de programacin
funcional.
Desarrollo de programas lgicos con un grado creciente de complejidad,
utilizando herramientas de programacin lgica, que den solucin a problemas
reales.
A partir de una situacin real, disear y construir una base de conocimiento a
travs de herramientas de sistemas expertos basado en programacin lgica.
Construir un sistema experto a partir de la base de conocimiento creada en
programacin lgica.

FUENTES DE INFORMACIN.
Libros:

Electrnicos:
1. Programacin Funcional. Clase 1. En lnea en:
http://funcional.fciencias.unam.mx/pdf/class1.pdf
Programacin Funcional. Clase 2 En lnea en:
http://funcional.fciencias.unam.mx/pdf/class2.pdf
Programacin Funcional. Clase 3 En lnea en:
http://funcional.fciencias.unam.mx/pdf/class3.pdf
Programacin Funcional. Clase 4 En lnea en:
http://funcional.fciencias.unam.mx/pdf/class4.pdf
2. Programacin Funcional. En lnea en:
http://es.wikipedia.org/wiki/Programaci%C3%B3n_funcional
3. Programacin Lgica. En lnea en:
http://es.wikipedia.org/wiki/Programacin_lgica
4. Programacin lgica. En lnea en:
www.cs.cinvestav.mx/PaginaAntigua/SC/publica/chapa/intro_lm/node42.htm
l

5. Programacin lgica. En lnea en:
http://expo.itchihuahua.edu.mx/view.php?f=prog_46
6. Anlisis lgico 2008-2, nota de clase 8. Fundamentos de programacin lgica I.
Resolucin binaria. En lnea en:
http://abulafia.fciencias.unam.mx/~favio/cursos/al82/notas/al82n8.pdf
7. Sistema Experto. En lnea en: http://es.wikipedia.org/wiki/Sistema_experto



CRITERIOS DE EVALUACION POR UNIDAD
Unidad 1 Administracin de cuentas,
recursos, usuarios y de grupos.
1. Revisin del plan de servidor
50%
Participacin 20%
Tareas 10%
Practicas 20%
Unidad 2 Implementacin de polticas
de grupo
Examen 50%
Participacin 20%
Tareas 10%
Practicas 20%
Unidad 3 Administracin de la
impresin
Examen 50%
Participacin 20%
Tareas 10%
Practicas 20%
Unidad 4 Introduccin a la seguridad y
Monitoreo del servidor
Examen 50%
Participacin 10%
Portafolio 10%
Tareas 10%
Practicas 20%
Unidad 5 Administracin de discos,
actualizacin y recuperacin de datos
Entrega Final del Servidor 50%
Participacin 20%
Practicas 20%
Tareas 10%

Evaluacin Formativa para todas las
Unidades
Participacin en clase
Conducta
Actitud
Entrega en tiempo y forma
Nota: La evaluacin formativa no
tiene valor porcentual, sin embargo
es requisito para poder evaluar las
competencias de la evaluacin
sumativa.





























------REGLAS DE CONDUCTA EN EL SALN-----
Se aplicar el cdigo de Deshonestidad Acadmica. Tolerancia mnima de 5 minutos una
vez que el profesor este dentro del aula. Los equipos sern asignados por el profesor, y
no se reharn ni se aceptarn trabajos individuales cuando se solicite entrega en equipo.
Cualquier otra conducta quedar a criterio del profesor.

-----CRITERIOS DE EVALUACION (OPORTUNIDADES DE EXAMEN)-----
1.- NORMAL.- Se evala sobre 100
2.- COMPLEMENTACION.- Se evala sobre 80
3.- EXTRA (Opcional).- Se evala sobre 70
Actividades por Unidad
Unidad 1
Identificar el concepto de administracin de cuentas, recursos, usuarios y de grupos.
Formar equipos en el saln de clase y discutir el material investigado para llegar a
conclusiones vlidas para todo el grupo.
Elaborar un ensayo con el material investigado y analizado.
Identificar y comprender el modo de operacin del servidor a utilizar.
Realizar esquemas para representar las propiedades de las cuentas de usuario y de
computadora.
En equipos de trabajo, elaborar un procedimiento general para usar grupos.

Unidad 2
Investigar, utilizando diversos medios de informacin relacionada con el concepto de
modificacin de permisos de los objetos.
Construir un mapa conceptual donde represente el producto de la investigacin
realizada.
Discutir en equipos el material investigado y llegar a conclusiones generales.
Investigar y resolver problemas en donde se utilicen las polticas de grupos de un
dominio.
Investigar individualmente la configuracin de scripts a las polticas de grupos que
muestren esta tcnica, como una manera de ilustrar y comprender mejor la utilizacin de
estos.

Unidad 3
Investigar el concepto de cola (Spool) de impresin.
Presentar ejemplos del manejo de la disponibilidad de la impresin.
Elaborar un esquema para configurar un grupo de impresin.
Buscar, seleccionar y comentar en clase las posibles causas de re-direccin de
carpetas.

Unidad 4
Investigar en grupos de trabajo el concepto, de plantillas de seguridad.
En reunin plenaria, discutir el material investigado y llegar a conclusiones vlidas
para todos los alumnos.
Elaborar un mapa conceptual de los conceptos del administrador de tareas, las
opciones que se utilizan y las propiedades que contiene.

Unidad 5
Investigar las propiedades de los discos internos.
Buscar cmo montar drives para mejorar la administracin.
Determinar cundo utilizar la compresin de archivos.
Examinar las caractersticas de la recuperacin y restauracin de datos.
Realizar una presentacin electrnica, en grupo de trabajo, donde se explique las
diferentes alternativas para la calendarizacin de los trabajos de respaldo al igual que las
funciones del administrador.