Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

materias:bases_formales_de_la_computacion [2010/01/25 10:55]
juancmartinez
materias:bases_formales_de_la_computacion [2011/01/24 15:30] (actual)
Línea 1: Línea 1:
 +===== Bases Formales de la computación =====
 +Esta es la página del Curso Bases Formales de la Computación\\
  
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +===== Transparencias por Sesión =====
 +
 +Parte 1:
 +
 +  * {{materias:bfc:bfc_sesion1_2009-1.pdf| Sesión 1: Cálculo Proposicional y de Predicados}}\\
 +
 +  * {{materias:bfc:bfc_sesion2_2009-1.pdf| Sesión 2: Lógica Modal}}\\
 +
 +  * {{materias:bfc:bfc_sesion3_2008-2.pdf| Sesión 3: Verificación Formal}}\\
 +
 +  * {{materias:bfc:bfc_sesion5_2008-2.pdf| Sesión 4: Cálculos de Procesos}}\\
 +
 +  * {{materias:bfc:bfc_sesion6_2008-2.pdf| Sesión 5: Relaciones de Simulación}}\\
 +
 +  * {{materias:bfc:bfc_sesion7_2008-2.pdf| Sesión 6: Evaluación}}\\
 +
 +
 +Parte 2:
 +
 +  * {{materias:bayes2008.pdf| Sesión 1: Redes de Bayes (Primera parte)}} Lectura recomendada: {{grupos:destino:bayesinanetworkswithouttears_charniak91.pdf| Bayes Networks without tears}}\\
 +  
 +  * {{grupos:destino:bfc_sesion2_segundaparte_2008-2.pdf| Sesión 2: Redes de Bayes (Segunda parte)}} \\
 +
 +  * {{materias:bfc_sesion3_2008-2.pdf| Sesión 3: Modelos Ocultos de Markov (Primera parte)}} \\
 +
 +  * {{materias:bfc_sesion4_2008-2.pdf| Sesión 4: Modelos Ocultos de Markov (Segunda parte)}}\\
 +
 +  * {{materias:bfc_sesion5_2008-2.pdf| Sesión 5: Gramáticas Incontextuales Estocásticas}} \\
 +
 +  * {{materias:bfc:evaluacionge.pdf| Sesión 6: Evaluación}}\\
 +
 +
 +===== Exposiciones de los estudiantes sobe Modelos Ocultos de Markov =====
 +
 +  * {{materias:alineamiento_de_secuencia_de_proteinas_con_hmm.ppt| Por Sandra Cano}}\\
 +
 +  * {{materias:exposicion_cadenas_ocultas_de_markov_hmm_-_juan_c_martinez.pdf| Por Juan Carlos Martinez}}\\
 +
 +===== Bibliografía Recomendada =====
 +
 +Para Verificación:
 +
 +  * Abrial, Jean-Raymond {{:materias:desarrollo:textos:formal_guidelines-abrial.pdf|Guidelines to Formal Systems}}\\
 +  * Abrial, Jean-Raymond {{materias:desarrollo:abrial-event-b-sequential.pdf|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: {{materias:bfc:rabiner89.pdf| Rabiner89}}
 +
 +Para redes de Bayes: 
 +   - Libro: Artificial Intelligence: A Modern Approach (Second Edition), S. Russell y  P. Norvig
 +   - 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)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki