Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 10:33 26 abr 2013 (dif | hist) . . (+269) . . Lógica matemática y fundamentos
- 10:30 26 abr 2013 (dif | hist) . . (+1) . . Ejercicio 3
- 10:29 26 abr 2013 (dif | hist) . . (+151) . . Ejercicio 3
- 10:22 26 abr 2013 (dif | hist) . . (0) . . Ejercicio 3
- 10:22 26 abr 2013 (dif | hist) . . (+1191) . . N Ejercicio 3 (Página creada con '== Enunciado == El tercer ejercicio evaluable consiste en la realización de un ejercicio de argumentación en lógica de primer orden, haciendo la demostración por deducción ...')
- 10:17 26 abr 2013 (dif | hist) . . (+142) . . Lógica matemática y fundamentos
- 08:38 22 abr 2013 (dif | hist) . . (+9390) . . N Relación 8 (Página creada con '<source lang="haskell"> -- TablerosSemánticos.hs -- Tableros semánticos proposicionales. -- José A. Alonso Jiménez <jalonso@us,es> -- --------------------------------------...')
- 08:35 22 abr 2013 (dif | hist) . . (0) . . N Archivo:Rel 8.hs (edición actual)
- 08:34 22 abr 2013 (dif | hist) . . (+145) . . Lógica matemática y fundamentos
- 11:51 12 abr 2013 (dif | hist) . . (+6) . . Ejercicio 2
- 08:41 10 abr 2013 (dif | hist) . . (0) . . m T2 (Protegió «T2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 08:41 10 abr 2013 (dif | hist) . . (-865) . . T2
- 17:18 9 abr 2013 (dif | hist) . . (-7) . . Ejercicio 2
- 17:17 9 abr 2013 (dif | hist) . . (+5254) . . N T2 (Página creada con '<source lang ="isar"> header {* T2: Deducción natural en lógica de primer orden *} theory T2 imports Main begin lemma ej_1: assumes "∀x. P(x) ⟶ Q(x)" "∀...')
- 17:15 9 abr 2013 (dif | hist) . . (+7) . . Ejercicio 2
- 17:06 9 abr 2013 (dif | hist) . . (-8) . . Ejercicio 2
- 16:53 9 abr 2013 (dif | hist) . . (+38) . . Ejercicio 2
- 16:52 9 abr 2013 (dif | hist) . . (+15) . . Ejercicio 2
- 16:51 9 abr 2013 (dif | hist) . . (+6) . . Ejercicio 2
- 16:51 9 abr 2013 (dif | hist) . . (-1) . . Ejercicio 2
- 16:50 9 abr 2013 (dif | hist) . . (+176) . . Ejercicio 2
- 16:45 9 abr 2013 (dif | hist) . . (+982) . . N Ejercicio 2 (Página creada con '== Enunciado == El segundo ejercicio evaluable consiste en la realización de una demostración por deducción natural en la Lógica de primer orden, con Isabelle/HOl. Para ello...')
- 10:40 9 abr 2013 (dif | hist) . . (-1) . . Lógica matemática y fundamentos
- 10:39 9 abr 2013 (dif | hist) . . (+235) . . Lógica matemática y fundamentos
- 09:45 6 mar 2013 (dif | hist) . . (+108) . . Relación 3
- 20:42 5 mar 2013 (dif | hist) . . (+1) . . Relación 3
- 23:09 12 feb 2013 (dif | hist) . . (0) . . Archivo:Rel 1.hs (subió una nueva versión de «Archivo:Rel 1.hs») (edición actual)
- 17:58 12 feb 2013 (dif | hist) . . (+4) . . Lógica matemática y fundamentos
- 17:57 12 feb 2013 (dif | hist) . . (+212) . . Lógica matemática y fundamentos
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).