["Te",["Tema 10: Caso de estudio: Compilaci\u00f3n de expresiones","Tema 11: Verificaci\u00f3n de la ordenaci\u00f3n por inserci\u00f3n","Tema 1: Programaci\u00f3n funcional en Isabelle","Tema 2b: Razonamiento sobre programas con 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 6c: Deducci\u00f3n natural proposicional con Isabelle/HOL","Tema 7c: Deducci\u00f3n natural en l\u00f3gica de primer orden con Isabelle/HOL","Temas"],["","","","","","","","","",""],["https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_10:_Caso_de_estudio:_Compilaci%C3%B3n_de_expresiones","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_11:_Verificaci%C3%B3n_de_la_ordenaci%C3%B3n_por_inserci%C3%B3n","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_1:_Programaci%C3%B3n_funcional_en_Isabelle","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_2b:_Razonamiento_sobre_programas_con_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_3:_Razonamiento_estructurado_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_4:_Razonamiento_por_casos_y_por_inducci%C3%B3n","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_5:_Razonamiento_sobre_%C3%A1rboles_y_bosques","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_6c:_Deducci%C3%B3n_natural_proposicional_con_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2019/index.php/Tema_7c:_Deducci%C3%B3n_natural_en_l%C3%B3gica_de_primer_orden_con_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2019/index.php/Temas"]]