["Te",["Tema 10: Heur\u00edsticas para la inducci\u00f3n y recursi\u00f3n general","Tema 11: Caso de estudio: Compilaci\u00f3n de expresiones","Tema 12: Conjuntos, funciones y relaciones","Tema 1: Isabelle como un lenguaje funcional","Tema 2: Razonamiento sobre programas","Tema 3: Deducci\u00f3n l\u00f3gica proposicional con Isabelle","Tema 3 ej","Tema 4: Deducci\u00f3n natural en l\u00f3gica de primer orden con Isabelle","Tema 4 ej","Tema 6: Isabelle como un lenguaje funcional"],["","","","","","","","","",""],["https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_10:_Heur%C3%ADsticas_para_la_inducci%C3%B3n_y_recursi%C3%B3n_general","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_11:_Caso_de_estudio:_Compilaci%C3%B3n_de_expresiones","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_12:_Conjuntos,_funciones_y_relaciones","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_1:_Isabelle_como_un_lenguaje_funcional","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_2:_Razonamiento_sobre_programas","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_3:_Deducci%C3%B3n_l%C3%B3gica_proposicional_con_Isabelle","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_3_ej","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_4:_Deducci%C3%B3n_natural_en_l%C3%B3gica_de_primer_orden_con_Isabelle","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_4_ej","https://www.glc.us.es/~jalonso/DAO2011/index.php/Tema_6:_Isabelle_como_un_lenguaje_funcional"]]