TEORÍA DE LA COMPUTACIÓN

Destacamos aquí algunos recursos de Teoría de la Computación. Los contenidos son acordes al temario actual correspondiente a la carrera de Ing. en sistemas computacionales en los Institutos Tecnológicos, DGEST (excepto por las secciones indicadas con * que se incluyen para complementar o enriquecer el programa) Le invitamos también a visitar las sugerencias de aprendizaje.

(Actualizado: 2010.03.10)

1. Introducción

[1.1] Autómatas, computabilidad y complejidad: (ver bibliografía en sección [B*])

[1.2] Nociones Matemáticas

  • [FPST] Max Fernández de Castro, Asunción Preisser, Luis Felipe Segura y Yolanda Torres Falcón. “Lógica Elemental“. UAM, 1996. [acc. 2008.09.04]
  • [Z] Elias Zakon. “Basic concept of Mathematics” (pdf, 208 pp.) The Trillia Group. [acc. 2008.09.03]

[1.A*] Demostraciones matemáticas (en general)

[1.3] Inducción matemática (I.M.)

2. Lenguajes Regulares

  • [2.4] Lenguajes no regulares
    • [ADU] The Pumping Lema (video) [acc. 2009.10.16]
  • [2.A] Aplicaciones selectas

3. Lenguajes Libres[/Independientes] de Contexto

  • [3.1] Gramáticas Libres[/Independientes] de Contexto
  • [3.2] Árboles de derivación
  • [3.3-6] Formas Normales [y procedimientos de normalización]

  • [3.7] Eliminación de la ambigüedad
  • [3.8] Autómatas Push-Down [Autómatas a Pila]
  • [3.9] Lenguajes no Libres de Contexto

4. Máquina de Turing

[4.1] Problemas de Hilbert

[A*] Cursos selectos

[B*] Bibliografía recomendada

[C*] Herramientas software recomendadas

[D*] Código BFC de referencia (experimental)

  • ♦rbinarios.at2 ; código para aceptar un número racional binario (con .) Cortesía: Héctor Ayala [acc. 2009.10.14]

[E*] Código Scheme básico de referencia (experimental)

  • sets.scm : código para operaciones básicas con conjuntos
  • decide.scm: código elemental que muestra operaciones lógicas
  • frp.scm: código básico para ejercicio de funciones rec. primitivas
  • afd.scm ; implementa un autómata finito determinista
  • afn.scm ; implementa un autómata finito no-determinista
  • kleene.ss ; implementa de forma básica la unión de Σ^n, desde n=0 hasta n
  • mt01.scm ; código preliminar para complementar una MT
  • nsa.scm + blib.scm ; implementa un autómata a pila no determinístico (non-deterministic stack automaton. Incluye conversión básica GIC a NSA) [rev. 2009.11.21]

[F]* Información específica para Curso en el ITT (2010-1 Grupo 1W4A)

  • Aviso: suspención de clase miércoles 10 marzo [por síntomas de gripa] (Sugerencia: Trabajar colaborativamente en los problemas de tarea. Gracias)
  • Próximo Examen: Unidad 2, lunes 22 de marzo
  • Exámenes prototipo: (2009-1:  unid-1 | unid-2 | unid-3 | 4 | 5 | 6)
  • Calificaciones Parciales: { Unid-1 | } [DM. lunes 2010.03.08]
  • Tarea 1.1 Ejercicios 1-12 [Brena, pp. 20-21]
  • Tarea 1.2 Ejercicios 13-18 [Brena, p. 21-22]
  • Tarea 1.3 Ejercicios 19-24 [Brena, p. 22]
  • Investigación 1.α Décimo Problema de Hilbert y Julia Robinson
  • Reseña 1.A Video de Julia Robinson por ZALA Films
  • Recomendaciones: {  Para revisar temas de lógica y conjuntos, se recomienda  Uzcátegui-Aylwin, C. (2009) y el capítulo 1 de Brena (2003) }
  • Tarea 2.1 Ejercicio 2.2.1 [Hopcroft, et al. p. 58] {Due: jueves 11 mzo }
  • Tarea 2.2 Ejercicio 2.2.4 y 2.2.5 [Hopcroft, et al. p. 59] {Due: lunes 15 mzo }
  • Exposición 2.α Expresiones regulares (por equipos, 10 min.) {miércoles 17 mzo}
  • Cuestionario sobre Decidibilidad y Reducibilidad [Ref. 2009-1] (Ref. Cap. 9 Libro de HMU). [add. 2009.06.08]

(Desde: 2008.08.28)

  1. Recent Posts

    1. Poema de Michael Atiyah
    2. Creatividad en Matemáticas, IBL y el Método de Moore
    3. Competencia matemática, mediación y fluidez
    4. Eventos Matemáticos 2010
    5. Medicina y matemáticas
    6. Recursos Interactivos para Cálculo
    7. Película HARD PROBLEMS
    8. Membresía verde de la MAA
    9. Licenciatura en Matemáticas ESAD
    10. Open Calculus
    11. The Mathematical Intelligencer
    12. Escritura Matemática y Graficación
    13. L’Enseignement Mathématique
    14. Conferencia ¿Por qué No entiendo Matemáticas?
    15. Recursos para Primaria-Secundaria
    16. Recursos para precálculo
    17. Invitación a resolver problemas de matemáticas
    18. Paul Halmos y La Enseñanza de la Solución de Problemas
    19. Feliz Día del Estudiante
    20. ¿Hiciste alguna buena pregunta hoy?
    21. Feliz Día del Maestro
    22. Trío Gödel-Poincaré-Gauss
    23. SAGE Journals 1999-2009
    24. Erdös 96
    25. Einstein 130
    26. SAGE Education Journals
    27. Recursos para Teoría de la Computación
    28. Recursos para Cálculo Univariable
    29. La docena del fraile de planeación específica
    30. Competencias
    31. Felices Fiestas
    32. Pláticas sobre Teoría de Números
    33. Las Cinco Mentes para el Futuro
    34. Cursos estilo OCW
    35. SAGE Journals Free Access
    36. XLI Congreso Nacional de la SMM
    37. 15a Semana Nacional de CyT
    38. Página de áreas matemáticas y afines
    39. Numerical Recipes en Open Access
    40. SAGE Journals Online
    41. ¿Por qué las matemáticas?
    42. Libros en PDF del Profesor Carlos Ivorra
    43. 1ra. Escuela de Geometría Algebraica y Sistemas Dinámicos
    44. Frase de Kurt Friedrichs
    45. Recursos en Video
    46. Joint Mathematics Meetings 2008
    47. Decálogo del Dr. Pedro Puig Adam
    48. Un pensamiento de Sydney J. Harris
    49. nota de Serge Lang
    50. un pensamiento de Albert Einstein
    51. Los diez mandamientos de matemáticas
    52. Los diez mandamientos del maestro de matemáticas
    53. Página de recursos selectos
    54. Página Aprendizaje+Fluir+Felicidad
    55. Mensaje SEP Josefina Vázquez Mota
    56. Bienvenidos

  2. Categories

    Archives


  3. Search Website