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