Professional Documents
Culture Documents
1. Caracterizacin de la asignatura
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.
ITSSMT-AC-PC-01-FO-01
REV. 0
Tema:
Conceptos fundamentales
Actividades de enseanza
Actividades de aprendizaje
ITSSMT-AC-PC-01-FO-01
REV. 0
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
el uso de maquinaria, destrezas de
computacin.
Bsqueda y manejo de informacin.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Sistmicas
Horas tericoprcticas
2-2 hrs
Aplicacin de lo aprendido
Investigar al menos un lenguaje de
programacin representativa. Y realizar un
manual de instalacin LI
forma
los
la
Cierre
Coordinar un debate sobre los temas vistos en
la competencia. LD
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Internet
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Programacin Funcional
Actividades de enseanza
Actividades de aprendizaje
Desarrollo de competencias
genricas
Activacin
Identificar los conceptos bsicos de la Instrumentales
Realizar un diagnostico del tema.
Capacidad de anlisis y sntesis.
programacin funcional.
Mostrar la propuesta de solucin de un
Destrezas tecnolgicas relacionadas con
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
ITSSMT-AC-PC-01-FO-01
REV. 0
forma
Horas tericoprcticas
10-6 hrs
autnoma.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
ITSSMT-AC-PC-01-FO-01
REV. 0
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Programacin Funcional
Criterios de evaluacin de la Competencia o
Unidad
Actividades de enseanza
Activacin
Realizar un diagnostico del tema.
Mostrar la propuesta de solucin de un
problema del mundo real, mediante un mtodo
de representacin de programacin funcional.
Adquisicin y prctica
Propiciar el desarrollo de la lgica de
programacin.
Permitir al estudiante la integracin de los
contenidos, para su anlisis y solucin. Para
reconocer la estructura de la Programacin
representativa.
Proponer la actividad de investigar los
elementos de la programacin funcional. CI
Actividades de aprendizaje
Desarrollo de competencias
genricas
Horas tericoprcticas
Investigar
lenguaje de programacin
representativa diferente al
establecido
para
la
materia.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
ITSSMT-AC-PC-01-FO-01
REV. 0
forma
10-6 hrs
autnoma.
Aplicacin de lo aprendido
Coordinar la creacin del cuadro comparativo
de los software de programacin funcional
existentes. LD
Explicar la prctica a realizar, que cubre la
actividad de aprendizaje de la competencia. LI
Aplicar
evaluacin
escrita
con
conocimientos
adquiridos
durante
competencia.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
ITSSMT-AC-PC-01-FO-01
REV. 0
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Programacin Funcional
Actividades de enseanza
Activacin
Realizar un diagnostico del tema.
Mostrar la propuesta de solucin de un
problema del mundo real, mediante un mtodo
de representacin de programacin funcional.
Actividades de aprendizaje
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Realizar mapa conceptual
Destrezas tecnolgicas relacionadas con
de los lenguajes de la el uso de maquinaria, destrezas de
programacin
funcional computacin.
vistos en la materia.
Bsqueda y manejo de informacin.
Adquisicin y prctica
investigar los diferentes tipos de lenguajes de
programacin funcional. CI
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Realizar
un
mapa conceptual
de los
lenguajes de la programacin funcional vistos
en clase. LI
.
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
ITSSMT-AC-PC-01-FO-01
REV. 0
forma
Horas tericoprcticas
10-6 hrs
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Programacin Funcional
Actividades de enseanza
Activacin
Realizar un diagnostico del tema.
Adquisicin y prctica
Proponer la actividad de investigar las
herramientas alternativas de programacin y
realizar resumen. CI
Actividades de aprendizaje
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
el uso de maquinaria, destrezas de
computacin.
Bsqueda y manejo de informacin.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Horas tericoprcticas
10-6 hrs
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
autnoma.
Aplicacin de lo aprendido
Coordinar la creacin del cuadro comparativo
sobre las herramientas alternativas y
complementarias de programacin. LD
forma
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Evaluacin perezosa
Actividades de enseanza
Activacin
Realizar un diagnostico del tema.
Actividades de aprendizaje
Adquisicin y prctica
Permitir al estudiante la integracin de los
contenidos, para su anlisis y solucin.
Desarrollo de competencias
genricas
Instrumentales
Identificar los conceptos Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
bsicos de la evaluacin el uso de maquinaria, destrezas de
perezosa
computacin.
Bsqueda y manejo de informacin.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
sobre la
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
forma
Horas tericoprcticas
10-6 hrs
autnoma.
Aplicacin de lo aprendido
Coordinar la creacin del cuadro conceptual
sobre la estrategia de evaluacin perezosa. LD
Explicar la prctica a realizar, que cubre la
actividad de aprendizaje de la competencia. LI
Aplicar
evaluacin
escrita
con
conocimientos
adquiridos
durante
competencia.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Evaluacin perezosa
Criterios de evaluacin de la Competencia o
Unidad
Actividades de enseanza
Actividades de aprendizaje
Activacin
Realizar un diagnostico del tema.
.
Adquisicin y prctica
Propiciar el desarrollo
programacin.
de
la
lgica
de
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Describir las tcnicas de la
Destrezas tecnolgicas relacionadas con
programacin
funcional el uso de maquinaria, destrezas de
perezosa
computacin.
Bsqueda y manejo de informacin.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
ITSSMT-AC-PC-01-FO-01
REV. 0
para
trabajar
en
forma
Horas tericoprcticas
10-6 hrs
Realizar
tcnicas de
perezosa LI
programacin
funcional
Aplicar
evaluacin
escrita
con
conocimientos
adquiridos
durante
competencia.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Evaluacin perezosa
Actividades de enseanza
Activacin
Realizar un diagnostico del tema.
Adquisicin y prctica
Investigar sobre la evaluacin perezosa y
realizar un ensayo. LD
Actividades de aprendizaje
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Realizar mapa conceptual
Destrezas tecnolgicas relacionadas con
de la evaluacin perezosa el uso de maquinaria, destrezas de
computacin.
Bsqueda y manejo de informacin.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
Aplicacin de lo aprendido
ITSSMT-AC-PC-01-FO-01
REV. 0
forma
Horas tericoprcticas
10-6 hrs
autnoma.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
Sem.
T. P
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
13
14
15
16
Competenci
a o Unidad:
Tema:
Evaluacin perezosa
Actividades de enseanza
Actividades de aprendizaje
Activacin
Realizar un diagnostico del tema.
Adquisicin y prctica
.
Proponer la actividad de investigar que es la
modularidad. CI
Realizar
un
mapa mental
programacin con modularidad. CD
.
sobre
la
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
el uso de maquinaria, destrezas de
computacin.
Bsqueda y manejo de informacin.
Aplicacin de lo aprendido
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
forma
Horas tericoprcticas
10-6 hrs
funcional perezosa. LD
autnoma.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
13
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
14
15
16
Competenci
a o Unidad:
10
Tema:
Actividades de enseanza
Activacin
Realizar un diagnostico del tema.
Mostrar la propuesta de solucin de un
problema del mundo real, mediante un mtodo
de representacin de programacin lgica.
Actividades de aprendizaje
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Identificar los conceptos
Destrezas tecnolgicas relacionadas con
bsicos
de
la el uso de maquinaria, destrezas de
programacin lgica.
computacin.
Bsqueda y manejo de informacin.
Adquisicin y prctica
Investigar los fundamentos de la programacin
lgica y realizar un ensayo. LD
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
forma
Horas tericoprcticas
10-6 hrs
autnoma.
Aplicacin de lo aprendido
Coordinar la creacin de un mapa conceptual
sobre lgica de primer orden. LI
Investigar que es la unificacin y resolucin. CI
Explicar la prctica a realizar, que cubre la
actividad de aprendizaje de la competencia. LI
Aplicar
evaluacin
escrita
con
conocimientos
adquiridos
durante
competencia.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
ITSSMT-AC-PC-01-FO-01
REV. 0
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
13
14
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
15
16
Competenci
a o Unidad:
11
Tema:
Actividades de enseanza
Actividades de aprendizaje
Activacin
Realizar un diagnostico del tema.
Mostrar la propuesta de solucin de un
problema del mundo real, mediante un mtodo
de representacin de programacin funcional.
Adquisicin y prctica
Proponer la actividad
clausulas de Horn . CI
de
investigar
las
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
el uso de maquinaria, destrezas de
computacin.
Bsqueda y manejo de informacin.
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
ITSSMT-AC-PC-01-FO-01
REV. 0
forma
Horas tericoprcticas
10-6 hrs
autnoma.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
13
14
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
15
16
Competenci
a o Unidad:
12
Tema:
Actividades de enseanza
Actividades de aprendizaje
Activacin
Realizar un diagnostico del tema.
Adquisicin y prctica
Proponer la actividad de anlisis
semntica de los programas lgicos. CI
de la
Realizar
un
mapa mental sobre la
representacin clausulada del conocimiento.
CD
.
Aplicacin de lo aprendido
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
el uso de maquinaria, destrezas de
computacin.
Bsqueda y manejo de informacin.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
forma
Horas tericoprcticas
10-6 hrs
el
su
autnoma.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
13
14
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
ITSSMT-AC-PC-01-FO-01
REV. 0
15
16
Competenci
a o Unidad:
13
Tema:
Actividades de enseanza
Actividades de aprendizaje
Activacin
Realizar un diagnostico del tema.
Adquisicin y prctica
Proponer la actividad de investigar que es un
sistema experto. CI
Realizar
un
mapa
mental
de
la
programacin lgica. CD
.
Aplicacin de lo aprendido
Desarrollo de competencias
genricas
Instrumentales
Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
el uso de maquinaria, destrezas de
computacin.
Bsqueda y manejo de informacin.
Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
forma
Horas tericoprcticas
10-6 hrs
autnoma.
En equipos disear un
sistema experto
basado en el control de bsqueda lgica.
LI,CD
Aplicar
evaluacin
escrita
con
conocimientos
adquiridos
durante
competencia.
los
la
Cierre
Proporcionar
un
problema
de
mayor
complejidad, para que los alumnos realicen una
retroalimentacin
de
los
conocimientos
adquiridos y de los que necesita reforzar.
Evaluacin
Evaluar a travs del promedio de cada
rubrica utilizada para la valoracin de cada
producto entregado durante la competencia.
Apoyos didcticos:
Fuentes de informacin
1. Nilsson, N. J. Inteligencia Artificial. una nueva sitesis. Mc Graw Hill 2001.
2. Poole, D., Mackworth, A. y Goebel, R. Computacion Inteligente ( A logical Approach ). Oxford University.
1998.
3. Bratko, I. Prolog Programming for Artificial Intelligence ( 2nd ed. ). Addison Wesley. 1990.
4. Mitchell, T. M. Machine Learning. Mc Graw Hill. 1997
s. Flach, P. Simply Logical ( Intelligent Reasonig by Example ). John Wiley. 1994.
6. Bird, Richard. Introduccin a la Programacin Funcional con Haskell. Segunda Ed. Prentice Hall. 2000.
7. Fokker, Jeroen. Progracion Funcional. Universidad de Utrecht, Departamento de Informtica. 1995.
8. Julian, P. , Alpuente, M. Programacin Lgica. Teora y Prctica. Pearson Prentice Hall. 2007.
ITSSMT-AC-PC-01-FO-01
REV. 0
Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)
10
11
12
13
14
15
16
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
Vo. Bo.
Lic. Toms Gonzlez Alvarado
Jefe de Divisin de la carrera de
Ingeniera en Sistemas Computacionales
ITSSMT-AC-PC-01-FO-01
REV. 0
ITSSMT-AC-PC-01-FO-01
REV. 0