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:05 22 may 2013 (dif | hist) . . (-2) . . Lógica matemática y fundamentos
- 10:04 22 may 2013 (dif | hist) . . (+182) . . Lógica matemática y fundamentos
- 09:06 21 may 2013 (dif | hist) . . (+4085) . . N AplicacionesLP (Página creada con '<source lang = "haskell"> -- AplicacionesLP.hs -- Aplicaciones de la Lógica proposicional. -- --------------------------------------------------------------------- -- --------...')
- 09:06 21 may 2013 (dif | hist) . . (0) . . N Archivo:AplicacionesLP.hs (edición actual)
- 09:05 21 may 2013 (dif | hist) . . (+162) . . Lógica matemática y fundamentos
- 13:02 15 may 2013 (dif | hist) . . (+781) . . Relación 11
- 12:30 15 may 2013 (dif | hist) . . (-1) . . Ejercicio 4 (edición actual)
- 12:30 15 may 2013 (dif | hist) . . (-4) . . Ejercicio 4
- 12:29 15 may 2013 (dif | hist) . . (-5) . . Ejercicio 4
- 12:28 15 may 2013 (dif | hist) . . (+12) . . Ejercicio 4
- 12:27 15 may 2013 (dif | hist) . . (+1245) . . N Ejercicio 4 (Página creada con 'El cuarto ejercicio evaluable consiste una de las dos opciones que se ofrecen a continuación: 1.- Programación en Haskell de algunos de los refinamientos de resolución en l...')
- 12:26 15 may 2013 (dif | hist) . . (+86) . . Lógica matemática y fundamentos
- 11:05 2 may 2013 (dif | hist) . . (+6120) . . N Relación 11 (Página creada con '<source lang = "haskell"> -- ResolucionProposicional.hs -- Resolución proposicional. -- --------------------------------------------------------------------- module Resolucio...')
- 11:05 2 may 2013 (dif | hist) . . (+16 716) . . N Relación 10 (Página creada con '<source lang = "haskell"> -- Clausulas.hs -- Cláusulas. -- --------------------------------------------------------------------- module Clausulas where -- -------------------...')
- 11:03 2 may 2013 (dif | hist) . . (0) . . Archivo:FormasNormales.hs (subió una nueva versión de «Archivo:FormasNormales.hs») (edición actual)
- 11:03 2 may 2013 (dif | hist) . . (+9940) . . N Relación 9 (Página creada con '<source lang = "haskell"> -- FormasNormales.hs -- Formas normales. -- --------------------------------------------------------------------- module FormasNormales where -- ----...')
- 10:55 2 may 2013 (dif | hist) . . (0) . . N Archivo:ResolucionProposicional.hs (edición actual)
- 10:55 2 may 2013 (dif | hist) . . (0) . . N Archivo:Clausulas.hs (edición actual)
- 10:55 2 may 2013 (dif | hist) . . (0) . . N Archivo:FormasNormales.hs
- 10:54 2 may 2013 (dif | hist) . . (+452) . . Lógica matemática y fundamentos
- 12:44 26 abr 2013 (dif | hist) . . (+14 532) . . N E3 (Página creada con '<source lang = "isar"> header {* E3: Argumentación y Deducción natural en lógica de primer orden *} theory E3 imports Main begin text {* Ej. 1: Los perros lobos y los ter...') (edición actual)
- 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).