Return to home

03/27/12

1112024 TEORIA MATEMATICA DE LA COMPUTACION 

GRUPO  CCB01

TRIMESTRE 12I

 

Comentarios y sugerencias

cbarron@correo.azc.uam.mx

cbarron969@gmail.com

NOTAS:

bullet

Les debo las clases de la semana del 6 al 10, en la que estuve enfermo.

El 1er examen lo celebraremos el martes 21 de febrero de 2012.

 

Como estudiantes de la Ing. en Computación le transcribo los objetivos generales de su carrera para que reflexione en ellos cuando realice tareas y trabajos de esta UEA:

“Transmitir los conocimientos y desarrollar habilidades y actitudes en el futuro profesional que le permitan:

bullet

Comprobar la relación existente entre los distintos aspectos de su profesión y otras actividades.

bullet

Actuar con conciencia de los efectos de las obras de ingeniería en el medio que los rodea.

bullet

Trabajar en grupos interdisciplinarios.

bullet

Considerar en el análisis y solución de problemas, factores técnicos, sociales y económicos.

bullet

Asimilar desarrollos para crear nuevas tecnologías o adaptar las ya existentes.

bullet

Realizar trabajo experimental e interpretar sus resultados.

bullet

Realizar estudios individuales y actualizarse durante el ejercicio profesional.”

Tomado del Plan de estudios Licenciatura en Ingeniería en Computación, Título: Ingeniero o Ingeniera en Computación, UAM-A.

 

Clases: Martes y jueves de 10:00-11:30

Salón: E108

Lista de calificaciones alumnos.

PDF UEA TEORIA MATEMATICA DE LA COMPUTACION

 

Tareas

  1. Formar equipos de 4 y 5 elementos

  2. Lectura y entrega de dos ensayos de los artículos Los tres mundos del Doctor Popper y “La selección natural y el surgimiento de la mente”, paginas 25 a 42, Epistemología Evolucionista de Martinez-Olive, Compiladores, 1997. para entregar el martes 24 de enero de 2012. Para realizar su ensayo les sugiero estas preguntas: ¿De donde surge la inteligencia o mente humana? ¿El hombre podrá algún día entender los mecanismos y fenómenos de la vida y de la evolución como para llegar a construir robots o máquinas inteligentes (Entendiendo inteligencia en el sentido de la conducta y procesos de la mente de los seres humanos)? ¿En su opinión por qué no se ha logrado construir artefactos inteligentes? Elegí dos lecturas “Los tres mundos del Doctor Popper” y “La selección natural y el surgimiento de la mente” (paginas 25 a 42, Epistemología Evolucionista de Martinez-Olive, Compiladores). Por otro lado, si usted encuentra que otras lecturas las considera apropiadas, por favor, inclúyalas, sea libre de escribir su punto de vista de las preguntas planteadas y su problemática de porqué ha sido y será difícil, sino es que imposible, la creación de artefactos o seres artificiales inteligentes como las personas por el hombre.

  3. Demostrar la equivalencia entre los autómatas con salida de Moore y de Mealy. En el sentido de equivalencia de lenguajes (<->, lo que hemos visto en clase) o sea que generan los mismos lenguajes, para el jueves 2 de febrero de 2012.

  4. Tarea. Hacer la construcción de la función de transición a cadenas de un autómata AFN- e. Para entregar opcionalmente la clase del martes 7 de febrero de 2012.  

  5. Guía o tarea para el 1er Examen parcial.

  6. Tarea.Estudiar y hacer un resumen de la demostración de que el lenguaje de un AFD genera una ER. Para entregar opcionalmente la siguiente clase.

  7. Atendiendo su petición el examen es de tarea y consiste en la Guía o tarea para el 1er Examen parcial, menos el ejercicio 4.c) que resolvimos en clase. Sus respuestas del examen se entregan sin falta y a la hora de entrada (10:00hrs) el día martes 21 de febrero de 2012. 12 respuestas correctas corresponde a 10 de calificación. 

  8. Tarea entregar el examen en limpio, corregido y completo el martes 28 de febrero de 2012.

  9. 2do Examen parcial, martes 6 de marzo de 2012.

  10. Guía para el 2do examen

  11. Entregar como tarea el 2do examen el jueves 8 de marzo de 2012.

  12. Bases del proyecto del curso presentación y entrega martes 27 de marzo de 2012.

  13. Soluciones al problema de recorrido de un caballo de ajedrez caso3x4 caso3x8 caso8x8. Nota: el caso3x4 con punto inicial (1,1) tiene éxito pero caso3x4 fracasa del punto inicial (2,2).

  14. Guía para el 3er parcial

 

Bitacora de Clases

  1. Presentación curso, objetivos y forma de evaluación.
  2. Autómatas: Autómatas Finitos Determinísticos (AFD) y autómatas Finitos no Derminísticos (AFND).
  3. Expresiones Regulares, Función extendida a cadenas de un AFD:
  4. Ejemplos de ER y equivalencia entre un AFD y un AFN. Alumnos desarrollan la función extendida a cadenas de un AFN:
  5. Prop. Los AFD y AFN, son equivalentes en el sentido de que L(AFD) = L(AFN). La parte no trivial es la construcción de un AFD usando el conjunto potencia de Q del AFN. Teorema de Kleene, ER <-> Autómata Finito No Determinístico de Transiciones Nulas AFN- e <-> AFN <-> AFD. Esta equivalencia es la prop. que veremos.
  6. Solución a la tarea, equivalencia de los autómatas de Moore y Mealy. Observaciones del crecimiento exponencial del método de construcción de la potencia de conjuntos. Vimos que existen lenguajes que requieren un número mínimo de estados. Los AFN-e y su función extendida a cadenas (tarea). Veremos Prop. Los AFN-e y los AFN son equivalentes.  
  7. Enfermo
  8. Enfermo.
  9. (14 de febrero de 2012) Revisión Automatas de Mealy y Moore. Equivalencia entre AFN y AFN-e.
  10. Terminar Teorema de Kleene, falta dado en AFD, ver que su lenguaje es una ER. Propiedades, limites y Lenguajes no cubiertos por ER. Repaso y ejercicios del 1er Examen.
  1. Entrega del 1er examen. Solución del 1er examen.
  2. Introducción a Gramáticas. Ejemplos de Lenguajes que no corresponde con ER.
  3. Lenguajes formales, Reconocimiento de lenguajes (repaso por ER y Automátas finitos (AFD, AFN, AFN-e). Formalización de Gramáticas. G=(V,T,R,<S>).
  4. Automata de Pila y lenguaje {(n)n | n>0 }.
  5. Máquina de Turing y Proyecto de programación. Ejemplo MT para {(n)n | n>0 }.
  

Materiales de lectura y referencias

  1. Los tres mundos del Doctor Popper
  2. “La selección natural y el surgimiento de la mente”, paginas 25 a 42, Epistemología Evolucionista de Martinez-Olive, Compiladores, 1997.
  3. Teoría de Autómatas, lenguajes y Computación, Hopcroft, Motwani, Ullman, págs. 74-74, 86-89.
  4. Lecturas de Jerarquia de Chomsky. Wikipedea y una Presentacion.
  5. Máquina de Turing.
  6. Funciones recursivas.

Cursos

home

This site was last updated 03/27/12