Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 12:07 13 abr 2015 (dif | hist) . . (+43) . . Demostración automática de teoremas (2014-15)
- 12:06 13 abr 2015 (dif | hist) . . (+4407) . . N Tema 11: Métodos de demostración. (Página creada con '<source lang = "isar"> header {* T11: Métodos de demostración *} theory T11 imports Main begin text {* "thm" escribe el enunciado de los teoremas cuyos nombres se indican....')
- 12:00 13 abr 2015 (dif | hist) . . (+86) . . Temas
- 13:15 10 abr 2015 (dif | hist) . . (+21 405) . . N Tema 10: Conjuntos, funciones y relaciones. (Página creada con '<source lang = "isar"> header {* Tema 10: Conjuntos, funciones y relaciones *} theory T10 imports Main begin section {* Conjuntos *} subsection {* Operaciones con conjuntos...')
- 13:14 10 abr 2015 (dif | hist) . . (+48) . . Temas
- 11:52 8 abr 2015 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 11:52 8 abr 2015 (dif | hist) . . (+7068) . . N Relación 6 (Página creada con '<source lang = "isar"> header {* R6: Recorridos de árboles *} theory R6 imports Main begin text {* ---------------------------------------------------------------------...') (edición actual)
- 11:51 8 abr 2015 (dif | hist) . . (+7068) . . N R6 (Página creada con '<source lang = "isar"> header {* R6: Recorridos de árboles *} theory R6 imports Main begin text {* ---------------------------------------------------------------------...')
- 09:50 8 abr 2015 (dif | hist) . . (+156) . . Ejercicios
- 09:49 8 abr 2015 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:48 8 abr 2015 (dif | hist) . . (+10 745) . . N Relación 5 (Página creada con '<source lang = "isar"> header {* R5: Cuantificadores sobre listas *} theory R5 imports Main begin text {* -----------------------------------------------------------------...')
- 09:48 8 abr 2015 (dif | hist) . . (+10 745) . . N R5 (Página creada con '<source lang = "isar"> header {* R5: Cuantificadores sobre listas *} theory R5 imports Main begin text {* -----------------------------------------------------------------...')
- 09:48 8 abr 2015 (dif | hist) . . (+159) . . Ejercicios
- 08:56 8 abr 2015 (dif | hist) . . (+25 207) . . N Tema 9: Razonamiento por casos e inducción. (Página creada con '<source lang = "isar"> header {* Tema 9: Razonamiento por casos y por inducción *} theory T9 imports Main Parity begin text {* En este tema se amplían los métodos de dem...')
- 08:55 8 abr 2015 (dif | hist) . . (-3) . . Temas
- 08:54 8 abr 2015 (dif | hist) . . (-6) . . Temas
- 11:40 6 abr 2015 (dif | hist) . . (-54) . . Temas
- 20:47 22 mar 2015 (dif | hist) . . (0) . . m Tema 8: Razonamiento sobre programas en Isabelle/HOL. (Protegió «Tema 8: Razonamiento sobre programas en Isabelle/HOL.» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:47 22 mar 2015 (dif | hist) . . (0) . . m Tema 7: Programación funcional en Isabelle/HOL. (Protegió «Tema 7: Programación funcional en Isabelle/HOL.» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:47 22 mar 2015 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:46 22 mar 2015 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:46 22 mar 2015 (dif | hist) . . (+5031) . . N Relación 4 (Página creada con '<source lang = "isar"> header {* R4: Razonamiento sobre programas en Isabelle/HOL *} theory R4 imports Main begin text {* ----------------------------------------------------...')
- 20:46 22 mar 2015 (dif | hist) . . (+5031) . . N R4 (Página creada con '<source lang = "isar"> header {* R4: Razonamiento sobre programas en Isabelle/HOL *} theory R4 imports Main begin text {* ----------------------------------------------------...')
- 20:43 22 mar 2015 (dif | hist) . . (+5730) . . N Relación 3 (Página creada con '<source lang = "isar"> header {* R3 Programación funcional en Isabelle *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 20:43 22 mar 2015 (dif | hist) . . (+5730) . . N R3 (Página creada con '<source lang = "isar"> header {* R3 Programación funcional en Isabelle *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 20:42 22 mar 2015 (dif | hist) . . (+345) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 20:40 22 mar 2015 (dif | hist) . . (+22 545) . . N Tema 8: Razonamiento sobre programas en Isabelle/HOL. (Página creada con '<source lang = "isar"> header {* Tema 8: Razonamiento sobre programas *} theory T8 imports Main begin text {* En este tema se demuestra con Isabelle las propiedades de los...')
- 20:39 22 mar 2015 (dif | hist) . . (+8124) . . N Tema 7: Programación funcional en Isabelle/HOL. (Página creada con '<source lang = "isar"> header {* Tema 7: Programación funcional en Isabelle *} theory T7 imports Main begin section {* Introducción *} text {* En este tema se presenta el ...')
- 20:38 22 mar 2015 (dif | hist) . . (+96) . . Temas
- 12:16 16 mar 2015 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:16 16 mar 2015 (dif | hist) . . (+13 906) . . N Relación 2 (Página creada con '<source lang = "isar"> header {* R2: Deducción natural de primer orden *} theory R2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 12:16 16 mar 2015 (dif | hist) . . (+13 906) . . N R2 (Página creada con '<source lang = "isar"> header {* R2: Deducción natural de primer orden *} theory R2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 12:15 16 mar 2015 (dif | hist) . . (+192) . . Ejercicios
- 20:17 11 mar 2015 (dif | hist) . . (+15 985) . . N Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL (Página creada con '<source lang = "isar"> header {* Tema 6: Deducción natural en lógica de primer orden *} theory T6 imports Main begin text {* El objetivo de este tema es presentar la ded...')
- 20:12 11 mar 2015 (dif | hist) . . (+47) . . Temas
- 14:53 2 mar 2015 (dif | hist) . . (+17 716) . . N Relación 1 (Página creada con '<source lang = "isar"> header {* R1: Deducción natural proposicional *} theory Rel_1 imports Main begin text {* -----------------------------------------------------------...')
- 14:53 2 mar 2015 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:53 2 mar 2015 (dif | hist) . . (+1) . . R1
- 14:52 2 mar 2015 (dif | hist) . . (+17 715) . . N R1 (Página creada con '<source lang = "isar" header {* R1: Deducción natural proposicional *} theory Rel_1 imports Main begin text {* ------------------------------------------------------------...')
- 14:50 2 mar 2015 (dif | hist) . . (+136) . . Ejercicios
- 10:36 27 feb 2015 (dif | hist) . . (-4645) . . Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL
- 10:35 27 feb 2015 (dif | hist) . . (+4678) . . Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL
- 10:32 27 feb 2015 (dif | hist) . . (+25 148) . . N Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL (Página creada con 'header {* Tema 3: Deducción natural proposicional con Isabelle/HOL *} theory T3 imports Main begin text {* En este tema se presentan los ejemplos del tema de deducción na...')
- 10:31 27 feb 2015 (dif | hist) . . (+4) . . Temas
- 12:50 20 feb 2015 (dif | hist) . . (0) . . Temas
- 12:48 20 feb 2015 (dif | hist) . . (-15) . . Documentación (→Visiones generales)
- 11:47 20 feb 2015 (dif | hist) . . (+40) . . Temas
- 11:46 20 feb 2015 (dif | hist) . . (+304) . . Documentación (→Visiones generales)
- 11:36 20 feb 2015 (dif | hist) . . (+9) . . Documentación
- 11:35 20 feb 2015 (dif | hist) . . (-85) . . Documentación (→Bibliotecas de ejemplos de verificación)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).