Anlisis de Congruencia UAEM Ingeniera en Computacin

Instrucciones: Enseguida se presentan las definiciones que contiene el programa de estudios por Unidad de Aprendizaje, para algunos atributos en los que es importante conocer su opinin. Para valorar cada atributo se le presenta una escala para recabar su respuesta. Por favor marque el escenario de la escala que represente su respuesta; si sta, cae en los escenarios 1 o 2, es muy importante que nos proporcione un comentario o una propuesta especifica para mejorar el atributo. Es decir, la escala significa: 1)Mal, 2)Regular, 3)Bien, y 4)Muy bien De antemano, muchas gracias. Comit Curricular de la Licenciatura en Ingeniera en Computacin. Atributo Definicin Nombre de la UA Lgica Una porcin No corresponde el importante de nombre de la UA con contenidos no se sus contenidos. representa en el nombre de la UA. Algunos contenidos El nombre no estn representa los representados en el contenidos. nombre de la UA.
1 2

Valoracin
3 4

Carga Horaria y Crditos HT 2 HP 1 TH 3 CR 5 La carga horaria es insuficiente respecto a los contenidos y aprendizajes a promover. La carga horaria slo permite trabajar la mitad de los contenidos y aprendizajes a promover. La carga horaria permite trabajar un 75% de los contenidos y aprendizajes a promover. La carga horaria permite trabajar al 100% los contenidos y aprendizajes a promover.

Las horas tericas y prcticas son insuficientes para los contenidos y aprendizajes a promover.

Las horas tericas y prcticas slo permiten trabajar el 50% de los contenidos y aprendizajes a promover.

Las horas tericas y prcticas permiten trabajar el 75% de los contenidos y aprendizajes a promover.

Las horas tericas y prcticas permiten trabajar el 100% de los contenidos y aprendizajes a promover.

Tipo de Unidad de Aprendizaje Curso El curso no es adecuado porque deben ejercitase La UA en lugar de La UA en lugar de aprendizajes en ser un curso debera ser un curso debera situaciones reales o ser un taller. ser un curso - taller. simuladas (laboratorio o taller) El curso es adecuado porque se trabajan aprendizajes tericos o la aplicacin terica de conocimientos.

El curso no es adecuado porque deben ejercitase La UA en lugar de La UA en lugar de aprendizajes en ser un curso debera ser un curso debera situaciones reales o ser un taller. ser un curso - taller. simuladas (laboratorio o taller)

El curso es adecuado porque se trabajan aprendizajes tericos o la aplicacin terica de conocimientos.

Carcter de la Unidad de Aprendizaje Obligatorio

La UA no es necesaria disciplinariamente o complementaria para la formacin profesional

El carcter de la UA optativa puede ser multidisciplinaria, de libre configuracin, o de acentuacin.

El carcter es inadecuado ya que son aprendizajes complementarios o de actualidad (optativo).

El carcter es adecuado ya que los aprendizajes son obligatorios para la formacin profesional.

Organizacin de la UA en el ncleo de formacin Sustantivo La organizacin es inadecuada porque son aprendizajes bsicos de la carrera. La organizacin es inadecuada porque La naturaleza multi son aprendizajes instrumentales de la disciplinaria dificulta profesin. (integral) su organizacin en algn ncleo. La organizacin es adecuada porque son aprendizajes metodolgicos de la carrera. (sustantivo)

Estructura de la UA en el rea curricular Interaccin Hombre-Mquina La estructura es inadecuada porque los objetivos y contenidos de la UA no son congruentes con los objetivos del rea. La estructura es inadecuada porque algunos objetivos y contenidos de aprendizajes de la UA son congruentes con el rea curricular. La estructura es adecuada porque La naturaleza multi los objetivos y disciplinaria dificulta contenidos de la UA la estructura de la son congruentes UA en alguna rea. con los objetivos del rea.

