Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 16:26 24 ene 2022 (dif | hist) . . (-84) . . Lógica matemática y fundamentos (→Relaciones de ejercicios) (edición actual)
- 08:34 16 jul 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
- 17:01 18 mar 2014 (dif | hist) . . (+11) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 16:59 18 mar 2014 (dif | hist) . . (-489) . . Lógica matemática y fundamentos
- 10:58 11 feb 2014 (dif | hist) . . (+9) . . Lógica matemática y fundamentos
- 10:57 11 feb 2014 (dif | hist) . . (+2) . . N Relación 1 (Página creada con 'pp') (edición actual)
- 06:33 18 sep 2013 (dif | hist) . . (0) . . Lógica matemática y fundamentos (→Ejercicios evaluables)
- 19:59 9 abr 2013 (dif | hist) . . (0) . . m Rel 7 (Protegió «Rel 7» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19:58 9 abr 2013 (dif | hist) . . (+13 818) . . N Relación 7 (Página creada con '<source lang="Isar"> header {* R7: Deducción natural en lógica de primer orden con Isabelle/HOL *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes...')
- 19:58 9 abr 2013 (dif | hist) . . (+13 818) . . N Rel 7 (Página creada con '<source lang="Isar"> header {* R7: Deducción natural en lógica de primer orden con Isabelle/HOL *} theory R7 imports Main begin text {* Demostrar o refutar los siguientes...')
- 19:57 9 abr 2013 (dif | hist) . . (+145) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 16:58 9 abr 2013 (dif | hist) . . (0) . . Ejercicio 2 (→Enunciado)
- 16:48 1 abr 2013 (dif | hist) . . (-2783) . . Tema 8 (edición actual)
- 16:47 1 abr 2013 (dif | hist) . . (+18 830) . . N Tema 8 (Página creada con '<source lang="Isar"> header {* Tema 8: Deducción natural en lógica de primer orden *} theory Tema8 imports Main begin text {* El objetivo de este tema es presentar la ded...')
- 16:46 1 abr 2013 (dif | hist) . . (+104) . . Lógica matemática y fundamentos (→Teorías Isabelle/HOL de los temas de deducción natural)
- 06:50 19 mar 2013 (dif | hist) . . (+23 653) . . N Relación 6 (Página creada con '<source lang="isar"> text {* --------------------------------------------------------------------- El objetivo de esta relación es formalizar en lógica de primer orden ...')
- 06:49 19 mar 2013 (dif | hist) . . (0) . . m Rel 6 (Protegió «Rel 6» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 06:49 19 mar 2013 (dif | hist) . . (-288) . . Rel 6
- 06:49 19 mar 2013 (dif | hist) . . (-138) . . Rel 6
- 06: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 ...')
- 06: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 {* --------------------------------------------------------------------- ...')
- 06:31 19 mar 2013 (dif | hist) . . (-4) . . Rel 5 (edición actual)
- 06:30 19 mar 2013 (dif | hist) . . (0) . . m Rel 5 (Protegió «Rel 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 06: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 {* ------------------------------------------------------------------...')
- 06:27 19 mar 2013 (dif | hist) . . (+325) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 19:21 18 mar 2013 (dif | hist) . . (0) . . m Rel 4 (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19: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 {* --------------------------------------------------------------------...')
- 19: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 {* --------------------------------------------------------------------...')
- 19:19 18 mar 2013 (dif | hist) . . (+134) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 08:31 6 mar 2013 (dif | hist) . . (+410) . . Tema 2 (edición actual)
- 06:23 6 mar 2013 (dif | hist) . . (-4) . . Relación 3
- 21:03 5 mar 2013 (dif | hist) . . (-199) . . Tema 2
- 21:03 5 mar 2013 (dif | hist) . . (+200) . . Tema 2
- 13:32 5 mar 2013 (dif | hist) . . (-1434) . . Relación 3
- 10:58 5 mar 2013 (dif | hist) . . (-19 687) . . Relación 3 (Deshecha la edición 146 de Jalonso (disc.))
- 10:57 5 mar 2013 (dif | hist) . . (+19 687) . . Relación 3
- 19:26 4 mar 2013 (dif | hist) . . (+18) . . Tema 2
- 19:24 4 mar 2013 (dif | hist) . . (0) . . m Tema 2 (Protegió «Tema 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19: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 {* ----------------------------------------------------------------...')
- 19:23 4 mar 2013 (dif | hist) . . (0) . . m Rel 3 (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19: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 {* ----------------------------------------------------------------...')
- 19:22 4 mar 2013 (dif | hist) . . (-10) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 18: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 ...')
- 18:25 4 mar 2013 (dif | hist) . . (+14) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 18:24 4 mar 2013 (dif | hist) . . (+200) . . Lógica matemática y fundamentos (→Relaciones de ejercicios)
- 16: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> -- ------------------------------...')
- 16:52 20 feb 2013 (dif | hist) . . (0) . . N Archivo:Rel 2.hs (edición actual)
- 16:51 20 feb 2013 (dif | hist) . . (+158) . . Lógica matemática y fundamentos (→Relaciones de ejercicios con Haskell)
- 20: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 ==')
- 20:34 18 feb 2013 (dif | hist) . . (+66) . . Lógica matemática y fundamentos (→Problemas semanales)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).