Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.

+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina * de *#

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

%!0%A1ACI2N 320ICA 4 F5NCI!NA3 IN06NI6%7A 6N (I(T61A( C!1 5TACI!NA36( SCC-1019 +-+-#

*. Caracteri8acin de la asignatura
La asignatura de rogramaci!n L!gica " #uncional aporta al per$il del %ngeniero en Sistemas Computacionales la capacidad de desarrollar &abilidades para la generaci!n de soluciones automati'adas basadas en lengua(es de inteligencia arti$icial) considerando el entorno " la aplicaci!n de diversas tcnicas) &erramientas " conocimientos* Los programas para computadora actualmente son $undamentales en muc&as reas del ser &umano) debido a +ue se usan para resolver diversos problemas en la ciencia) la industria " los negocios* ara cubrir estas necesidades) se &an desarrollado lengua(es de programaci!n dentro de la inteligencia arti$icial* ,l %ngeniero en Sistemas Computacionales contribuir) aplicando estos conocimientos para la soluci!n de problemas a travs de la programaci!n l!gica " $uncional) con una conciencia tica " de respeto al medio ambiente* rogramaci!n L!gica " #uncional) es una asignatura +ue re+uiere tener conocimientos esenciales acerca de los lengua(es l!gicos " $uncionales de la inteligencia arti$icial) inclu"endo la metodologa " los aspectos relativos a la codi$icaci!n) con el $in de ampliar el conocimiento de tecnologas alternativas para el desarrollo de sistemas automati'ados " la implementaci!n de agentes inteligentes*

