You are on page 1of 41

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Instrumentacin didctica para la formacin y desarrollo de competencias


Nombre de la asignatura:
Carrera:
Clave de la asignatura:
Horas teora-Horas prctica-Crditos:

Programacin Lgica y funcional


Ingeniera en sistemas computacionales
SCC-1019
2 24

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.

2. Objetivo(s) general(es) del curso.


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.

ITSSMT-AC-PC-01-FO-01
REV. 0

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

3. Anlisis por unidad


Competenci
a o Unidad:

Tema:

Conceptos fundamentales

Competencia especfica de la unidad

Criterios de evaluacin de la Competencia o


Unidad

Identificar los paradigmas y lenguajes de programacin representativa

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

Actividades de enseanza

Actividades de aprendizaje

Visualizar los diversos estilos de


la programacin.
Identificar los conceptos bsicos de
la programacin representativa.
Reconocer las caractersticas de
la programacin representativa.
Adquisicin y prctica
Investigar, al menos, un lenguaje
Realizar un cuadro comparativo de ejemplos de programacin representativa.
Realizar
mapa
conceptual
de
de los diversos estilos de programacin. CD
los paradigmas
y
lenguajes
de
Realizar un Resumen sobre la programacin la programacin representativa.
Activacin
Realizar un diagnostico del tema.
Mostrar los diferentes paradigmas de
programacin
representativa,
identificando
conceptos bsicos.

representativa y sus caracteristicas.CI

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en
autnoma.

Aplicacin de lo aprendido
Investigar al menos un lenguaje de
programacin representativa. Y realizar un
manual de instalacin LI

forma

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
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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Programacin Funcional

Competencia especfica de la unidad

Criterios de evaluacin de la Competencia o


Unidad

Conocer los principales puntos fuertes y debilidades del paradigma de programacin


funcional.

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

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

Describir las caractersticas de la


problema del mundo real, mediante un mtodo
el uso de maquinaria, destrezas de
Programacin funcional.
de representacin de programacin funcional.
computacin.
Bsqueda y manejo de informacin.
Adquisicin y prctica
Propiciar el desarrollo de la lgica de
Interpersonales
programacin.
Capacidad crtica y autocrtica
Permitir al estudiante la integracin de los
Trabajo en equipo
contenidos, para su anlisis y solucin.
Habilidades interpersonales
investigar
los diferentes mtodos de
representacin de un algoritmo y realizar un
anlisis de ellos CI

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
Investigar los principales puntos fuertes y
debilidades del paradigma de programacin
funcional y realizar un resumen . CI

autnoma.

Exposicin sobre los conceptos bsicos de la


programacin funcional. (Funciones, intervalos,
operadores, listas y arboles). LD
Aplicacin de lo aprendido
Coordinar la creacin del cuadro comparativo
de las ventajas y desventajas de la
Programacin Funcional.CI
Proporcionar problemas cotidianos para su
Solucin mediante diferentes mtodos de
representacin.
Explicar la practica 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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

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)

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Programacin Funcional
Criterios de evaluacin de la Competencia o
Unidad

Competencia especfica de la unidad

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

Identificar los elementos de la 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.
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

Reconocer la estructura y Instrumentales


elementos
de
la Capacidad de anlisis y sntesis.
Destrezas tecnolgicas relacionadas con
programacin funcional.
el uso de maquinaria, destrezas de
computacin.
al menos, un Bsqueda y manejo de informacin.

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
Realizar un mapa mental sobre los elementos
de la programacin funcional. CD
.
Explicar la solucin de algunos problemas
cotidianos mediante los diferentes mtodos de
representacin de un algoritmo.

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

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)

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Programacin Funcional

Competencia especfica de la unidad

Aplicar la programacin funcional en la resolucin de problemas reales

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

Criterios de evaluacin de la Competencia o


Unidad
Entregar el 100% de las evidencias solicitadas por el docente para
poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
autnoma.
Aplicacin de lo aprendido
Coordinar la creacin del cuadro comparativo
de las caractersticas del software de
programacin funcional existente. 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
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)

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
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.

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Programacin Funcional

