Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:18 2 may 2013 (dif | hist) . . (+1570) . . N RA12 Relación 13 (Página creada con '<source lang="isar"> header {* R13: Número de elementos válidos *} theory R13 imports Main begin text {* ----------------------------------------------------------------...')
- 11:17 2 may 2013 (dif | hist) . . (+2244) . . N RA12 Relación 12 (Página creada con '<source lang="isar"> header {* R12: Menor posición válida *} theory R12 imports Main begin text {* --------------------------------------------------------------------- ...')
- 11:15 2 may 2013 (dif | hist) . . (+6712) . . N RA12 Relación 11 (Página creada con '<source lang="isar"> header {* R11: Sustitución, inversión y eliminación *} theory R11 imports Main begin section {* Sustitución, inversión y eliminación *} text {* ...')
- 11:14 2 may 2013 (dif | hist) . . (+795) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 13:46 25 abr 2013 (dif | hist) . . (+802) . . Documentación (→Artículos recientes)
- 13:33 25 abr 2013 (dif | hist) . . (+7277) . . N RA12 Relación 10 (Página creada con '<source lang="isar"> header {* R10: Cuantificadores sobre listas *} theory R10 imports Main begin text {* -----------------------------------------------------------------...')
- 13:31 25 abr 2013 (dif | hist) . . (+1178) . . N RA12 Relación 9 (Página creada con '<source lang="isar"> header {* R9: Cons inverso *} theory R9 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1...')
- 13:30 25 abr 2013 (dif | hist) . . (+377) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 10:34 25 abr 2013 (dif | hist) . . (-132) . . Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL
- 10:34 25 abr 2013 (dif | hist) . . (-9) . . Temas (→Temas de Demostración asistida por ordenador)
- 10:00 14 abr 2013 (dif | hist) . . (0) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 09:59 14 abr 2013 (dif | hist) . . (+507) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 09:45 14 abr 2013 (dif | hist) . . (+112) . . Documentación
- 10:00 12 abr 2013 (dif | hist) . . (+90) . . Documentación (→Artículos recientes)
- 14:05 11 abr 2013 (dif | hist) . . (+850) . . Documentación (→Artículos recientes)
- 13:48 11 abr 2013 (dif | hist) . . (+5028) . . N RA12 Relación 8 (Página creada con '<source lang="isar"> header {* R8: Razonamiento sobre programas en Isabelle/HOL *} theory R8 imports Main begin text {* ------------------------------------------------------...')
- 13:45 11 abr 2013 (dif | hist) . . (+5326) . . N RA12 Relación 7 (Página creada con '<source lang="isar"> header {* R7: Programación funcional en Isabelle/HOL *} theory R7 imports Main begin text {* -----------------------------------------------------------...')
- 13:44 11 abr 2013 (dif | hist) . . (+417) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 13:40 11 abr 2013 (dif | hist) . . (+8244) . . Tema 5: Razonamiento sobre programas
- 13:39 11 abr 2013 (dif | hist) . . (-154) . . Tema 4: Programación funcional en Isabelle
- 13:36 11 abr 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 17:54 10 abr 2013 (dif | hist) . . (+35) . . MediaWiki:Sidebar
- 11:59 5 abr 2013 (dif | hist) . . (+122) . . Tema 1: Deducción natural proposicional con Isabelle/HOL
- 11:57 5 abr 2013 (dif | hist) . . (0) . . Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL
- 11:57 5 abr 2013 (dif | hist) . . (+162) . . Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL
- 20:57 3 abr 2013 (dif | hist) . . (0) . . Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica
- 20:56 3 abr 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 20:36 3 abr 2013 (dif | hist) . . (-44) . . Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL
- 20:35 3 abr 2013 (dif | hist) . . (-5705) . . Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL
- 20:32 3 abr 2013 (dif | hist) . . (0) . . Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL
- 20:31 3 abr 2013 (dif | hist) . . (0) . . Tema 1: Deducción natural proposicional con Isabelle/HOL
- 20:14 3 abr 2013 (dif | hist) . . (0) . . Documentación (→Cursos con Isabelle/HOL)
- 19:58 3 abr 2013 (dif | hist) . . (+4017) . . Documentación
- 20:24 1 abr 2013 (dif | hist) . . (+9495) . . N RA12 Relación 6 (Página creada con '<source lang="isar"> header {* R6: Argumentación en lógica de primer orden con igualdad *} theory R6 imports Main begin text {* ------------------------------------------...')
- 20:21 1 abr 2013 (dif | hist) . . (+18 794) . . N RA12 Relación 5 (Página creada con '<source lang="isar"> header {* R5: Argumentación en lógica de primer orden *} theory R5 imports Main begin text {* -------------------------------------------------------...')
- 20:12 1 abr 2013 (dif | hist) . . (+455) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 20:04 1 abr 2013 (dif | hist) . . (+9866) . . Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL
- 20:02 1 abr 2013 (dif | hist) . . (-1) . . Temas (→Temas de Demostración asistida por ordenador)
- 20:00 1 abr 2013 (dif | hist) . . (+24) . . RA12 Relación 4
- 19:59 1 abr 2013 (dif | hist) . . (+13 794) . . N RA12 Relación 4 (Página creada con '<source lang="Isar"> header {* T4R1: Deducción natural de primer orden *} theory T4R1 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las ...')
- 19:57 1 abr 2013 (dif | hist) . . (+251) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 08:05 22 mar 2013 (dif | hist) . . (+39 457) . . N GLC T2R2b (Página creada con '<source lang="isar"> header {* T2R2b: Argumentación en lógica de primer orden *} theory T2R2b imports Main begin text {* ---------------------------------------------------...')
- 08:03 22 mar 2013 (dif | hist) . . (+34 435) . . N GLC T2R2a (Página creada con '<source lang="isar"> header {* T2R2a: Argumentación en lógica de primer orden *} theory T2R2a imports Main begin text {* -------------------------------------------------...')
- 15:58 21 mar 2013 (dif | hist) . . (+1759) . . N RA12 Relación 3 (Página creada con '<source lang="isar"> header {* R3: Eliminación de conectivas *} theory R3 imports Main begin text {* --------------------------------------------------------------------- ...')
- 15:56 21 mar 2013 (dif | hist) . . (+8503) . . N RA12 Relación 2 (Página creada con '<source lang="isar"> header {* R2: Argumentación proposicional *} theory R2 imports Main begin text {* --------------------------------------------------------------------...')
- 15:55 21 mar 2013 (dif | hist) . . (+405) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 07:28 18 mar 2013 (dif | hist) . . (+44 108) . . N GLC T2R1 (Página creada con '<source lang="isar"> header {* T4R1: Deducción natural de primer orden *} theory T4R1 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las ...')
- 08:34 16 mar 2013 (dif | hist) . . (0) . . GLC T2 (edición actual)
- 08:34 16 mar 2013 (dif | hist) . . (+11 845) . . N GLC T2 (Página creada con '<source lang="isar"> header {* Tema 4: Deducción natural en lógica de primer orden *} theory T4 imports Main begin text {* El objetivo de este tema es presentar la deducc...')
- 08:51 15 mar 2013 (dif | hist) . . (+17 102) . . N GLC T1R2 (Página creada con '<source lang="isar"> header {* T1R2: Argumentación proposicional *} theory T1R2 imports Main begin text {* ----------------------------------------------------------------...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).