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)