Intencin didctica.
- ,stimular el pensamiento creativo* - .raba(ar con metodologas participativas " de re$le/i!n colectiva* - ropiciar la soluci!n de problemas concretos* - 0provec&ar los conocimientos +ue el estudiante ad+uiri! en asignaturas anteriores* - ropiciar en el estudiante la construcci!n e interiori'aci!n del conocimiento de los principios l!gicos " $uncionales de la programaci!n para el dise1o de agentes inteligentes*

ITCV-0C- 2-003-04

5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina + de *#

Se denomina inteligencia arti$icial a la rama de la ciencia in$ormtica dedicada al desarrollo de agentes racionales no vivos 6agentes inteligentes7* ,s la disciplina +ue se encarga de construir procesos +ue al ser e(ecutados sobre una ar+uitectura $sica producen acciones o resultados +ue ma/imi'an una medida de rendimiento determinada) basndose en la secuencia de entradas percibidas " en el conocimiento almacenado en tal ar+uitectura* La inteligencia arti$icial inclu"e varios campos de desarrollo tales como: la rob!tica) usada principalmente en el campo industrial8 comprensi!n de lengua(es " traducci!n8 visi!n en m+uinas +ue distinguen $ormas " +ue se usan en lneas de ensambla(e8 reconocimiento de palabras " aprendi'a(e de m+uinas8 sistemas computacionales e/pertos* Los sistemas e/pertos) +ue reproducen el comportamiento &umano en un estrec&o mbito del conocimiento8 son programas tan variados como los +ue diagnostican in$ecciones en la sangre e indican un tratamiento) los +ue interpretan datos sismol!gicos en e/ploraci!n geol!gica " los +ue con$iguran comple(os e+uipos de alta tecnologa* La %0 es un con(unto de mtodos " $iloso$a) " por lo tanto no est atada a un lengua(e en particular* Los problemas de %0 re+uieren +ue los programas manipulen conocimiento en lugar de n9meros* ara lo anterior) se desarrollaron nuevos lengua(es para atacar estos problemas) como lo son: de programaci!n simb!lica " de programaci!n l!gica* ,l temario est organi'ado en cuatro unidades " con una estructura l!gica* ,n la primera unidad se inicia con un acercamiento a los conceptos $undamentales de la programaci!n) con la idea de +ue el estudiante desarrolle una visi!n de con(unto de los lengua(es de alto nivel " sirva como marco de re$erencia a la metodologa de los lengua(es de inteligencia arti$icial) como lo son la programaci!n l!gica " $uncional) por lo +ue es recomendable una previa selecci!n de materiales " lecturas de apo"o por parte del docente* La unidad dos integra la programaci!n $uncional) &aciendo n$asis) al uso de nuevas metodologas para +ue la actividad del estudiante va"a ms all de la intuici!n " re$le/i!n* roporciona nuevas &abilidades) distintas a las desarrolladas en los paradigmas convencionales de la programaci!n* Son lengua(es de prop!sito general) procedural) basado en aritmtica " manipulaci!n de smbolos) utili'an datos de entrada " $unciones espec$icas* La programaci!n8 en trminos de relaciones entre smbolos) se denomina programaci!n simb!lica* :ado +ue el conocimiento consiste en smbolos " asociaciones entre ellos) estos lengua(es son convenientes en aplicaciones de inteligencia arti$icial* ,sta unidad permite +ue el estudiante cono'ca las venta(as " puntos dbiles de la programaci!n $uncional8 dise1e) codi$i+ue) pruebe " depure programas $uncionales8
ITCV-0C- 2-003-04 5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina 9 de *#

identi$i+ue los principales mbitos de aplicaci!n de esta programaci!n) para +ue las utilice como &erramientas alternativas " complementarias en la soluci!n de problemas a travs de la primer caracterstica esencial de estos lengua(es) +ue es la $unci!n de orden superior8 es decir) $unciones +ue tienen como argumento a otras $unciones 6dic&o de otra $orma) programas +ue tienen como argumentos otros programas7* La unidad tres est dirigida a la segunda caracterstica esencial de los lengua(es $uncionales) +ue es la evaluaci!n pere'osa) en la cual s!lo se reali'a un clculo cuando otro clculo posterior lo necesita) lo +ue permite la de$inici!n de estructuras in$initas de datos) as como de $unciones " tipos de datos no estrictos* ,ste modo de evaluar e/presiones tiene una serie de venta(as tcnicas importantes) entre ellas) se evitan clculos innecesarios* La evaluaci!n pere'osa consiste en utili'ar paso por nombre " recordar los valores de los argumentos "a calculados para evitar recalcularlos* .ambin se denomina estrategia de pasos de parmetros por necesidad* La 9ltima unidad) est dirigida a la programaci!n l!gica) en$ocada a la utili'aci!n de metodologas) +ue permiten la relaci!n de datos8 " +ue proporcione al estudiante nuevas &abilidades para establecer) si un dato es conocido o se deriva de una base de conocimientos8 distintas a las desarrolladas en los paradigmas convencionales de la programaci!n* La unidad permite +ue el alumno cono'ca las venta(as de la programaci!n l!gica8 dise1e) codi$i+ue " pruebe programas l!gicos8 identi$i+ue los principales mbitos de aplicaci!n de la programaci!n l!gica como &erramienta alternativa " complementaria de la programaci!n) para tener una visi!n de los nuevos paradigmas de la programaci!n di$erentes a los +ue conoce) lo cual implica) una $orma de resolver problemas de distinta manera " ser un complemento ideal a su $ormaci!n como ingeniero en sistemas computacionales* ara las unidades dos " tres) se reali'arn prcticas en los lengua(es simb!licos " l!gicos) implementando algoritmos de (uegos para aplicar los conceptos aprendidos en cada tema* Se recomienda el desarrollo de un sistema e/perto bsico para cada unidad) en la presentaci!n de cada sistema es conveniente +ue el estudiante viva la aplicaci!n del mismo en el aula) con sus e/igencias " responda con pro$esionalismo " responsabilidad*

+. !b:eti&o;s< general;es< del curso. ;Competencias espec$icas a desarrollar< Conocer los principios l!gicos " $uncionales de la programaci!n para identi$icarlos " aplicarlos en la resoluci!n de problemas a travs del dise1o de agentes inteligentes*