Competencia especfica de la unidad

Disear herramientas alternativas y complementarias de programacin

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

Realizar mapa conceptual


de
las
herramientas
alternativas
y
complementarias
de
programacin

Realizar un mapa conceptual sobre las


herramientas
complementarias
de
programacin. LI
.
ITSSMT-AC-PC-01-FO-01
REV. 0

Criterios de evaluacin de la Competencia o


Unidad
Entregar el 100% de las evidencias solicitadas por el docente para
poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
.

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

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
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)

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
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.

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Evaluacin perezosa

Competencia especfica de la unidad

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

Conocer la 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.

Realizar una investigacin de la evaluacin


perezosa y realizar un ensayo . LD
Proponer la actividad de anlisis
evaluacin perezosa. CI

Criterios de evaluacin de la Competencia o


Unidad

Interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales

sobre la

Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en

Realizar un mapa mental sobre los conceptos


bsicos de la evaluacin perezosa. CD
.
ITSSMT-AC-PC-01-FO-01
REV. 0

forma

Horas tericoprcticas

10-6 hrs

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
Explicar la solucin de algunos problemas
cotidianos mediante los diferentes mtodos de
representacin de un algoritmo.

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
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)

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Evaluacin perezosa
Criterios de evaluacin de la Competencia o
Unidad

Competencia especfica de la unidad

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

Identificar la evaluacin perezosa como una de las funciones de la


programacin representativa.

Actividades de enseanza

Actividades de aprendizaje

Activacin
Realizar un diagnostico del tema.
.
Adquisicin y prctica
Propiciar el desarrollo
programacin.

de

la

lgica

de

Proponer la actividad de investigar las tcnicas


de la programacin
funcional perezosa y
realizar un ensayo. LD
Realizar un mapa conceptual sobre las
tcnicas de la programacin
funcional
perezosa.. CD
.

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

Investigar al menos, una


tcnica de programacin Sistmicas
funcional perezosa vista Habilidades de investigacin
Capacidad de aprender
en clase
Habilidad

ITSSMT-AC-PC-01-FO-01
REV. 0

para

trabajar

en

forma

Horas tericoprcticas

10-6 hrs

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
autnoma.
Aplicacin de lo aprendido

al menos, una tcnica de


programacin funcional perezosa vista en
clase.CI
Investigar

Realizar

un mapa conceptual sobre las

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
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)

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Evaluacin perezosa

Competencia especfica de la unidad

Aplicar la evaluacin perezosa en la resolucin de problemas

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

Criterios de evaluacin de la Competencia o


Unidad
Entregar el 100% de las evidencias solicitadas por el docente para
poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

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

Realizar un collage o lluvia de ideas sobre


la evaluacin perezosa. CD

Realizar mapa conceptual de la


evaluacin perezosa. LI

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
Aplicar la evaluacin perezosa a la solucin de
problemas proporcionados por el docente. CI
Aplicar
evaluacin
escrita
con
conocimientos
adquiridos
durante
competencia.

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)

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


ITSSMT-AC-PC-01-FO-01
REV. 0

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

Tema:

Evaluacin perezosa

Competencia especfica de la unidad

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

Disear programacin con modularidad

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

Criterios de evaluacin de la Competencia o


Unidad

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.

Aplicar una tcnica de la


programacin
funcional
perezosa, para resolver un
problema real a travs de
la modularidad en una
Interpersonales
situacin sencilla.
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales

Aplicacin de lo aprendido

Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en

Coordinar la creacin del cuadro comparativo


sobre las tcnicas de la programacin
ITSSMT-AC-PC-01-FO-01
REV. 0

forma

Horas tericoprcticas

10-6 hrs

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

funcional perezosa. LD

autnoma.

Resolver un problema a travs de la


modularidad en una situacin sencilla
otorgada por el docente. 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
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)

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


Sem.
T. P

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

10

Tema:

Fundamentos de la programacin lgica


Criterios de evaluacin de la Competencia o
Unidad

Competencia especfica de la unidad

