["Te",["Tema 1: Deducci\u00f3n natural proposicional con Isabelle/HOL","Tema 2: Deducci\u00f3n natural en l\u00f3gica de primer orden en Isabelle/HOL","Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la l\u00f3gica","Tema 4: Deducci\u00f3n natural en l\u00f3gica de primer orden en Isabelle/HOL","Tema 4: Programaci\u00f3n funcional en Isabelle","Tema 5: Razonamiento sobre programas","Tema 6: Razonamiento por casos y por inducci\u00f3n en Isabelle/HOL","Tema 7: Caso de estudio: Compilacion de expresiones","Tema 8: Conjuntos, funciones y relaciones","Temas"],["","","","","","","","","",""],["https://www.glc.us.es/~jalonso/DAO/index.php/Tema_1:_Deducci%C3%B3n_natural_proposicional_con_Isabelle/HOL","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_2:_Deducci%C3%B3n_natural_en_l%C3%B3gica_de_primer_orden_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_3:_Resumen_del_lenguaje_Isabelle/Isar_y_las_reglas_de_la_l%C3%B3gica","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_4:_Deducci%C3%B3n_natural_en_l%C3%B3gica_de_primer_orden_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_4:_Programaci%C3%B3n_funcional_en_Isabelle","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_5:_Razonamiento_sobre_programas","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_6:_Razonamiento_por_casos_y_por_inducci%C3%B3n_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_7:_Caso_de_estudio:_Compilacion_de_expresiones","https://www.glc.us.es/~jalonso/DAO/index.php/Tema_8:_Conjuntos,_funciones_y_relaciones","https://www.glc.us.es/~jalonso/DAO/index.php/Temas"]]