ITCV-0C- 2-003-04

5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina # de *#

9. Anlisis por unidad

5nidad: 1 Tema: Conceptos #undamentales Criterios de e&aluacin de la 5nidad
,(ercicio ,stilos de rogramaci!n ,(ercicio Conceptos ;sicos %nvestigaci!n de Lengua(es de rogramaci!n <apa Conceptual de aradigmas de Lengua(es ,valuaci!n de la =nidad 1

Competencia espec='ica de la unidad %denti$icar los paradigmas " lengua(es de programaci!n representativa*

1> 1> 1> 1> 30 @oras tericoprcticas 1 &rs

Acti&idades de aprendi8a:e

Acti&idades de ense>an8a

Desarrollo de competencias gen?ricas

0 ,5.=50: 0 ,5.=50: 5esolver e/amen diagn!stico para :ise1ar) aplicar e interpretar saber el nivel de dominio de evaluaciones diagn!sticas de conocimientos previos* estudiantes*

Competencias Instrumentales las Capacidad de anlisis " sntesis los Conocimientos bsicos de la carrera Comunicaci!n oral " escrita .oma de decisiones* :,S0552LL2: :,S0552LL2: ?isuali'ar los diversos estilos de <ostrar los diversos estilos de la Conocimiento de una segunda lengua la programaci!n* programaci!n* Habilidad para buscar " anali'ar %denti$icar los conceptos bsicos de :ar a conocer los conceptos bsicos in$ormaci!n proveniente de $uentes la programaci!n representativa* de la programaci!n representativa* diversas lantear soluciones de problemas 5econocer las caractersticas de resentar las caractersticas de la programaci!n representativa* la programaci!n representativa* Habilidades bsicas de mane(o de la Computadora %nvestigar) al menos) un lengua(e Solicitar investigaci!n) al menos) Competencias interpersonales de programaci!n representativa* un lengua(e de programaci!n
ITCV-0C- 2-003-04 5ev* 0

@ &rs

@ &rs @ &rs A &rs

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina . de *#

5eali'ar mapa conceptual de los paradigmas " lengua(es de la programaci!n representativa*

representativa* Solicitar un mapa conceptual los paradigmas " lengua(es la programaci!n representativa*

.raba(o en e+uipo de Habilidades interpersonales de Compromiso tico Capacidad de traba(o en un e+uipo %nterdisciplinario Competencias sist?micas Capacidad de aplicar los conocimientos en la prctica Habilidades de investigaci!n Capacidad de aprender Capacidad de adaptarse a nuevas situaciones Capacidad de generar nuevas ideas 6creatividad7 Lidera'go Capacidad para dise1ar " gestionar pro"ectos %niciativa " espritu emprendedor reocupaci!n por la calidad ;9s+ueda del logro

A &rs

C%,55,: 5esolver evaluaci!n estructurada de la unidad en la plata$orma <oodle del .ecnol!gico

C%,55,: ,laborar un instrumento de evaluaci!n para determinar el dominio de conocimientos de los conceptos bsicos*
5ev* 0

@ &rs

ITCV-0C- 2-003-04

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina / de *#

Fuentes de in'ormacin 1* N%LSS2N) N* B* %nteligencia 0rti$icial* =na nueva sntesis* <c CraD Hill* @001* @* 22L,) :*) <acEDort&) 0* " Coebel) 5* Computational %ntelligence 60 Logical 0pproac&7* 2/$ord =niversit" ress* 1994* A* ;50.F2) %* rolog rogramming $or 0rti$icial %ntelligence 6@nd ed*7* 0ddison Gesle"* 1990* 3* <%.CH,LL) .* <* <ac&ine Learning* <c CraD Hill* 199H* >* #L0CH) * Simpl" Logical 6%ntelligent 5easoning b" ,/ample7* Bo&n Gile"* 1993* I* ;%5:) 5ic&ard* %ntroducci!n a la rogramaci!n #uncional con HasEell* Segunda ,d* rentice Hall* @000* H* #2FF,5) Beroen* rogramaci!n #uncional* =niversidad de =trec&t) :epartamento de %n$ormtica* 199>* 4* B=L%0N) *) 0lpuente) <* rogramaci!n L!gica* .eora " rctica* earson rentice Hall* @00H* 9* H2CC,5) C* ,ssentials o$ Logic rogramming* Clarendon ress) 2/$ord* 1990* 10* ;50.F2* rolog rogramming $or 0rti$icial %ntelligence* Segunda ,dici!n7* 0ddison Gesle"* 1991* 11* S.,5L%NC J S&apiro* .&e art de rolog* <%.* 1993* 1@* L=C0S) * " Caag) L*v*d* rinciples o$ ,/pert S"stems* 60ddisonKGesle"* 1991*

Apoyos didcticos: intarr!n " pintagis Ca1!n " e+uipo de computo Libros) revistas " artculos 6impresos o digitales7 %nternet) Coogle) scribd) <oodle) otros* :ocumentos de Coogle 0cadmico a+uetera de <icroso$t 2$$ice 6Gord) oDer point) ?isio7 " 0dobe 0crobat Griter and 5eader* ConceptdraD) mindmanager " cmaptools* 5eal la"er) GindoDs <edia ,ndnote Libreta) lpi') borrador " sacapuntas