Ubicacin de la UA en el periodo escolar Tercero La ubicacin es inadecuada porque el grado de complejidad de los contendios de la UA es mayor. La ubicacin es inadecuada porque el grado de complejidad de los contendios de la UA es menor. La naturaleza multi disciplinaria facilita la ubicacin de la UA en cualquier periodo La ubicacin es adecuada. escolar.

Seriacin de la UA UA Antecedentes Ninguna UA Consecuentes Ninguna La seriacin no es La seriacin debera adecuada ni eliminarse. completa. La seriacin es adecuada pero no completa. La seriacin es adecuada y completa.

Objetivo o propsito general de la UA El alumno al concluir esta unidad de aprendizaje deber comprender los principios bsicos de la lgica matemtica y podr aplicarlos en la elaboracin de programas de cmputo.

No seala aprendizajes relevantes y el nivel de aprendizaje no es el adecuado para la carrera. El objetivo no se relaciona con los objetivos del rea curricular ni con los objetivos del ncleo de formacin.

Seala aprendizajes tiles pero no el nivel de dominio adecuado para la carrera. Debe mejorarse su relacin con los objetivos de rea curricular y ncleo de formacin.

Debe mejorarse su redaccin para mayor claridad o comprensin, aunque los aprendizajes son adecuados y se relacionan con los objetivos del rea curricular y ncleo de formacin.

Seala aprendizajes relevantes, el nivel de aprendizaje es adecuado para la carrera, el objetivo se relaciona con los objetivos del rea curricular y con los objetivos del ncleo de formacin.

Objetivos particulares o de unidad de competencia

1. Conocer la definicin y tipos de lgica, su relacin con la teora de conjuntos y sus operaciones, la nocin de clculo de deduccin natural. Conocer y utilizar la induccin matemtica para probar diversas proposiciones lgicas. El alumno conocer el significado de la lgica y su relacin con la teora de conjuntos. Conocer y utilizar diagramas de Venn, diagramas de rbol y circuitos combinatorios. 2. Conocer y utilizar la lgica de proposiciones: forma normal disyuntiva y conjuntiva, semntica, el clculo axiomtico, las propiedades formales, el clculo de deduccin natural y los rboles lgicos. El alumno comprender los elementos de una teora formal, distinguir frmulas bien formadas de la lgica proposicional y deducir si determinadas expresiones son consecuencias lgicas, as como, si determinadas expresiones lgicas son vlidas ante un conjunto de axiomas. 3. Conocer y utilizar la lgica de predicados: la semntica, el clculo axiomtico, las propiedades formales, el clculo de deduccin natural y los rboles lgicos. Conocer y utilizar los sistemas de deduccin natural y los sistemas axiomticos formales. Simplificar expresiones lgicas ya sea mediante propiedades o con mapas de Karnaugh. El alumno contrastar las caractersticas de la lgica proposicional y la lgica de predicados y evaluar frmulas normales y clusulas. 4.- Conocer la teora bsica de otras lgicas: la lgica modal, la lgica multivalente, la lgica geomtrica. El alumno conocer otros sistemas lgicos que difieren en una o ms cualidades de la lgica clsica.

Los objetivos son confusos y poco tiles. El nivel de dominio no es el adecuado, y no se relacionan con el objetivo general de la UA.

Es necesario mejorar la redaccin. Slo algunos objetivos son relevantes y pocos expresan un nivel de dominio adecuado. Poco contribuyen a lograr el objetivo general de la UA.

Es necesario mejorar la redaccin para mayor claridad, pero los objetivos son relevantes, con un nivel de dominio adecuado, y contribuyen a lograr el objetivo general de la UA.

Los objetivos son claros y son relevantes, con un nivel de dominio adecuado, y contribuyen a lograr el objetivo general de la UA.

Contenidos o estructura temtica de la UA

