Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (100 siguientes | 100 anteriores) (20 | 50 | 100 | 250 | 500).
- 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
(últimas | primeras) Ver (100 siguientes | 100 anteriores) (20 | 50 | 100 | 250 | 500).