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 25 mar 2018 (dif | hist) . . (+9) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:18 25 mar 2018 (dif | hist) . . (-8) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:17 25 mar 2018 (dif | hist) . . (+6) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:16 25 mar 2018 (dif | hist) . . (-13) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:15 25 mar 2018 (dif | hist) . . (+1) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:15 25 mar 2018 (dif | hist) . . (+41) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 11:10 25 mar 2018 (dif | hist) . . (+14) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 10:53 25 mar 2018 (dif | hist) . . (+68) . . Tema 3
- 10:40 25 mar 2018 (dif | hist) . . (+2) . . Tema 3
- 10:34 25 mar 2018 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:34 25 mar 2018 (dif | hist) . . (0) . . m Tema 2 (Protegió «Tema 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:33 25 mar 2018 (dif | hist) . . (0) . . m Tema 1 (Protegió «Tema 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:52 24 mar 2018 (dif | hist) . . (+28) . . Seminario de Lógica Computacional (2018):Seminario de Lógica Computacional (2018) (→Material para el seminario) (edición actual)
- 12:52 24 mar 2018 (dif | hist) . . (-44) . . Seminario de Lógica Computacional (2018):Seminario de Lógica Computacional (2018)
- 12:51 24 mar 2018 (dif | hist) . . (-25) . . MediaWiki:Sidebar (edición actual)
- 12:51 24 mar 2018 (dif | hist) . . (-75) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 12:50 24 mar 2018 (dif | hist) . . (+3238) . . Tema 2
- 12:31 24 mar 2018 (dif | hist) . . (-75) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 12:21 24 mar 2018 (dif | hist) . . (+5012) . . Tema 1
- 12:12 24 mar 2018 (dif | hist) . . (-4) . . Temas
- 16:16 22 mar 2018 (dif | hist) . . (+24) . . Temas
- 09:22 22 mar 2018 (dif | hist) . . (+24) . . Temas
- 08:54 22 mar 2018 (dif | hist) . . (+9966) . . Tema 3
- 06:48 22 mar 2018 (dif | hist) . . (-63) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 07:42 21 mar 2018 (dif | hist) . . (+38 797) . . N Tema 3 (Página creada con '<source lang="ocaml"> (* Datos estructurados en Coq *) Require Export Induction. Module NatList. (* ===================================================================== ...')
- 00:13 21 mar 2018 (dif | hist) . . (+9) . . Temas (→Ponentes)
- 00:12 21 mar 2018 (dif | hist) . . (-2) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 00:09 21 mar 2018 (dif | hist) . . (+291) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 08:22 13 mar 2018 (dif | hist) . . (+35) . . Temas
- 20:23 5 mar 2018 (dif | hist) . . (+123) . . Ejercicios (edición actual)
- 20:21 5 mar 2018 (dif | hist) . . (+10 043) . . N Relación 2 (Página creada con '<source lang="ocaml"> (* T2: Demostraciones por inducción en Coq *) Require Export Basics Induction. (* --------------------------------------------------------------------- ...') (edición actual)
- 20:20 5 mar 2018 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 20:20 5 mar 2018 (dif | hist) . . (+1) . . R2
- 20:20 5 mar 2018 (dif | hist) . . (+6766) . . N R2 (Página creada con '<source lang="text"> (* R2: Demostraciones por inducción en Coq *) Require Export Basics Induction. (* --------------------------------------------------------------------- ...')
- 20:18 5 mar 2018 (dif | hist) . . (+11 335) . . N Tema 2 (Página creada con '<source lang="ocaml"> (* T2: Demostraciones por inducción en Coq *) Definition admit {T: Type} : T. Admitted. (* Ejemplo de importación de teorías *) Require Export Basics...')
- 10:37 3 mar 2018 (dif | hist) . . (+307) . . Temas
- 10:35 3 mar 2018 (dif | hist) . . (+42) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 18:59 27 feb 2018 (dif | hist) . . (+12 068) . . Tema 1
- 10:39 27 feb 2018 (dif | hist) . . (+14 030) . . Tema 1
- 18:45 26 feb 2018 (dif | hist) . . (+68) . . N Tema 1 (Página creada con 'Esta página está preparada para incluir la exposición del Tema 1.')
- 18:33 26 feb 2018 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 18:32 26 feb 2018 (dif | hist) . . (+454) . . Relación 1
- 18:09 26 feb 2018 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:08 26 feb 2018 (dif | hist) . . (-1086) . . R1 (edición actual)
- 18:06 26 feb 2018 (dif | hist) . . (+1689) . . R1
- 13:52 26 feb 2018 (dif | hist) . . (+428) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 09:16 26 feb 2018 (dif | hist) . . (+157) . . Temas
- 09:13 26 feb 2018 (dif | hist) . . (-5) . . Temas
- 09:11 26 feb 2018 (dif | hist) . . (+311) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 09:12 25 feb 2018 (dif | hist) . . (-1) . . Sistemas (→Sistemas)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).