1. Conocer la definicin y tipos de lgica, su relacin con la teora de conjuntos y sus operaciones, la nocin de clculo de deduccin natural. Conocer y utilizar la induccin matemtica para probar diversas proposiciones lgicas. Evolucin del Software y de la Lgica Computacional. 2. Conocer y utilizar la lgica de proposiciones: forma normal disyuntiva y conjuntiva, semntica, el clculo axiomtico, las propiedades formales, el clculo de deduccin natural y los rboles lgicos. Formalizar expresiones del conocimiento humano 3. Conocer y utilizar la lgica de predicados: la semntica, el clculo axiomtico, las propiedades formales, el clculo de deduccin natural y los rboles lgicos. Conocer y utilizar los sistemas de deduccin natural y los sistemas axiomticos formales. Simplificar expresiones lgicas ya sea mediante propiedades o con mapas de Karnaugh. Formalizar expresiones del conocimiento humano. 4.- Conocer la teora bsica de otras lgicas: la lgica modal, la lgica multivalente, la lgica geomtrica. Lectura sobre los diferentes tipos de lgica.

Los contenidos no son pertinentes para el logro de los objetivos, estn desactualizados, no son suficientes y su redaccin es poco clara o inapropiada.

Slo el 50% los contenidos son pertinentes para el logro de los objetivos. Algunos contenidos , estn desactualizados, no son suficientes y su redaccin es poco clara o inapropiada.

El 75% de los contenidos son pertinentes para el logro de los objetivos. En algunos casos habra que reemplazarlos por contenidos ms actuales, y mejorar su redaccin.

Los contenidos son pertinentes para el logro de los objetivos, adems son vigentes o de actualidad; son suficientes y su redaccin es clara y apropiada.

Bibliografa

1. Arenas Alegra, L.: Lgica Formal para Informticos. Daz de Santos. Madrid 1996 2. Barwise, J., Etchemendy, J.: The Language of First-Order Logic. CLSI Stanford. Stanford, USA., 1992. 3. Ben-Ari M. Mathematical Logic for Computer Science. Prentice Hall, Great Britain, 1993 4. Burke, E., Foxley, E.: Logic and its Applications. Prentice Hall, Great Britain 1996. 5. Cuena,J. : Lgica Informtica. Alianza Editorial, 1986 6. Gries, D.,B. Scheneider, F.: A Logical Approach to Discrete Math. Springer-Verlag, New York 1993. 7. Labra, J.E., Fernndez, A.I, Lgica Proposicional para Informtica. Cuaderno Didctico Num. 12, Ed. Servitec, ISBN: 84-8416-613-9, Oct. 1998 8. Michael Huth, Mark Ryan Logic in Computer Science : Modelling and Reasoning about Systems Publisher: Cambridge University Press; 2 edition (August 26, 2004) ISBN:052154310X 9. Manna, Z., Waldinger, R.: The Logical Basis for Computer Programming. Vols. 1 y 2. Addison Wesley, 1985 y 1990 respectivamente. 10. Nerode, A., A. Shore, R.: Logic for applications. SpringerVerlag , New York 1993 11. Kelly, J. The Essence of Logic. Prentice Hall, Great Britain, 1997 12. Stanley N. Burris Logic for Mathematics and Computer Science Publisher: Prentice Hall; 1st edition (August 18, 1997) ISBN: 0132859742 13. Sperscheneider & Antoniou: Logic: A Foundation for Computer Science. Addison Wesley, 1991. 14. Daz Barriga, E. Notas de apoyo para el curso de Lgica. Editorial Kali. Mxico, 2006.

La bibliografa no es congruente con los objetivos y contenidos, adems resulta insuficiente y poco actualizada.

La bibliografa apoya en un 50% los objetivos y contenidos.

La bibliografa apoya en un 75% los objetivos y contenidos.

La bibliografa es congruente con los objetivos y contenidos, adems de suficiente y actual.

ocer su opinin. Para valorar cada atributo se le presenta una escala ue nos proporcione un comentario o una propuesta especifica para

Comentario y/o propuesta

3 Considero que ademas de la aplicacin en software tambin lo es para hardware