Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 07:49 19 mar 2013 (dif | hist) . . (-138) . . Rel 6
- 07:47 19 mar 2013 (dif | hist) . . (+24 079) . . N Rel 6 (Página creada con '<source lang="isar"> text {* --------------------------------------------------------------------- El objetivo de esta relación es formalizar en lógica de primer orden ...')
- 07:31 19 mar 2013 (dif | hist) . . (+1759) . . N Relación 5 (Página creada con '<source lang="isar"> header {* R5: Eliminación de conectivas *} theory R5 imports Main begin text {* --------------------------------------------------------------------- ...')
- 07:31 19 mar 2013 (dif | hist) . . (-4) . . Rel 5 (edición actual)
- 07:30 19 mar 2013 (dif | hist) . . (0) . . m Rel 5 (Protegió «Rel 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 07:30 19 mar 2013 (dif | hist) . . (+1763) . . N Rel 5 (Página creada con '<source lang="isar"> header {* T3R3: Eliminación de conectivas *} theory T3R3 imports Main begin text {* ------------------------------------------------------------------...')
- 07:27 19 mar 2013 (dif | hist) . . (+325) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 20:21 18 mar 2013 (dif | hist) . . (0) . . m Rel 4 (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 20:21 18 mar 2013 (dif | hist) . . (+8503) . . N Relación 4 (Página creada con '<source lang="isar"> header {* R4: Argumentación proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------...')
- 20:20 18 mar 2013 (dif | hist) . . (+8503) . . N Rel 4 (Página creada con '<source lang="isar"> header {* R4: Argumentación proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------...')
- 20:19 18 mar 2013 (dif | hist) . . (+134) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 09:31 6 mar 2013 (dif | hist) . . (+410) . . Tema 2 (edición actual)
- 07:23 6 mar 2013 (dif | hist) . . (-4) . . Relación 3
- 22:03 5 mar 2013 (dif | hist) . . (-199) . . Tema 2
- 22:03 5 mar 2013 (dif | hist) . . (+200) . . Tema 2
- 14:32 5 mar 2013 (dif | hist) . . (-1434) . . Relación 3
- 11:58 5 mar 2013 (dif | hist) . . (-19 687) . . Relación 3 (Deshecha la edición 146 de Jalonso (disc.))
- 11:57 5 mar 2013 (dif | hist) . . (+19 687) . . Relación 3
- 20:26 4 mar 2013 (dif | hist) . . (+18) . . Tema 2
- 20:24 4 mar 2013 (dif | hist) . . (0) . . m Tema 2 (Protegió «Tema 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:24 4 mar 2013 (dif | hist) . . (+17 710) . . N Relación 3 (Página creada con '<source lang="isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* ----------------------------------------------------------------...')
- 20:23 4 mar 2013 (dif | hist) . . (0) . . m Rel 3 (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 20:23 4 mar 2013 (dif | hist) . . (+17 710) . . N Rel 3 (Página creada con '<source lang="isar"> header {* R3: Deducción natural proposicional *} theory R3 imports Main begin text {* ----------------------------------------------------------------...')
- 20:22 4 mar 2013 (dif | hist) . . (-10) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 19:29 4 mar 2013 (dif | hist) . . (+24 915) . . N Tema 2 (Página creada con '<source lang="isar"> header {* Tema 2: Deducción natural proposicional con Isabelle/HOL *} theory T2 imports Main begin text {* En esta sección se presentan los ejemplos ...')
- 19:25 4 mar 2013 (dif | hist) . . (+14) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 19:24 4 mar 2013 (dif | hist) . . (+200) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 17:53 20 feb 2013 (dif | hist) . . (+14 577) . . N Relación 2 (Página creada con '<source lang="haskell"> -- SintaxisSemanticaProp.hs -- Lógica proposicional: Sintaxis y semántica -- José A. Alonso Jiménez <jalonso@us,es> -- ------------------------------...')
- 17:52 20 feb 2013 (dif | hist) . . (0) . . N Archivo:Rel 2.hs (edición actual)
- 17:51 20 feb 2013 (dif | hist) . . (+158) . . Lógica matemática y fundamentos (→Relaciones de ejercicios con Haskell)
- 21:35 18 feb 2013 (dif | hist) . . (+157) . . N Problema 2 (Página creada con '== Enunciado == ¿Existe un conjunto S de tres fórmulas tal que de todos los subconjuntos de S sólo uno es inconsistente? == Soluciones colaborativas ==')
- 21:34 18 feb 2013 (dif | hist) . . (+66) . . Lógica matemática y fundamentos (→Problemas semanales)
- 21:33 18 feb 2013 (dif | hist) . . (-7) . . Problema 1 (→Enunciado)
- 21:31 18 feb 2013 (dif | hist) . . (+438) . . N Problema 1 (Página creada con '== Enunciado == Definir por recursión sobre fórmulas las siguientes funciones <ul> <li>nv(F) que calcula el número variables proposicionales que ocurren en la fórmula F. Por...')
- 21:26 18 feb 2013 (dif | hist) . . (+96) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 14:28 16 feb 2013 (dif | hist) . . (0) . . m Usuario:Mardelmun2 (Protegió «Usuario:Mardelmun2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 14:28 16 feb 2013 (dif | hist) . . (+32) . . N Usuario:Mardelmun2 (Página creada con 'María del Carmen Delgado Muñoz')
- 14:25 16 feb 2013 (dif | hist) . . (0) . . m Usuario:Irearagui (Protegió «Usuario:Irearagui» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 14:25 16 feb 2013 (dif | hist) . . (+18) . . N Usuario:Irearagui (Página creada con 'Irene Araujo Guijo')
- 14:23 16 feb 2013 (dif | hist) . . (0) . . m Usuario:Frasangil1 (Protegió «Usuario:Frasangil1» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 14:23 16 feb 2013 (dif | hist) . . (+25) . . N Usuario:Frasangil1 (Página creada con 'Francisco Javier Sanz Gil')
- 14:20 16 feb 2013 (dif | hist) . . (+19) . . N Usuario:Isaduatos (Página creada con 'Isabel Duarte Tosso') (edición actual)
- 14:18 16 feb 2013 (dif | hist) . . (0) . . m Usuario:Jeshorcob (Protegió «Usuario:Jeshorcob» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 14:18 16 feb 2013 (dif | hist) . . (+17) . . N Usuario:Jeshorcob (Página creada con 'Jesús Horno Cobo')
- 14:14 16 feb 2013 (dif | hist) . . (0) . . m Usuario:Mirnunolm (Protegió «Usuario:Mirnunolm» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 14:14 16 feb 2013 (dif | hist) . . (+26) . . N Usuario:Mirnunolm (Página creada con 'Miriam Núñez-Romero Olmo')
- 23:54 12 feb 2013 (dif | hist) . . (0) . . m Usuario:Jalonso (Protegió «Usuario:Jalonso» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 23:54 12 feb 2013 (dif | hist) . . (+46) . . N Usuario:Jalonso (Página creada con '[http://www.cs.us.es/~jalonso José A. Alonso]')
- 23:52 12 feb 2013 (dif | hist) . . (0) . . N Archivo:Rel 1.hs
- 23:52 12 feb 2013 (dif | hist) . . (0) . . m Lógica matemática y fundamentos (Protegió «Lógica matemática y fundamentos» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).