Esta es la página del Curso Bases Formales de la Computación

Parte 1:

• Sesión 1: Cálculo Proposicional y de Predicados
  

• Sesión 2: Lógica Modal
  

• Sesión 3: Verificación Formal
  

• Sesión 4: Cálculos de Procesos
  

• Sesión 5: Relaciones de Simulación
  

• Sesión 6: Evaluación
  

Parte 2:

• Sesión 1: Redes de Bayes (Primera parte) Lectura recomendada: Bayes Networks without tears
  

• Sesión 2: Redes de Bayes (Segunda parte)
  

• Sesión 3: Modelos Ocultos de Markov (Primera parte)
  

• Sesión 4: Modelos Ocultos de Markov (Segunda parte)
  

• Sesión 5: Gramáticas Incontextuales Estocásticas
  

• Sesión 6: Evaluación
  

• Por Sandra Cano
  

• Por Juan Carlos Martinez
  

Para Verificación:

• Abrial, Jean-Raymond Guidelines to Formal Systems
  
• Abrial, Jean-Raymond Sequential Program Construction
  
• JML’s Web-site
  

http://www.jmlspecs.org

• The JML Tool (G. Leavens et al.)
  

http://sourceforge.net/project/showfiles.php?group_id=65346



Para el tema de Modelos Ocultos de Markov, se recomienda revisar el siguiente artículo: Rabiner89

Para redes de Bayes:

1. Libro: Artificial Intelligence: A Modern Approach (Second Edition), S. Russell y P. Norvig
2. Repositorio: http://www.cs.ualberta.ca/~greiner/bn.html

Para gramáticas estocásticas: libro Foundations of Statistical Natural Language Processing. de Christopher D. Manning y Hinrich Schutze. MIT Press. 2002. Capítulo 11. (Está en la biblioteca)