Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)- 19:30 8 feb 2022 (dif | hist) . . (-162) . . Sistemas (→Editores de pruebas por secuentes) (edición actual)
- 19:29 8 feb 2022 (dif | hist) . . (-108) . . Sistemas (→Editores de pruebas por deducción natural)
- 19:29 8 feb 2022 (dif | hist) . . (-79) . . Sistemas (→Editores de pruebas por deducción natural)
- 19:24 8 feb 2022 (dif | hist) . . (+123) . . Documentación (edición actual)
- 15:51 26 oct 2019 (dif | hist) . . (-103) . . Documentación (→Visiones generales de la DAO)
- 15:48 26 oct 2019 (dif | hist) . . (-144) . . Documentación (→Visiones generales de la DAO)
- 11:38 21 ago 2019 (dif | hist) . . (-727) . . Ejercicios (edición actual)
- 11:43 31 may 2019 (dif | hist) . . (-31) . . Documentación (→Ofertas de trabajo)
- 20:51 6 mar 2019 (dif | hist) . . (0) . . m Relación 8 (Protegió «Relación 8» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:50 6 mar 2019 (dif | hist) . . (0) . . m Relación 7 (Protegió «Relación 7» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:50 6 mar 2019 (dif | hist) . . (0) . . m Relación 6 (Protegió «Relación 6» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:50 6 mar 2019 (dif | hist) . . (0) . . m Relación 5 (Protegió «Relación 5» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:49 6 mar 2019 (dif | hist) . . (0) . . m Relación 4 (Protegió «Relación 4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:49 6 mar 2019 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:48 6 mar 2019 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:48 6 mar 2019 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 19:22 4 mar 2019 (dif | hist) . . (-28 861) . . Relación 7
- 17:52 28 feb 2019 (dif | hist) . . (-4) . . Relación 8
- 17:52 28 feb 2019 (dif | hist) . . (+851) . . Relación 8
- 15:13 28 feb 2019 (dif | hist) . . (-4) . . Relación 7
- 15:12 28 feb 2019 (dif | hist) . . (+28 124) . . Relación 7
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 6
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 5
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 4
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 3
- 15:03 28 feb 2019 (dif | hist) . . (-4) . . Relación 2
- 15:03 28 feb 2019 (dif | hist) . . (-4) . . Relación 1
- 14:57 28 feb 2019 (dif | hist) . . (+280) . . Relación 6
- 14:40 28 feb 2019 (dif | hist) . . (+107) . . Relación 5
- 13:04 28 feb 2019 (dif | hist) . . (+45) . . Relación 4
- 12:56 28 feb 2019 (dif | hist) . . (+32) . . Relación 3
- 12:51 28 feb 2019 (dif | hist) . . (+5) . . Relación 2
- 12:48 28 feb 2019 (dif | hist) . . (+23) . . Relación 1
- 15:21 14 feb 2019 (dif | hist) . . (+151) . . Documentación (→Otros cursos)
- 15:20 14 feb 2019 (dif | hist) . . (+121) . . Documentación (→Cursos con Coq)
- 15:19 14 feb 2019 (dif | hist) . . (+156) . . Documentación (→Cursos con Coq)
- 15:16 14 feb 2019 (dif | hist) . . (+271) . . Documentación
- 15:08 14 feb 2019 (dif | hist) . . (0) . . m Tema 6: Lógica en Coq (Protegió «Tema 6: Lógica en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 15:08 14 feb 2019 (dif | hist) . . (0) . . m Tema 7: Definiciones inductivas en Coq (Protegió «Tema 7: Definiciones inductivas en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 15:08 14 feb 2019 (dif | hist) . . (+18 128) . . N Tema 7: Definiciones inductivas en Coq (Página creada con «<source lang="coq"> (* T7: Proposiciones definidas inductivamente *) Set Warnings "-notation-overridden,-parsing". Require Export T6_Logica. Require Coq.omega.Omega. (* E…»)
- 15:07 14 feb 2019 (dif | hist) . . (+46) . . Temas (edición actual)
- 14:46 14 feb 2019 (dif | hist) . . (+80 060) . . N Tema 6: Lógica en Coq (Página creada con «<source lang="coq"> Set Warnings "-notation-overridden,-parsing". Require Export T5_Tacticas. (* El contenido del tema es 1. Introducción 2. Conectivas lógicas…»)
- 14:46 14 feb 2019 (dif | hist) . . (+30) . . Temas
- 09:37 14 feb 2019 (dif | hist) . . (0) . . m Tema 11: Definiciones inductivas (Protegió «Tema 11: Definiciones inductivas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:37 14 feb 2019 (dif | hist) . . (0) . . m Tema 12: Conjuntos, funciones y relaciones (Protegió «Tema 12: Conjuntos, funciones y relaciones» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:37 14 feb 2019 (dif | hist) . . (0) . . m Tema 5: Tácticas básicas de Coq (Protegió «Tema 5: Tácticas básicas de Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:36 14 feb 2019 (dif | hist) . . (0) . . m Tema 4: Polimorfismo y funciones de orden superior en Coq (Protegió «Tema 4: Polimorfismo y funciones de orden superior en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:36 14 feb 2019 (dif | hist) . . (0) . . m Tema 3: Datos estructurados en Coq (Protegió «Tema 3: Datos estructurados en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:36 14 feb 2019 (dif | hist) . . (0) . . m Tema 2: Demostraciones por inducción sobre los números naturales en Coq (Protegió «Tema 2: Demostraciones por inducción sobre los números naturales en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:35 14 feb 2019 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 09:34 14 feb 2019 (dif | hist) . . (+52 599) . . N Tema 5: Tácticas básicas de Coq (Página creada con «<source lang="coq"> Set Warnings "-notation-overridden,-parsing". Require Export T4_PolimorfismoyOS. Require Export R2_Induccion_sol. (* El contenido del tema es 1. La…»)
- 09:33 14 feb 2019 (dif | hist) . . (+30) . . Tema 4: Polimorfismo y funciones de orden superior en Coq
- 09:33 14 feb 2019 (dif | hist) . . (+22 672) . . N Tema 4: Polimorfismo y funciones de orden superior en Coq (Página creada con «Require Export T3_EstructurasNat. (* El contenido del tema es 1. Polimorfismo 1. Listas polimórficas 1. Inferencia de tipos 2. Síntesis de l…»)
- 09:31 14 feb 2019 (dif | hist) . . (+28 608) . . N Tema 3: Datos estructurados en Coq (Página creada con «<source lang="coq"> Require Export T2_Induccion. (* En este capítulos se estudian datos estructurados con números naturales. Su contenido es 1. Pares de números…»)
- 09:30 14 feb 2019 (dif | hist) . . (+4617) . . N Tema 2: Demostraciones por inducción sobre los números naturales en Coq (Página creada con «<source lang="coq"> Require Export T1_PF_en_Coq. (* El contenido de la teoría es 1. Demostraciones por inducción. 2. Demostraciones anidadas. 3. Demostraciones…»)
- 09:30 14 feb 2019 (dif | hist) . . (+26 086) . . N Tema 1: Programación funcional y métodos elementales de demostración en Coq (Página creada con «<source lang="coq"> (* El contenido de la teoría es 1. Datos y funciones 1. Tipos enumerados 2. Booleanos 3. Tipos de las funciones 4. Tipos compuestos…») (edición actual)
- 09:29 14 feb 2019 (dif | hist) . . (+359) . . Temas
- 10:02 9 feb 2019 (dif | hist) . . (+3945) . . N Relación 8 (Página creada con «<source lang="isabelle"> chapter {* R8: Gramáticas libres de contexto *} theory R8_Gramaticas_libre_de_contexto imports Main begin text {* En esta relación se definen…»)
- 10:02 9 feb 2019 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 10:02 9 feb 2019 (dif | hist) . . (+3945) . . N R8 (Página creada con «<source lang="isabelle"> chapter {* R8: Gramáticas libres de contexto *} theory R8_Gramaticas_libre_de_contexto imports Main begin text {* En esta relación se definen…»)
- 10:00 9 feb 2019 (dif | hist) . . (+116) . . Ejercicios
- 15:08 7 feb 2019 (dif | hist) . . (+15 598) . . N Tema 12: Conjuntos, funciones y relaciones (Página creada con «<source lang="isabelle"> chapter {* Tema 12: Conjuntos, funciones y relaciones *} theory T12_Conjuntos_funciones_y_relaciones imports Main begin section {* Conjuntos *}…»)
- 15:07 7 feb 2019 (dif | hist) . . (+50) . . Temas
- 15:06 7 feb 2019 (dif | hist) . . (+6880) . . N Tema 11: Definiciones inductivas (Página creada con «<source lang="isabelle"> chapter {* Tema 11: Definiciones inductivas *} theory T11_Definiciones_inductivas imports Main begin section {* El conjunto de los números pares…»)
- 15:05 7 feb 2019 (dif | hist) . . (-11) . . Temas
- 18:54 30 ene 2019 (dif | hist) . . (0) . . m Tema 10: Caso de estudio: Compilación de expresiones (Protegió «Tema 10: Caso de estudio: Compilación de expresiones» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 18:53 30 ene 2019 (dif | hist) . . (+8576) . . N Tema 10: Caso de estudio: Compilación de expresiones (Página creada con «<source lang="isabelle"> chapter {* Tema 10: Caso de estudio: Compilación de expresiones *} theory T10_Caso_de_estudio_Compilacion_de_expresiones imports Main begin dec…»)
- 18:52 30 ene 2019 (dif | hist) . . (+1) . . Temas
- 13:06 25 ene 2019 (dif | hist) . . (+182) . . Temas
- 13:04 25 ene 2019 (dif | hist) . . (+74) . . Temas
- 13:03 25 ene 2019 (dif | hist) . . (+123) . . Temas
- 08:00 25 ene 2019 (dif | hist) . . (-21) . . Tema 9: Editores lógicos (→Deducción natural con Pandora) (edición actual)
- 12:32 24 ene 2019 (dif | hist) . . (+89) . . Tema 9: Editores lógicos (→Deducción natural con Pandora)
- 12:29 24 ene 2019 (dif | hist) . . (+50) . . Tema 9: Editores lógicos (→Deducción natural con Pandora)
- 12:27 24 ene 2019 (dif | hist) . . (+61) . . Tema 9: Editores lógicos (→Deducción natural con Pandora)
- 12:22 24 ene 2019 (dif | hist) . . (-1) . . Tema 9: Editores lógicos (→Deducción natural con Pandora)
- 12:21 24 ene 2019 (dif | hist) . . (+7) . . Tema 9: Editores lógicos (→Deducción natural con Pandora)
- 12:21 24 ene 2019 (dif | hist) . . (+185) . . Tema 9: Editores lógicos (→Deducción natural con Pandora)
- 12:19 24 ene 2019 (dif | hist) . . (+1) . . Tema 9: Editores lógicos (→Cálculo de secuentes con Sequent Calculus Trainer)
- 12:18 24 ene 2019 (dif | hist) . . (+908) . . N Tema 9: Editores lógicos (Página creada con «== Deducción natural con Pandora == * El sitio de Pandora es [http://www.doc.ic.ac.uk/pandora/newpandora] (o su [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandor…»)
- 12:09 24 ene 2019 (dif | hist) . . (+35) . . Temas
- 11:55 24 ene 2019 (dif | hist) . . (+132) . . Documentación
- 11:45 24 ene 2019 (dif | hist) . . (+119) . . Sistemas
- 11:43 24 ene 2019 (dif | hist) . . (+21) . . MediaWiki:Sidebar (edición actual)
- 11:40 24 ene 2019 (dif | hist) . . (+6868) . . N Relación 7 (Página creada con «<source lang="isabelle"> chapter {* R7: Deducción natural de primer orden *} theory R7_Deduccion_natural_de_primer_orden imports Main begin text {* Demostrar o refuta…»)
- 11:40 24 ene 2019 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 11:40 24 ene 2019 (dif | hist) . . (+6868) . . N R7 (Página creada con «<source lang="isabelle"> chapter {* R7: Deducción natural de primer orden *} theory R7_Deduccion_natural_de_primer_orden imports Main begin text {* Demostrar o refuta…»)
- 11:38 24 ene 2019 (dif | hist) . . (0) . . Ejercicios
- 11:30 24 ene 2019 (dif | hist) . . (+1) . . Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL (edición actual)
- 11:30 24 ene 2019 (dif | hist) . . (+16 658) . . N Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL (Página creada con «<source lang="isabelle" chapter {* Tema 8b: Deducción natural en lógica de primer orden *} theory T8b_Deduccion_natural_en_logica_de_primer_orden imports Main begin te…»)
- 11:26 24 ene 2019 (dif | hist) . . (0) . . Temas
- 20:08 23 ene 2019 (dif | hist) . . (-1) . . Sistemas (→Editores de pruebas por secuentes)
- 20:07 23 ene 2019 (dif | hist) . . (0) . . Sistemas (→Editores de pruebas por deducción natural)
- 20:07 23 ene 2019 (dif | hist) . . (0) . . Sistemas (→Asistentes de demostración)
- 20:06 23 ene 2019 (dif | hist) . . (+639) . . Sistemas
- 13:42 10 ene 2019 (dif | hist) . . (+132) . . Relación 5
- 13:31 10 ene 2019 (dif | hist) . . (+654) . . Relación 4
- 13:05 10 ene 2019 (dif | hist) . . (+15) . . Relación 3
- 12:09 10 ene 2019 (dif | hist) . . (+470) . . Relación 2
- 12:00 10 ene 2019 (dif | hist) . . (+31) . . Relación 1
- 11:52 10 ene 2019 (dif | hist) . . (0) . . Colaboraciones (edición actual)
- 21:08 9 ene 2019 (dif | hist) . . (0) . . m Colaboraciones (Protegió «Colaboraciones» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 21:08 9 ene 2019 (dif | hist) . . (+539) . . N Colaboraciones (Página creada con «=== Colaboraciones en todas la relaciones === <source lang="text"> | 69 | pabalagon | | 69 | cammonagu | | 64 | benber | | 64 | alfmarcua | | 63 | josgomro…»)
- 20:39 9 ene 2019 (dif | hist) . . (+17 747) . . N Relación 6 (Página creada con «<source lang="isabelle"> chapter {* R6: Deducción natural proposicional *} theory R6_Deduccion_natural_proposicional imports Main begin text {* ----------------------…»)
- 20:39 9 ene 2019 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:39 9 ene 2019 (dif | hist) . . (+17 747) . . N R6 (Página creada con «<source lang="isabelle"> chapter {* R6: Deducción natural proposicional *} theory R6_Deduccion_natural_proposicional imports Main begin text {* ----------------------…»)
- 20:37 9 ene 2019 (dif | hist) . . (+2) . . Ejercicios
- 20:24 9 ene 2019 (dif | hist) . . (+25 608) . . N Tema 7b: Deducción natural proposicional con Isabelle/HOL (Página creada con «<source lang="isabelle"> chapter {* Tema 7b: Deducción natural proposicional con Isabelle/HOL *} theory T7b_Deduccion_natural_en_logica_proposicional_con_Isabelle imports…») (edición actual)
- 20:16 9 ene 2019 (dif | hist) . . (0) . . Temas
- 16:46 20 dic 2018 (dif | hist) . . (0) . . Temas
- 08:59 14 dic 2018 (dif | hist) . . (+7077) . . N Relación 5 (Página creada con «<source lang="isabelle"> chapter {* R5: Recorridos de árboles *} theory R5_Recorridos_de_arboles imports Main begin text {* ---------------------------------------…»)
- 08:59 14 dic 2018 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 08:59 14 dic 2018 (dif | hist) . . (+7077) . . N R5 (Página creada con «<source lang="isabelle"> chapter {* R5: Recorridos de árboles *} theory R5_Recorridos_de_arboles imports Main begin text {* ---------------------------------------…»)
- 08:57 14 dic 2018 (dif | hist) . . (0) . . Ejercicios
- 08:57 14 dic 2018 (dif | hist) . . (0) . . Temas
- 15:35 13 dic 2018 (dif | hist) . . (+7292) . . N Tema 6b: Verificación de la ordenación por mezcla (Página creada con «<source lang="isabelle"> chapter {* T6b: Verificación de la ordenación por mezcla *} theory T6b_Verificacion_de_la_ordenacion_por_mezcla imports Main begin text {* En…») (edición actual)
- 15:28 13 dic 2018 (dif | hist) . . (+3) . . Tema 6a: Verificación de la ordenación por inserción (edición actual)
- 15:28 13 dic 2018 (dif | hist) . . (+10 709) . . N Tema 6a: Verificación de la ordenación por inserción (Página creada con «<source lang="isabelle"> chapter {* T6a: Verificación de la ordenación por inserción *} theory T6a_Verificacion_de_la_ordenacion_por_insercion imports Main begin text…»)
- 15:21 13 dic 2018 (dif | hist) . . (+8470) . . 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 es…») (edición actual)
- 13:03 13 dic 2018 (dif | hist) . . (-125) . . Temas
- 17:17 29 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 16:29 29 nov 2018 (dif | hist) . . (+8) . . Documentación (→Artículos recientes)
- 16:28 29 nov 2018 (dif | hist) . . (-3) . . Documentación (→Artículos recientes)
- 15:05 29 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 15:04 29 nov 2018 (dif | hist) . . (+7365) . . N Relación 4 (Página creada con «<source lang="isabelle"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* ----------------------------…»)
- 15:04 29 nov 2018 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 15:04 29 nov 2018 (dif | hist) . . (+7365) . . N R4 (Página creada con «<source lang="isabelle"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* ----------------------------…»)
- 14:38 29 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 14:38 29 nov 2018 (dif | hist) . . (+17 523) . . 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 Parity begin text {*…») (edición actual)
- 14:37 29 nov 2018 (dif | hist) . . (-1) . . Temas
- 14:18 29 nov 2018 (dif | hist) . . (-4) . . Relación 3
- 13:46 29 nov 2018 (dif | hist) . . (0) . . m Relación 3 (Eliminó la protección de «Relación 3»)
- 13:46 29 nov 2018 (dif | hist) . . (+115) . . Relación 3
- 12:59 29 nov 2018 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 14:27 23 nov 2018 (dif | hist) . . (0) . . m Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Protegió «Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 14:27 23 nov 2018 (dif | hist) . . (+27) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL
- 23:58 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:33 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:33 22 nov 2018 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 11:33 22 nov 2018 (dif | hist) . . (+5269) . . N Relación 3 (Página creada con «<source lang="isabelle"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* -------------------------------…»)
- 11:32 22 nov 2018 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 11:32 22 nov 2018 (dif | hist) . . (+5269) . . N R3 (Página creada con «<source lang="isabelle"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* -------------------------------…»)
- 11:30 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:29 22 nov 2018 (dif | hist) . . (0) . . m Relación 2 (Eliminó la protección de «Relación 2»)
- 11:29 22 nov 2018 (dif | hist) . . (+17 745) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL
- 11:28 22 nov 2018 (dif | hist) . . (+6061) . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Página creada con «<source lang="isabelle"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare na…»)
- 11:27 22 nov 2018 (dif | hist) . . (0) . . Temas
- 11:17 22 nov 2018 (dif | hist) . . (+102) . . Relación 2
- 11:06 22 nov 2018 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 09:09 16 nov 2018 (dif | hist) . . (+40) . . Documentación (→Artículos recientes)
- 15:38 15 nov 2018 (dif | hist) . . (+23) . . Relación 1
- 09:17 15 nov 2018 (dif | hist) . . (+3525) . . N R2 (Página creada con «<source lang="isabelle"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare na…») (edición actual)
- 09:15 15 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 09:15 15 nov 2018 (dif | hist) . . (0) . . Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (edición actual)
- 09:14 15 nov 2018 (dif | hist) . . (+13 938) . . N Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Página creada con «<source lang="isabelle"> chapter {* Tema 2: Razonamiento automático sobre programas en Isabelle/HOL *} theory T2b_Razonamiento_automatico_sobre_programas_en_IsabelleHOL i…»)
- 09:05 15 nov 2018 (dif | hist) . . (0) . . Temas
- 09:04 15 nov 2018 (dif | hist) . . (+8) . . Relación 1
- 20:45 11 nov 2018 (dif | hist) . . (-4) . . Relación 1
- 20:45 11 nov 2018 (dif | hist) . . (-313) . . Relación 1
- 20:07 8 nov 2018 (dif | hist) . . (0) . . Relación 1
- 20:06 8 nov 2018 (dif | hist) . . (+5225) . . N Relación 1 (Página creada con «<source lanh="isabelle"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ------------------…»)
- 20:58 7 nov 2018 (dif | hist) . . (+5176) . . N R1 (Página creada con «<source lang="isabelle"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ------------------…») (edición actual)
- 20:57 7 nov 2018 (dif | hist) . . (+1281) . . Ejercicios
- 20:55 7 nov 2018 (dif | hist) . . (+4) . . Tema 1: Programación funcional en Isabelle (edición actual)
- 20:54 7 nov 2018 (dif | hist) . . (+9095) . . N Tema 1: Programación funcional en Isabelle (Página creada con «<source lang="isar"> chapter {* Tema 1: Programación funcional en Isabelle *} theory T1_Programacion_funcional_en_Isabelle imports Main begin section {* Introducción *…»)
- 20:48 7 nov 2018 (dif | hist) . . (+1779) . . Temas
- 08:53 27 oct 2018 (dif | hist) . . (+475) . . Documentación
- 15:58 20 oct 2018 (dif | hist) . . (+146) . . Documentación (→Artículos recientes)
- 15:46 20 oct 2018 (dif | hist) . . (-8522) . . Documentación (→Artículos recientes)
- 15:41 20 oct 2018 (dif | hist) . . (-8569) . . Documentación" (→Artículos recientes) (edición actual)
- 15:32 20 oct 2018 (dif | hist) . . (+19 796) . . N Documentación" (Página creada con «En esta página se recogen en enlaces que sirven de documentación al curso de "Razonamiento automático" == Visiones generales de la DAO == # J.A. Alonso. [http://goo.gl…»)
- 15:30 20 oct 2018 (dif | hist) . . (+16) . . Razonamiento automático (2018-19) (edición actual)
- 13:34 20 oct 2018 (dif | hist) . . (+16) . . MediaWiki:Sidebar
- 12:54 20 oct 2018 (dif | hist) . . (+75) . . Sistemas
- 22:23 15 oct 2018 (dif | hist) . . (+325) . . N MediaWiki:Sidebar (Página creada con «* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios ** Documentación|Documentación ** http://www.glc.us.es/~jalonso/vestigium/tag/ra2018…»)
- 22:22 15 oct 2018 (dif | hist) . . (+81) . . N Sistemas (Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso»)
- 22:21 15 oct 2018 (dif | hist) . . (+19 796) . . N Documentación (Página creada con «En esta página se recogen en enlaces que sirven de documentación al curso de "Razonamiento automático" == Visiones generales de la DAO == # J.A. Alonso. [http://goo.gl…»)
- 22:20 15 oct 2018 (dif | hist) . . (+173) . . N Ejercicios (Página creada con «En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.»)
- 22:20 15 oct 2018 (dif | hist) . . (+75) . . N Temas (Página creada con «En esta página se irán publicando los temas conforme se vayan estudiando.»)
- 22:19 15 oct 2018 (dif | hist) . . (+2) . . Razonamiento automático (2018-19)
- 22:18 15 oct 2018 (dif | hist) . . (+583) . . N Razonamiento automático (2018-19) (Página creada con «Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial M…»)
- 22:16 15 oct 2018 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con «Razonamiento automático (2018-19)») (edición actual)
- 22:13 15 oct 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)