Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:33 26 abr 2013 (dif | hist) . . (+269) . . Lógica matemática y fundamentos
- 11:30 26 abr 2013 (dif | hist) . . (+1) . . Ejercicio 3
- 11:29 26 abr 2013 (dif | hist) . . (+151) . . Ejercicio 3
- 11:22 26 abr 2013 (dif | hist) . . (0) . . Ejercicio 3
- 11: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 ...')
- 11:17 26 abr 2013 (dif | hist) . . (+142) . . Lógica matemática y fundamentos
- 09: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> -- --------------------------------------...')
- 09:35 22 abr 2013 (dif | hist) . . (0) . . N Archivo:Rel 8.hs (edición actual)
- 09:34 22 abr 2013 (dif | hist) . . (+145) . . Lógica matemática y fundamentos
- 12:51 12 abr 2013 (dif | hist) . . (+6) . . Ejercicio 2
- 09:41 10 abr 2013 (dif | hist) . . (0) . . m T2 (Protegió «T2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 09:41 10 abr 2013 (dif | hist) . . (-865) . . T2
- 18:18 9 abr 2013 (dif | hist) . . (-7) . . Ejercicio 2
- 18: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)" "∀...')
- 18:15 9 abr 2013 (dif | hist) . . (+7) . . Ejercicio 2
- 18:06 9 abr 2013 (dif | hist) . . (-8) . . Ejercicio 2
- 17:53 9 abr 2013 (dif | hist) . . (+38) . . Ejercicio 2
- 17:52 9 abr 2013 (dif | hist) . . (+15) . . Ejercicio 2
- 17:51 9 abr 2013 (dif | hist) . . (+6) . . Ejercicio 2
- 17:51 9 abr 2013 (dif | hist) . . (-1) . . Ejercicio 2
- 17:50 9 abr 2013 (dif | hist) . . (+176) . . Ejercicio 2
- 17: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...')
- 11:40 9 abr 2013 (dif | hist) . . (-1) . . Lógica matemática y fundamentos
- 11:39 9 abr 2013 (dif | hist) . . (+235) . . Lógica matemática y fundamentos
- 10:45 6 mar 2013 (dif | hist) . . (+108) . . Relación 3
- 21:42 5 mar 2013 (dif | hist) . . (+1) . . Relación 3
- 00:09 13 feb 2013 (dif | hist) . . (0) . . Archivo:Rel 1.hs (subió una nueva versión de «Archivo:Rel 1.hs») (edición actual)
- 18:58 12 feb 2013 (dif | hist) . . (+4) . . Lógica matemática y fundamentos
- 18: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).