ITCV-0C- 2-003-04

5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina , de *#

5nidad:

Tema:

rogramaci!n #uncional Criterios de e&aluacin de la 5nidad

Competencia espec='ica de la unidad

Conocer los principales puntos $uertes " debilidades del paradigma de programaci!n $uncional %denti$icar los elementos de la programaci!n $uncional* 0plicar la programaci!n $uncional en la resoluci!n de problemas reales* :ise1ar &erramientas alternativas " complementarias de programaci!n
Acti&idades de aprendi8a:e

,(ercicio de Conceptos ;sicos ,(ercicio de ,structura " ,lementos de rog* #uncional %nvestigaci!n de lengua(e $uncional <apa Conceptual roblema 5eal de rogramaci!n #uncional

10 @0 @0 10 30

Acti&idades de ense>an8a 0 ,5.=50: <ostrar los conceptos bsicos la programaci!n $uncional** de

Desarrollo de competencias gen?ricas Competencias Instrumentales Capacidad de anlisis " sntesis Conocimientos bsicos de la carrera

@oras tericoprcticas 1 &rs

0 ,5.=50: %denti$icar los conceptos bsicos de la programaci!n $uncional*

ITCV-0C- 2-003-04

5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina $ de *#

:,S0552LL2: :escribir las caractersticas de la programaci!n $uncional*

:,S0552LL2: Solicitar las caractersticas programaci!n $uncional*

de

la

5econocer la estructura " elementos de la programaci!n $uncional* %nvestigar8 al menos) un lengua(e de programaci!n representativa di$erente al establecido para la materia* 5eali'ar mapa conceptual de los lengua(es de la programaci!n $uncional vistos en la materia*

,/poner la estructura " elementos de la programaci!n $uncional* Solicitar una %nvestigaci!n8 al menos) un lengua(e de programaci!n representativa di$erente al establecido para la materia*

Comunicaci!n oral " escrita .oma de decisiones* Conocimiento de una segunda lengua Habilidad para buscar " anali'ar in$ormaci!n proveniente de $uentes diversas lantear soluciones de problemas Habilidades bsicas de mane(o de la Computadora

@ &rs @ &rs @ &rs

Solicitar un mapa conceptual de los Competencias interpersonales lengua(es de la programaci!n .raba(o en e+uipo $uncional vistos en la materia* Habilidades interpersonales Capacidad de traba(o en un e+uipo %nterdisciplinario Competencias sist?micas Capacidad de aplicar los conocimientos en la prctica Habilidades de investigaci!n Capacidad de aprender Capacidad de generar nuevas ideas 6creatividad7

@ &rs

ITCV-0C- 2-003-04

5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina ) de *#

C%,55,: 0plicar los conceptos de la programaci!n $uncional para resolver un problema real) dise1ando un programa sencillo

C%,55,: Solicitar la 0plicaci!n de los conceptos de la programaci!n $uncional para resolver un problema real) dise1ando un programa sencillo Apoyos didcticos:

1 &rs

Fuentes de in'ormacin 1* N%LSS2N) N* B* %nteligencia 0rti$icial* =na nueva sntesis* <c CraD Hill* @001* @* 22L,) :*) <acEDort&) 0* " Coebel) 5* Computational %ntelligence 60 Logical 0pproac&7* 2/$ord =niversit" ress* 1994* A* ;50.F2) %* rolog rogramming $or 0rti$icial %ntelligence 6@nd ed*7* 0ddison Gesle"* 1990* 3* <%.CH,LL) .* <* <ac&ine Learning* <c CraD Hill* 199H* >* #L0CH) * Simpl" Logical 6%ntelligent 5easoning b" ,/ample7* Bo&n Gile"* 1993* I* ;%5:) 5ic&ard* %ntroducci!n a la rogramaci!n #uncional con HasEell* Segunda ,d* rentice Hall* @000 5nidad: A Tema:

intarr!n " pintagis Ca1!n " e+uipo de computo %nternet) Coogle) scribd) <oodle) otros* :ocumentos de Coogle 0cadmico a+uetera de <icroso$t 2$$ice 6Gord) oDer point) ?isio7 " 0dobe 0crobat Griter and 5eader* Libreta) lpi') borrador " sacapuntas

