Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:51 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 16 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:49 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 20 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:49 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 23 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:47 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 18 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:47 15 jul 2018 (dif | hist) . . (+4) . . RA12 Relación 1 (edición actual)
- 13:47 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 3 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:47 15 jul 2018 (dif | hist) . . (+4) . . m GLC T1 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:30 15 jul 2018 (dif | hist) . . (+4) . . Tema 8: Conjuntos, funciones y relaciones (edición actual)
- 13:30 15 jul 2018 (dif | hist) . . (+4) . . Tema 7: Caso de estudio: Compilacion de expresiones (edición actual)
- 13:30 15 jul 2018 (dif | hist) . . (+4) . . Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL (edición actual)
- 13:29 15 jul 2018 (dif | hist) . . (+4) . . Tema 5: Razonamiento sobre programas (edición actual)
- 13:29 15 jul 2018 (dif | hist) . . (+4) . . Tema 4: Programación funcional en Isabelle (edición actual)
- 13:28 15 jul 2018 (dif | hist) . . (+4) . . Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica (edición actual)
- 13:28 15 jul 2018 (dif | hist) . . (+4) . . Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL (edición actual)
- 13:27 15 jul 2018 (dif | hist) . . (+4) . . Tema 1: Deducción natural proposicional con Isabelle/HOL (edición actual)
- 13:27 15 jul 2018 (dif | hist) . . (+35) . . DAO (Demostración asistida por ordenador) (edición actual)
- 13:26 15 jul 2018 (dif | hist) . . (-43) . . DAO (Demostración asistida por ordenador)
- 13:25 15 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)
- 09:19 12 feb 2014 (dif | hist) . . (0) . . Documentación (→Otros cursos)
- 09:18 12 feb 2014 (dif | hist) . . (+69) . . Documentación (→Otros cursos)
- 21:07 8 ene 2014 (dif | hist) . . (+4) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:06 8 ene 2014 (dif | hist) . . (0) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:05 8 ene 2014 (dif | hist) . . (+4) . . Documentación (→Referencias sobre Isabelle/HOL)
- 16:53 22 oct 2013 (dif | hist) . . (+4903) . . Ejercicios RA2013 (Deshecha la edición 147 de Jalonso (disc.))
- 16:51 22 oct 2013 (dif | hist) . . (-4903) . . Ejercicios RA2013 (Página reemplazada por '== Ejercicios de ''Razonamiento automático'' (2013-14) ==')
- 16:50 22 oct 2013 (dif | hist) . . (0) . . m Ejercicios RA2013 (Ejercicios trasladada a Ejercicios RA2013)
- 16:50 22 oct 2013 (dif | hist) . . (+35) . . N Ejercicios (Ejercicios trasladada a Ejercicios RA2013) (edición actual)
- 10:44 20 ago 2013 (dif | hist) . . (+245) . . Documentación (→Otros cursos)
- 10:41 20 ago 2013 (dif | hist) . . (+158) . . Documentación (→Otros cursos)
- 16:08 20 jun 2013 (dif | hist) . . (+1320) . . Documentación (→Artículos recientes)
- 09:07 20 jun 2013 (dif | hist) . . (+125) . . Temas (→Temas de Demostración asistida por ordenador) (edición actual)
- 08:19 6 jun 2013 (dif | hist) . . (+10 607) . . N RA12 Relación 23 (Página creada con '<source lang="isar"> header {* R23: Representación de fórmulas proposicionales mediante polinomios *} theory R23 imports Main begin text {* El objetivo de esta relaci...')
- 08:17 6 jun 2013 (dif | hist) . . (+13 447) . . N RA12 Relación 22 (Página creada con '<source lang="isar"> header {* R22: Diagramas de decisión binarios *} theory R22 imports Main begin text {* Las funciones booleanas se pueden representar mediante diagram...')
- 08:16 6 jun 2013 (dif | hist) . . (+435) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 07:59 6 jun 2013 (dif | hist) . . (+21 851) . . N Tema 8: Conjuntos, funciones y relaciones (Página creada con '<source lang="isar"> header {* Tema 8: Conjuntos, funciones y relaciones *} theory T8a imports Main begin section {* Conjuntos *} subsection {* Operaciones con conjuntos *} ...')
- 07:59 6 jun 2013 (dif | hist) . . (+49) . . Temas (→Temas de Demostración asistida por ordenador)
- 15:38 23 may 2013 (dif | hist) . . (+118) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 13:49 23 may 2013 (dif | hist) . . (+5095) . . N RA12 Relación 21 (Página creada con '<source lang="isar"> header {* R21: Árboles binarios completos *} theory R21 imports Main begin text {* ----------------------------------------------------------------...')
- 13:48 23 may 2013 (dif | hist) . . (+9090) . . N RA12 Relación 20 (Página creada con '<source lang="isar"> header {* R20: Plegados de listas y de árboles *} theory R20 imports Main begin section {* Nuevas funciones sobre listas *} text {* Nota. En esta r...')
- 13:47 23 may 2013 (dif | hist) . . (+7055) . . N RA12 Relación 19 (Página creada con '<source lang="isar"> header {* R19: Recorridos de árboles *} theory R19 imports Main begin text {* ---------------------------------------------------------------------...')
- 13:46 23 may 2013 (dif | hist) . . (+6360) . . N RA12 Relación 18 (Página creada con '<source lang="isar"> header {* R18: Ordenación de listas por mezcla *} theory R18 imports Main begin text {* En esta relación de ejercicios se define el algoritmo de orden...')
- 13:44 23 may 2013 (dif | hist) . . (+5516) . . N RA12 Relación 17 (Página creada con '<source lang="isar"> header {* R17: Ordenación de listas por inserción *} theory R17 imports Main begin text {* En esta relación de ejercicios se define el algoritmo de o...')
- 13:42 23 may 2013 (dif | hist) . . (+24) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 13:40 23 may 2013 (dif | hist) . . (+975) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 13:04 23 may 2013 (dif | hist) . . (+8306) . . N Tema 7: Caso de estudio: Compilacion de expresiones (Página creada con '<source lang="isar"> header {* Tema 7: Caso de estudio: Compilación de expresiones *} theory T7 imports Main begin text {* El objetivo de este tema es contruir un compilado...')
- 13:03 23 may 2013 (dif | hist) . . (+59) . . Temas (→Temas de Demostración asistida por ordenador)
- 22:51 15 may 2013 (dif | hist) . . (+2190) . . N RA12 Relación 16 (Página creada con '<source lang="isar"> header {* R16: Conjuntos mediante listas *} theory R16 imports Main begin text {* Los conjuntos finitos se pueden representar mediante listas. En est...')
- 22:49 15 may 2013 (dif | hist) . . (+4720) . . N RA12 Relación 15 (Página creada con '<source lang="isar"> header {* R15: Suma y aplanamiento de listas *} theory R15 imports Main R10 begin section {* Suma y aplanamiento de listas *} text {* --------------...')
- 22:48 15 may 2013 (dif | hist) . . (+394) . . Ejercicios RA2013
- 11:20 2 may 2013 (dif | hist) . . (+4170) . . N RA12 Relación 14 (Página creada con '<source lang="isar"> header {* R14: Contador de occurrencias *} theory R14 imports Main begin text {* --------------------------------------------------------------------- ...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).