Contribuciones del usuario
- 15:04 16 ene 2020 difs. hist. +13 824 N R9 Página creada con «<source lang="isabelle"> chapter ‹9: Deducción natural de primer orden› theory R9_Deduccion_natural_de_primer_orden imports Main begin text ‹Demostrar o refutar l…»
- 15:03 16 ene 2020 difs. hist. 0 Ejercicios
- 15:03 16 ene 2020 difs. hist. −8 Ejercicios
- 13:48 9 ene 2020 difs. hist. 0 m R8 Protegió «R8» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 13:48 9 ene 2020 difs. hist. +31 633 N R8 Página creada con «<source lang="isabelle"> chapter ‹R8: Formalización y argumentación con Isabelle/HOL› theory R8_Formalizacion_y_argmentacion imports Main begin text ‹-----------…»
- 13:47 9 ene 2020 difs. hist. +119 Ejercicios
- 11:40 9 ene 2020 difs. hist. +20 257 N Tema 7c: Deducción natural en lógica de primer orden con Isabelle/HOL Página creada con «<source lang="isabelle"> chapter ‹Tema 7: Deducción natural en lógica de primer orden› theory T7_Deduccion_natural_en_logica_de_primer_orden imports Main begin tex…» última
- 11:39 9 ene 2020 difs. hist. +1 Temas
- 11:16 19 dic 2019 difs. hist. 0 m R7 Protegió «R7» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 11:16 19 dic 2019 difs. hist. +10 874 N R7 Página creada con «<source lang="isabelle"> chapter ‹R7: Deducción natural proposicional› theory R7_Deduccion_natural_proposicional_2 imports Main begin text ‹----------------------…»
- 11:16 19 dic 2019 difs. hist. +134 Ejercicios
- 20:00 12 dic 2019 difs. hist. −79 R6 última
- 12:38 12 dic 2019 difs. hist. 0 m R6 Protegió «R6» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 12:37 12 dic 2019 difs. hist. +8450 N R6 Página creada con «<source lang="isabelle"> chapter ‹R6: Deducción natural proposicional› theory R6_Deduccion_natural_proposicional_1 imports Main begin text ‹----------------------…»
- 12:37 12 dic 2019 difs. hist. 0 Ejercicios
- 12:36 12 dic 2019 difs. hist. +3 Ejercicios
- 19:28 7 dic 2019 difs. hist. +36 643 N Tema 6c: Deducción natural proposicional con Isabelle/HOL Página creada con «<source lang="isabelle"> chapter ‹Tema 6: Deducción natural proposicional con Isabelle/HOL› theory T6_Deduccion_natural_en_logica_proposicional_con_Isabelle imports M…» última
- 19:26 7 dic 2019 difs. hist. 0 Temas
- 09:57 5 dic 2019 difs. hist. 0 m R5 Protegió «R5» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 09:56 5 dic 2019 difs. hist. +6942 N R5 Página creada con «<source lang="isabelle"> chapter ‹R5: Recorridos de árboles› theory R5_Recorridos_de_arboles imports Main begin text ‹------------------------------------------…»
- 09:55 5 dic 2019 difs. hist. +1 Ejercicios
- 21:30 4 dic 2019 difs. hist. 0 m Tema 5: Razonamiento sobre árboles y bosques Protegió «Tema 5: Razonamiento sobre árboles y bosques» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 21:30 4 dic 2019 difs. hist. +12 779 N Tema 5: Razonamiento sobre árboles y bosques Página creada con «<source lang="isabelle"> chapter ‹Tema 5: Razonamiento sobre árboles› theory T5_Razonamiento_sobre_arboles imports Main HOL.Parity begin text ‹En este tema se estu…»
- 21:29 4 dic 2019 difs. hist. 0 Temas
- 07:49 28 nov 2019 difs. hist. 0 m R4 Protegió «R4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 07:48 28 nov 2019 difs. hist. +7401 N R4 Página creada con «<source lang=isabelle> chapter ‹R4: Cuantificadores sobre listas› theory R4_Cuantificadores_sobre_listas imports Main begin text ‹ ------------------------------…»
- 07:47 28 nov 2019 difs. hist. −1 Ejercicios
- 21:52 27 nov 2019 difs. hist. +13 366 N Tema 4: Razonamiento por casos y por inducción Página creada con «<source lang="isabelle"> chapter ‹Tema 4: Razonamiento por casos y por inducción› theory T4_Razonamiento_por_casos_y_por_induccion imports Main HOL.Parity begin text…» última
- 21:51 27 nov 2019 difs. hist. 0 Temas
- 15:25 21 nov 2019 difs. hist. +596 Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL última
- 14:48 21 nov 2019 difs. hist. 0 Ejercicios
- 21:21 14 nov 2019 difs. hist. +1 Ejercicios
- 16:20 14 nov 2019 difs. hist. −43 Tema 2b: Razonamiento sobre programas con Isabelle/HOL última
- 16:17 14 nov 2019 difs. hist. 0 m R3 Protegió «R3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 16:17 14 nov 2019 difs. hist. +5260 N R3 Página creada con «<source lang="isabelle"> chapter ‹R3: Razonamiento estructurado sobre programas› theory R3_Razonamiento_estructurado_sobre_programas imports Main begin text ‹-----…»
- 16:16 14 nov 2019 difs. hist. 0 Ejercicios
- 14:41 14 nov 2019 difs. hist. +27 375 N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL Página creada con «<source lang="isabelle"> chapter ‹Tema 3: Razonamiento estructurado sobre programas› theory T3_Razonamiento_estructurado_sobre_programas imports Main begin text ‹E…»
- 14:40 14 nov 2019 difs. hist. 0 Temas
- 12:52 7 nov 2019 difs. hist. +92 Ejercicios
- 12:49 7 nov 2019 difs. hist. 0 m R2 Protegió «R2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 12:49 7 nov 2019 difs. hist. +4409 N R2 Página creada con «<source lang="isabelle"> chapter ‹R2: Razonamiento sobre programas en Isabelle/HOL› theory R2_Razonamiento_sobre_programas imports Main begin declare names_short…»
- 12:48 7 nov 2019 difs. hist. −11 Ejercicios
- 12:16 7 nov 2019 difs. hist. +20 354 N Tema 2b: Razonamiento sobre programas con Isabelle/HOL Página creada con «<source lang="isabelle"> chapter ‹Tema 2: Razonamiento sobre programas› theory T2_Razonamiento_sobre_programas imports Main begin text ‹En este tema se demuestra c…»
- 12:13 7 nov 2019 difs. hist. −11 Temas
- 17:12 31 oct 2019 difs. hist. +192 Documentación →Programación funcional
- 17:11 31 oct 2019 difs. hist. +3 Documentación →Programación funcional
- 17:10 31 oct 2019 difs. hist. −3 Documentación →Programación funcional
- 17:09 31 oct 2019 difs. hist. 0 Documentación →Programación funcional
- 17:08 31 oct 2019 difs. hist. +11 Documentación →Programación funcional
- 17:08 31 oct 2019 difs. hist. +109 Documentación →Programación funcional