Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:21 8 feb 2022 (dif | hist) . . (+122) . . Documentación (edición actual)
- 12:59 8 feb 2022 (dif | hist) . . (-11 939) . . Documentación
- 07:50 4 feb 2015 (dif | hist) . . (+136) . . Documentación (→Otros cursos)
- 14:14 29 ene 2015 (dif | hist) . . (+10 217) . . N Tema 12e: Sudoku (Página creada con '<source lang="isar"> (* Title: HOL/ex/Sudoku.thy Author: Tjark Weber Copyright 2005-2014 *) header {* A SAT-based Sudoku Solver *} theory T12e_Sudoku impor...')
- 14:13 29 ene 2015 (dif | hist) . . (+939) . . N Tema 12d: Pasos elementales (Página creada con '<source lang="isar"> header {* T12d: Pasos elementales *} theory T12d_Pasos_elementales imports Main begin text {* "thm" escribe el enunciado de los teoremas cuyos nombres se ...')
- 14:13 29 ene 2015 (dif | hist) . . (+1417) . . N Tema 12c: Automatización (Página creada con '<source lang="isar"> header {* T12c: Automatización *} theory T12c_Automatizacion imports Main begin section {* Lógica y conjuntos *} subsection {* Demostraciones con auto ...')
- 14:12 29 ene 2015 (dif | hist) . . (+2106) . . N Tema 12b: Razonamiento modular (Página creada con '<source lang="isar"> header {* T12b: Razonamiento modular mediante entornos locales *} theory T12b_Razonamiento_modular imports Main begin text {* Basado en http://www.cs...')
- 14:11 29 ene 2015 (dif | hist) . . (+7095) . . N Tema 12a: Razonamiento modular (Teoría de grupos) (Página creada con '<source lang="isar"> header {* T12a: Razonamiento modular. La teoría de grupos *} theory T12a_Razonamiento_modular_Teoria_de_grupos imports Main begin text {* El objetivo d...')
- 14:10 29 ene 2015 (dif | hist) . . (+12 262) . . N Tema 11: Gramáticas libre de contexto (Página creada con '<source lang="isar"> header {* T11: Gramáticas libres de contexto *} theory T11_Gramaticas_libre_de_contexto imports Main begin text {* En esta relación se definen dos gra...')
- 14:09 29 ene 2015 (dif | hist) . . (+5) . . Temas (edición actual)
- 14:08 29 ene 2015 (dif | hist) . . (+259) . . Temas
- 14:05 29 ene 2015 (dif | hist) . . (+192) . . Temas
- 07:30 22 ene 2015 (dif | hist) . . (+17 095) . . N Tema 10: Conjuntos definidos inductivamente (Página creada con '<source lang="isar"> header {* Tema 10: Conjuntos definidos inductivamente *} theory T10_Conjuntos_definidos_inductivamente imports Main begin section {* El conjunto de los n...')
- 07:29 22 ene 2015 (dif | hist) . . (+51) . . Temas
- 09:05 9 ene 2015 (dif | hist) . . (+141) . . Documentación (→Otros cursos)
- 14:50 8 ene 2015 (dif | hist) . . (+9090) . . N Relación 11 (Página creada con '<source lang="isar"> header {* R11: Plegados de listas y de árboles *} theory R11 imports Main begin section {* Nuevas funciones sobre listas *} text {* Nota. En esta r...')
- 14:49 8 ene 2015 (dif | hist) . . (+9090) . . N R11 (Página creada con '<source lang="isar"> header {* R11: Plegados de listas y de árboles *} theory R11 imports Main begin section {* Nuevas funciones sobre listas *} text {* Nota. En esta r...')
- 14:49 8 ene 2015 (dif | hist) . . (-41) . . Ejercicios (→Relaciones de ejercicios)
- 14:42 6 ene 2015 (dif | hist) . . (-33) . . Tema 9: Conjuntos, funciones y relaciones
- 14:41 6 ene 2015 (dif | hist) . . (+21 388) . . N Tema 9: Conjuntos, funciones y relaciones (Página creada con '<source lang="isar"> header {* Tema 9: Conjuntos, funciones y relaciones *} theory T9_Conjuntos_funciones_y_relaciones imports Main begin section {* Conjuntos *} subsection ...')
- 14:40 6 ene 2015 (dif | hist) . . (-23) . . Temas
- 14:09 18 dic 2014 (dif | hist) . . (+691) . . Relación 8
- 12:13 18 dic 2014 (dif | hist) . . (+32 911) . . N Relación 10 (Página creada con '<source lang="isar"> header {* R10: Formalización y argumentación con Isabelle/HOL *} theory R10 imports Main begin text {* ----------------------------------------------...')
- 12:13 18 dic 2014 (dif | hist) . . (-29) . . R10
- 12:12 18 dic 2014 (dif | hist) . . (0) . . m R10 (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:12 18 dic 2014 (dif | hist) . . (+32 940) . . N R10 (Página creada con '<source lang="isar"> header {* R10: Formalización y argumentación con Isabelle/HOL *} theory R10_Formalizacion_y_argmentacion imports Main begin text {* -----------------...')
- 12:11 18 dic 2014 (dif | hist) . . (+5496) . . N Relación 9 (Página creada con '<source lang="isar"> header {* R9: Deducción natural en Isabelle/HOL *} theory R9 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las regl...')
- 12:10 18 dic 2014 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:10 18 dic 2014 (dif | hist) . . (+5496) . . N R9 (Página creada con '<source lang="isar"> header {* R9: Deducción natural en Isabelle/HOL *} theory R9 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las regl...')
- 12:07 18 dic 2014 (dif | hist) . . (-129) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 11:26 18 dic 2014 (dif | hist) . . (+16 046) . . N Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 8: Deducción natural en lógica de primer orden *} theory T8b imports Main begin text {* El objetivo de este tema es presentar la deduc...')
- 11:24 18 dic 2014 (dif | hist) . . (+25 187) . . N Tema 7b: Deducción natural proposicional con Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 7b: Deducción natural proposicional con Isabelle/HOL *} theory T7b imports Main begin text {* En este tema se presentan los ejemplos de...')
- 11:23 18 dic 2014 (dif | hist) . . (+230) . . Temas (→Temas de Razonamiento automático (2014-15))
- 14:56 4 dic 2014 (dif | hist) . . (+5120) . . N Relación 8 (Página creada con '<source lang="isar"> header {* R8: Árboles binarios completos *} theory R8_Arboles_binarios_completos imports Main begin text {* ---------------------------------------...')
- 14:55 4 dic 2014 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:55 4 dic 2014 (dif | hist) . . (+5120) . . N R8 (Página creada con '<source lang="isar"> header {* R8: Árboles binarios completos *} theory R8_Arboles_binarios_completos imports Main begin text {* ---------------------------------------...')
- 14:54 4 dic 2014 (dif | hist) . . (0) . . Ejercicios
- 12:52 4 dic 2014 (dif | hist) . . (+8441) . . N Tema 6: Caso de estudio: Compilación de expresiones (Página creada con '<source lang="isar"> header {* Tema 6: Caso de estudio: Compilación de expresiones *} theory T6 imports Main begin text {* El objetivo de este tema es contruir un compilado...')
- 12:51 4 dic 2014 (dif | hist) . . (+13) . . Temas
- 15:04 28 nov 2014 (dif | hist) . . (+7052) . . N Relación 7 (Página creada con '<source lang="isar"> header {* R7: Recorridos de árboles *} theory R7 imports Main begin text {* --------------------------------------------------------------------- ...')
- 15:04 28 nov 2014 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 15:04 28 nov 2014 (dif | hist) . . (+7052) . . N R7 (Página creada con '<source lang="isar"> header {* R7: Recorridos de árboles *} theory R7 imports Main begin text {* --------------------------------------------------------------------- ...')
- 15:03 28 nov 2014 (dif | hist) . . (0) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 14:02 27 nov 2014 (dif | hist) . . (+7422) . . N Tema 5b: Verificación de la ordenación por mezcla (Página creada con '<source lang="isar"> header {* T5b: Verificación de la ordenación por mezcla *} theory T5b_Verificacion_de_la_ordenacion_por_mezcla_sol imports Main begin text {* En esta ...')
- 14:01 27 nov 2014 (dif | hist) . . (+10 635) . . N Tema 5a: Verificación de la ordenación por inserción (Página creada con '<source lang="isar"> header {* T5a: Verificación de la ordenación por inserción *} theory T5a_Verificacion_de_la_ordenacion_por_insercion imports Main begin text {* En es...')
- 14:01 27 nov 2014 (dif | hist) . . (+64) . . Temas (→Temas de Razonamiento automático (2014-15))
- 13:59 27 nov 2014 (dif | hist) . . (+4) . . Temas (→Temas de Razonamiento automático (2014-15))
- 08:25 22 nov 2014 (dif | hist) . . (+6943) . . N Relación 6 (Página creada con '<source lang="isar"> header {* R6: Sustitución, inversión y eliminación *} theory R6_Sustitucion_inversion_y_eliminacion imports Main begin text {* Nota: En esta relaci...')
- 08:24 22 nov 2014 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:23 22 nov 2014 (dif | hist) . . (-141) . . R6
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).