Conocer las ventajas y desventajas del paradigma de programacin lgica.

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

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

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

Proponer la actividad de mapa mental sobre


los conceptos bsicos de la programacin
lgica. CD

Sistmicas
Habilidades de investigacin
Capacidad de aprender
Habilidad para trabajar en

Realizar un cuadro comparativo sobre las


ventajas y desventajas del paradigma de
ITSSMT-AC-PC-01-FO-01
REV. 0

forma

Horas tericoprcticas

10-6 hrs

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
programacin lgica. CI
.
Explicar la solucin de algunos problemas
cotidianos mediante los diferentes mtodos de
representacin de un algoritmo.

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

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)

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


Sem.
T. P

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

11

Tema:

Fundamentos de la programacin lgica

Competencia especfica de la unidad

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

Identificar los elementos de la programacin lgica

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

Criterios de evaluacin de la Competencia o


Unidad

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.

Describir las clausulas de


Horn y resolucin SLD,
para identificar reglas de
inferencia
lgica
y
emplearlas
en
la
representacin
del Interpersonales
Capacidad crtica y autocrtica
conocimiento.
Trabajo en equipo
Habilidades interpersonales

Realizar un mapa mental sobre los elementos


de la programacin lgica. CD
.

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
Aplicacin de lo aprendido

autnoma.

Coordinar la creacin de un ensayo sobre la


programacin lgica con clausulas de Horn. 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
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)

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


Sem.
T. P

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

12

Tema:

Fundamentos de la programacin lgica

Competencia especfica de la unidad

Aplicar la programacin lgica en la resolucin de problemas reales

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

Reconocer los elementos


de la semntica
de la
programacin lgica para
interpretar el conocimiento
y
aplicarlo
en
su
representacin.
Investigar, al menos, un
lenguaje de programacin
lgica
diferente
al
establecido
para
la
materia.

Realizar un mapa conceptual sobre los


elementos
de
la
semntica
de
la
ITSSMT-AC-PC-01-FO-01
REV. 0

Criterios de evaluacin de la Competencia o


Unidad
Entregar el 100% de las evidencias solicitadas por el docente para
poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

programacin lgica para interpretar


conocimiento
y
aplicarlo
en
representacin. LI

el
su

autnoma.

Investigar, al menos, un lenguaje de


programacin
lgica
diferente
al
establecido para la materia y realizar un
ensayo. LD
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.
ITSSMT-AC-PC-01-FO-01
REV. 0

Pizarrn
Marcadores
Can
Computadoras
Compilador (PROLOG)

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
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.

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


Sem.
T. P

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Competenci
a o Unidad:

13

Tema:

Fundamentos de la programacin lgica

Competencia especfica de la unidad

Entregar el 100% de las evidencias solicitadas por el docente para


poder acreditar la competencia. Cada evidencia tiene un valor de
0 a100, considerando la siguiente escala:
1 criterio alcanzado ----- NA (No alcanzado)
2 criterios alcanzados ---- 70 a 74
3 criterios alcanzados ---- 74 a 85
4 criterios alcanzados ----- 85 a 94
5 o 6 criterios alcanzados ----- 95 a 100

Disear sistemas expertos con programacin lgica.

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
.

Criterios de evaluacin de la Competencia o


Unidad

Realizar mapa conceptual


de la programacin lgica.
Aplicar a programacin
lgica para resolver un
problema real, diseando
un
sistema experto
basado en el control de
bsqueda lgica.

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

Coordinar la creacin del cuadro comparativo


sobre la programacin lgica con nmeros,
listas y arboles. LD
ITSSMT-AC-PC-01-FO-01
REV. 0

forma

Horas tericoprcticas

10-6 hrs

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez
Elaborar un mapa conceptual sobre la
manipulacin de predicados metalogicos. LI

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)

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.


Sem.
T. P

10

11

12

13

14

15

16

T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real

Fecha de elaboracin: 16/12/13

MSC. Vianney Morales Zamora

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

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN


Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano


2013, Ao de Belisario Domnguez

ITSSMT-AC-PC-01-FO-01
REV. 0

You might also like