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:39 5 mar 2014 (dif | hist) . . (-41) . . Lógica matemática y fundamentos
- 10:17 5 mar 2014 (dif | hist) . . (0) . . Lógica matemática y fundamentos
- 13:22 10 jun 2013 (dif | hist) . . (0) . . Ejercicio 5 (edición actual)
- 09:45 6 jun 2013 (dif | hist) . . (+121) . . Ejercicio 5
- 10:02 5 jun 2013 (dif | hist) . . (0) . . N Archivo:Expresiones If p.thy (edición actual)
- 10:02 5 jun 2013 (dif | hist) . . (0) . . N Archivo:Expresiones If p.hs (edición actual)
- 10:01 5 jun 2013 (dif | hist) . . (+595) . . N Ejercicio 5 (Página creada con '== Enunciado == El quinto ejercicio evaluable consiste en realizar dos casos de estudio, las expresiones booleanas y las expresiones condicionales. Concretamente: * Especificac...')
- 09:48 5 jun 2013 (dif | hist) . . (+106) . . Lógica matemática y fundamentos
- 11:32 29 may 2013 (dif | hist) . . (+5060) . . N Relación 14 (Página creada con '<source lang = "Isar"> header {* R14: Razonamiento sobre programas en Isabelle/HOL *} theory R14 imports Main begin text {* ------------------------------------------------...')
- 11:31 29 may 2013 (dif | hist) . . (0) . . N Archivo:R14.thy (edición actual)
- 11:31 29 may 2013 (dif | hist) . . (+144) . . Lógica matemática y fundamentos
- 09:10 27 may 2013 (dif | hist) . . (+15 075) . . Tema 15 (edición actual)
- 09:06 27 may 2013 (dif | hist) . . (0) . . N Archivo:T15.thy (edición actual)
- 09:06 27 may 2013 (dif | hist) . . (0) . . Archivo:R13.thy (subió una nueva versión de «Archivo:R13.thy») (edición actual)
- 09:06 27 may 2013 (dif | hist) . . (0) . . N Archivo:R13.thy
- 13:52 22 may 2013 (dif | hist) . . (0) . . N Archivo:T14.thy (edición actual)
- 10:21 22 may 2013 (dif | hist) . . (-15 076) . . Tema 15 (Página blanqueada)
- 10:20 22 may 2013 (dif | hist) . . (+5222) . . N Relación 13 (Página creada con '<source lang = "Isar"> header {* R13: Programación funcional en Isabelle *} theory R13 imports Main begin text {* ------------------------------------------------------------...')
- 10:19 22 may 2013 (dif | hist) . . (+138) . . Lógica matemática y fundamentos
- 10:13 22 may 2013 (dif | hist) . . (-35) . . Lógica matemática y fundamentos
- 10:13 22 may 2013 (dif | hist) . . (+2) . . Tema 15
- 10:12 22 may 2013 (dif | hist) . . (+15 074) . . N Tema 15 (Página creada con '<source lang = Isar"> header {* Tema 15: Razonamiento sobre programas en Isabelle *} theory T15 imports Main begin text {* En este tema se demuestra con Isabelle las propie...')
- 10:11 22 may 2013 (dif | hist) . . (+1) . . Lógica matemática y fundamentos
- 10:11 22 may 2013 (dif | hist) . . (+28) . . Lógica matemática y fundamentos
- 10:10 22 may 2013 (dif | hist) . . (-3) . . Tema 14 (edición actual)
- 10:09 22 may 2013 (dif | hist) . . (-212) . . Tema 14
- 10:09 22 may 2013 (dif | hist) . . (+9219) . . N Tema 14 (Página creada con '<source lang = "isar"> header {* Tema 14: Programación funcional en Isabelle *} theory T14 imports Main begin section {* Introducción *} text {* En este tema se pres...')
- 10:06 22 may 2013 (dif | hist) . . (-2) . . Lógica matemática y fundamentos
- 10:06 22 may 2013 (dif | hist) . . (+1) . . Lógica matemática y fundamentos
- 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)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).