,valuaci!n ere'osa
Criterios de e&aluacin de la 5nidad

Competencia espec='ica de la unidad

Conocer la evaluaci!n pere'osa* %denti$icar la evaluaci!n pere'osa como una de las $unciones de la programaci!n representativa* 0plicar la evaluaci!n pere'osa en la resoluci!n de problemas* :ise1ar programaci!n con modularidad*
Acti&idades de aprendi8a:e Acti&idades de ense>an8a

,(ercicio de Conceptos ;sicos ,(ercicio tcnicas de prog* ere'osa %nvestigaci!n tcnica prog* ere'osa <apa Conceptual de ,va* ere'osa 0plicaci!n .cnica ere'osa
Desarrollo de competencias gen?ricas
5ev* 0

10 1> @0 1> 30
@oras terico-

ITCV-0C- 2-003-04

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina *" de *#

prcticas 0 ,5.=50: %denti$icar los conceptos bsicos de la evaluaci!n pere'osa 0 ,5.=50: Competencias Instrumentales resentar los conceptos bsicos de Capacidad de anlisis " sntesis la evaluaci!n pere'osa Comunicaci!n oral " escrita lantear soluciones de problemas :,S0552LL2: :,S0552LL2: .oma de decisiones %denti$icar las tcnicas de la :escribir las tcnicas de la Competencias interpersonales programaci!n $uncional pere'osa* programaci!n $uncional pere'osa* .raba(o en e+uipo %nvestigar) al menos) una tcnica Solicitar una %nvestigaci!n) al Habilidades interpersonales de programaci!n $uncional pere'osa menos) una tcnica de Capacidad de traba(o en un e+uipo vista en clase* programaci!n $uncional pere'osa vista %nterdisciplinario en clase* Competencias sist?micas 5eali'ar mapa conceptual de la Capacidad de aplicar los Solicitar mapa conceptual de la evaluaci!n pere'osa conocimientos en la prctica evaluaci!n pere'osa C%,55,: 0plicar una tcnica de la programaci!n $uncional pere'osa) para resolver un problema real a travs de la modularidad en una situaci!n sencilla* C%,55,: Solicitar la 0plicaci!n de una tcnica de la programaci!n $uncional pere'osa) para resolver un problema real a travs de la modularidad en una situaci!n sencilla* Apoyos didcticos: intarr!n " pintagis Ca1!n " e+uipo de computo Libros) revistas " artculos 6impresos o digitales7 %nternet) Coogle) scribd) <oodle) otros* @ &rs

