["Te",["Tema 10: Conjuntos, funciones y relaciones","Tema 1: Programaci\u00f3n funcional en Isabelle","Tema 2b: Razonamiento autom\u00e1tico sobre programas en Isabelle/HOL","Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL","Tema 4: Razonamiento por casos y por inducci\u00f3n","Tema 5: Razonamiento sobre \u00e1rboles y bosques","Tema 6a: Verificaci\u00f3n de la ordenaci\u00f3n por inserci\u00f3n","Tema 6b: Verificaci\u00f3n de la ordenaci\u00f3n por mezcla","Tema 7: Caso de estudio: Compilaci\u00f3n de expresiones","Tema 8b: Deducci\u00f3n natural proposicional con Isabelle/HOL"],["","","","","","","","","",""],["https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_10:_Conjuntos,_funciones_y_relaciones","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_1:_Programaci%C3%B3n_funcional_en_Isabelle","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_2b:_Razonamiento_autom%C3%A1tico_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_3:_Razonamiento_estructurado_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_4:_Razonamiento_por_casos_y_por_inducci%C3%B3n","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_5:_Razonamiento_sobre_%C3%A1rboles_y_bosques","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_6a:_Verificaci%C3%B3n_de_la_ordenaci%C3%B3n_por_inserci%C3%B3n","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_6b:_Verificaci%C3%B3n_de_la_ordenaci%C3%B3n_por_mezcla","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_7:_Caso_de_estudio:_Compilaci%C3%B3n_de_expresiones","https://www.glc.us.es/~jalonso/RA2016/index.php/Tema_8b:_Deducci%C3%B3n_natural_proposicional_con_Isabelle/HOL"]]