@ &rs @ &rs @ &rs

A &rs

Fuentes de in'ormacin 1* N%LSS2N) N* B* %nteligencia 0rti$icial* =na nueva sntesis* <c CraD Hill* @001* @* 22L,) :*) <acEDort&) 0* " Coebel) 5* Computational %ntelligence 60 Logical 0pproac&7* 2/$ord =niversit" ress* 1994* A* ;50.F2) %* rolog rogramming $or 0rti$icial %ntelligence 6@nd ed*7* 0ddison Gesle"* 1990* 3* <%.CH,LL) .* <* <ac&ine Learning* <c CraD Hill* 199H*
ITCV-0C- 2-003-04

5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina ** de *#

>* #L0CH) * Simpl" Logical 6%ntelligent 5easoning b" ,/ample7* Bo&n Gile"* 1993* I* ;%5:) 5ic&ard* %ntroducci!n a la rogramaci!n #uncional con HasEell* Segunda ,d* rentice Hall* @000* H* #2FF,5) Beroen* rogramaci!n #uncional* =niversidad de =trec&t) :epartamento de %n$ormtica* 199>* 4* B=L%0N) *) 0lpuente) <* rogramaci!n L!gica* .eora " rctica* earson rentice Hall* @00H* 9* H2CC,5) C* ,ssentials o$ Logic rogramming* Clarendon ress) 2/$ord* 1990* 10* ;50.F2* rolog rogramming $or 0rti$icial %ntelligence* Segunda ,dici!n7* 0ddison Gesle"* 1991* 11* S.,5L%NC J S&apiro* .&e art de rolog* <%.* 1993* 1@* L=C0S) * " Caag) L*v*d* rinciples o$ ,/pert S"stems* 60ddisonKGesle"* 1991*

:ocumentos de Coogle 0cadmico a+uetera de <icroso$t 2$$ice 6Gord) oDer point) ?isio7 " 0dobe 0crobat Griter and 5eader* 5eal la"er) GindoDs <edia ,ndnote Libreta) lpi') borrador " sacapuntas

5nidad:

Tema:

#undamentos de la programaci!n l!gica Criterios de e&aluacin de la 5nidad

Competencia espec='ica de la unidad

Conocer las venta(as " desventa(as del paradigma de programaci!n l!gica* %denti$icar los elementos de la programaci!n l!gica* 0plicar la programaci!n l!gica en la resoluci!n de problemas reales* :ise1ar sistemas e/pertos con programaci!n l!gica*
Acti&idades de aprendi8a:e Acti&idades de ense>an8a

,(ercicio Conceptos ;sicos ,(ercicios Clusulas de Horn ,(ercicio elementos prog* L!gica %nvestigaci!n rog* L!gica <apa conceptual de rog* L!gica 0plicaci!n rogramaci!n L!gica
Desarrollo de competencias gen?ricas
5ev* 0

10 10 1> 1> 10 30
@oras

ITCV-0C- 2-003-04

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina *+ de *#

tericoprctica s 0 ,5.=50: %denti$icar los conceptos bsicos de la programaci!n l!gica* :,S0552LL2: Comprender las clusulas de Horn " resoluci!n SL:) para identi$icar reglas de in$erencia l!gica " emplearlas en la representaci!n del conocimiento* 5econocer los elementos de la semntica de la programaci!n l!gica para interpretar el conocimiento " aplicarlo en su representaci!n* %nvestigar) al menos) un lengua(e de programaci!n l!gica di$erente al establecido para la materia* 5eali'ar mapa conceptual la programaci!n l!gica de 0 ,5.=50: Competencias Instrumentales ,/poner los conceptos bsicos de Capacidad de anlisis " sntesis la programaci!n l!gica* Comunicaci!n oral " escrita Habilidad para buscar " anali'ar :,S0552LL2: in$ormaci!n proveniente de $uentes :escribir las clusulas de Horn diversas " resoluci!n SL:) para identi$icar Competencias interpersonales reglas de in$erencia l!gica " .raba(o en e+uipo emplearlas en la representaci!n del Habilidades interpersonales conocimiento* Capacidad de traba(o en un e+uipo ,/plicar los elementos de la %nterdisciplinario semntica de la programaci!n l!gica Competencias sist?micas para interpretar el conocimiento " Capacidad de aplicar los aplicarlo en su representaci!n* conocimientos en la prctica edir una %nvestigaci!n) al menos) Habilidades de investigaci!n un lengua(e de programaci!n l!gica Capacidad de aprender di$erente al establecido para la materia* 5eali'ar mapa conceptual la programaci!n l!gica de @ &rs

1 &rs

@ &rs

@ &rs 1 &rs

C%,55,: 0plicar la programaci!n l!gica para resolver un problema real) dise1ando un sistema e/perto basado en el control de b9s+ueda l!gica*
ITCV-0C- 2-003-04

C%,55,: Solicitar la 0plicaci!n de la programaci!n l!gica para resolver un problema real) dise1ando un sistema e/perto basado en el control
5ev* 0

@ &rs

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina *9 de *#

de b9s+ueda l!gica*

Fuentes de in'ormacin 1* ;50.F2) %* rolog rogramming $or 0rti$icial %ntelligence 6@nd ed*7* 0ddison Gesle"* 1990* @* B=L%0N) *) 0lpuente) <* rogramaci!n L!gica* .eora " rctica* earson rentice Hall* @00H* A* H2CC,5) C* ,ssentials o$ Logic rogramming* Clarendon ress) 2/$ord* 1990* 3* ;50.F2* rolog rogramming $or 0rti$icial %ntelligence* Segunda ,dici!n7* 0ddison Gesle"* 1991* >* S.,5L%NC J S&apiro* .&e art de rolog* <%.* 1993*

Apoyos didcticos: intarr!n " pintagis Ca1!n " e+uipo de computo Libros) revistas " artculos %nternet) Coogle) scribd) <oodle) otros* :ocumentos de Coogle 0cadmico a+uetera de <icroso$t 2$$ice 6Gord) oDer point) ?isio7 " 0dobe 0crobat Griter and 5eader* Libreta) lpi') borrador " sacapuntas

Calendari8acin de e&aluacin ;semanas<: Sem* .* .*5*

N ,valuaci!n diagn!stica* N ,valuaci!n $ormativa* N ,valuaci!n sumativa* . N .iempo planeado .5N.iempo real

@
L

A
L

3
L

>
L M

I
L

H
L

4
L

9
L

10
L M

11
L

1@
L

1A
L M

13
L

1>
L

1I
L M

#ec&a de elaboraci!n:

10 enero @013

ITCV-0C- 2-003-04

5ev* 0

Nombre del documento: Instrumentacin Didctica para la Formacin y Desarrollo de competencias. %e'erencia a la Norma I(! )""*:+""$ ,.*- ,.+*- ,...*- ,./

Cdigo: ITCV-AC- !-""#-"$ %e&isin: " gina *# de *#

<.%* 52S0 %<,L:0 C05C%0 CH% Nombre " #irma del :ocente

%NC* N%.C05: O0 0.0 C050P ?o* ;o* Be$e del :epartamento

ITCV-0C- 2-003-04

5ev* 0