Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:28 5 ene 2016 (dif | hist) . . (+10) . . Temas
- 13:27 5 ene 2016 (dif | hist) . . (-5260) . . Tema 13: Expresiones aritméticas. (Página reemplazada por '<source lang = "isar"> </source>')
- 13:24 5 ene 2016 (dif | hist) . . (+5295) . . N Tema 13: Expresiones aritméticas. (Página creada con '<source lang = "isar"> header "Expresiones aritméticas" theory AExp_b imports Main begin subsection "Expresiones aritméticas" text{* En primer lugar, definimos los tipos pa...')
- 13:23 5 ene 2016 (dif | hist) . . (+214) . . Temas LCyTM 2015
- 20:59 18 nov 2015 (dif | hist) . . (+1811) . . N Rel 7 (Página creada con '<source lang ="isar"> header {* R7: Definiciones inductivas: clausuras *} theory R7 imports Main begin text {* ------------------------------------------------------------...') (edición actual)
- 20:59 18 nov 2015 (dif | hist) . . (+7068) . . N Rel 6 (Página creada con '<source lang = "isar"> header {* R6: Recorridos de árboles *} theory R6 imports Main begin text {* ---------------------------------------------------------------------...')
- 20:58 18 nov 2015 (dif | hist) . . (+10 745) . . N Rel 5 (Página creada con '<source lang = "isar"> header {* R5: Cuantificadores sobre listas *} theory R5 imports Main begin text {* -----------------------------------------------------------------...')
- 20:57 18 nov 2015 (dif | hist) . . (+5031) . . N Rel 4 (Página creada con '<source lang = "isar"> header {* R4: Razonamiento sobre programas en Isabelle/HOL *} theory R4 imports Main begin text {* ----------------------------------------------------...')
- 20:56 18 nov 2015 (dif | hist) . . (+13 906) . . N Rel 2 (Página creada con '<source lang = "isar"> header {* R2: Deducción natural de primer orden *} theory R2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...') (edición actual)
- 20:55 18 nov 2015 (dif | hist) . . (+17 713) . . N Rel 1 (Página creada con '<source lang ="isar"> header {* R1: Deducción natural proposicional *} theory Rel_1 imports Main begin text {* ------------------------------------------------------------...') (edición actual)
- 20:54 18 nov 2015 (dif | hist) . . (0) . . Ejercicios
- 20:53 18 nov 2015 (dif | hist) . . (+89) . . Ejercicios
- 20:52 18 nov 2015 (dif | hist) . . (-5) . . Ejercicios
- 20:52 18 nov 2015 (dif | hist) . . (+198) . . Ejercicios
- 20:48 18 nov 2015 (dif | hist) . . (+5730) . . N Rel 3 (Página creada con '<source lang = "isar"> header {* R3 Programación funcional en Isabelle *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 20:47 18 nov 2015 (dif | hist) . . (+61) . . Ejercicios
- 20:40 18 nov 2015 (dif | hist) . . (+8) . . Ejercicios
- 11:25 3 jun 2015 (dif | hist) . . (-956) . . Tema 15(c): interpretaciones locales.
- 09:06 25 may 2015 (dif | hist) . . (+1103) . . N Tema 15(a): sustitución de parámetros. (Página creada con '<source lang = "isar"> header {* T15a Interpretaciones de teorías: sustitución de parámetros *} theory T15a imports T14 begin text {* Los entornos locales se pueden interp...')
- 09:05 25 may 2015 (dif | hist) . . (+1130) . . N Tema 15(b): sustitución de definiciones. (Página creada con '<source lang = "isar"> header {* T15 (b) Interpretaciones de teorías: sustitución de definiciones *} theory T15b imports T14 begin text {* En la interpret...')
- 09:04 25 may 2015 (dif | hist) . . (+5151) . . N Tema 15(c): interpretaciones locales. (Página creada con '<source lang = "isar"> header {* T15 (c) Interpretaciones locales *} theory T15c imports T14 begin text {* En en ejemplo anterior, para probar el segundo objetivo, se usó de...')
- 09:03 25 may 2015 (dif | hist) . . (+101) . . Temas
- 09:02 25 may 2015 (dif | hist) . . (+5152) . . N Tema 15(c) (Página creada con '<source lang = "isar"> header {* T15 (c) Interpretaciones locales *} theory T15c imports T14 begin text {* En en ejemplo anterior, para probar el segundo objetivo, se usó de...') (edición actual)
- 09:01 25 may 2015 (dif | hist) . . (+1129) . . N Tema 15(b) (Página creada con '<source lang = "isar"> header {* T15 (b) Interpretaciones de teorías: sustitución de definiciones *} theory T15b imports T14 begin text {* En la interpreta...') (edición actual)
- 09:00 25 may 2015 (dif | hist) . . (+1101) . . N Tema 15(a) (Página creada con '<source lang = "isar"> header {* T15a Interpretaciones de teorías: sustitución de parámetros *} theory T15a imports T14 begin text {* Los entornos locales se pueden interpr...') (edición actual)
- 08:59 25 may 2015 (dif | hist) . . (+20 331) . . N Tema 14: Razonamiento modular (II): Órdenes y retículos. (Página creada con '<source lang = "isar"> header {* T14: Razonamiento modular (II) *} theory T14 imports Main begin section {* Contextos simples *} text {* La forma más simple de un contexto...')
- 08:57 25 may 2015 (dif | hist) . . (+100) . . Temas
- 08:56 25 may 2015 (dif | hist) . . (+39) . . Temas
- 08:55 25 may 2015 (dif | hist) . . (+206) . . Temas
- 11:12 17 may 2015 (dif | hist) . . (0) . . Tema 13: Razonamiento modular (I): Teoría de grupos.
- 11:11 17 may 2015 (dif | hist) . . (+7074) . . N Tema 13: Razonamiento modular (I): Teoría de grupos. (Página creada con '<source lang = "isar"> header {* T13: Razonamiento modular (I). La teoría de grupos *} theory T13 imports Main begin text {* El objetivo de este tema es mostrar cómo se pu...')
- 11:10 17 may 2015 (dif | hist) . . (+52) . . Temas
- 18:23 3 may 2015 (dif | hist) . . (+4239) . . N Relación 8 (Página creada con '<source lang = "isar"> header {* Definiciones inductivas: Gramáticas libres de contexto *} theory R8 imports Main begin text {* En esta relación se definen dos gramáticas...') (edición actual)
- 18:22 3 may 2015 (dif | hist) . . (+4239) . . N R8 (Página creada con '<source lang = "isar"> header {* Definiciones inductivas: Gramáticas libres de contexto *} theory R8 imports Main begin text {* En esta relación se definen dos gramáticas...') (edición actual)
- 18:21 3 may 2015 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:21 3 may 2015 (dif | hist) . . (0) . . Ejercicios
- 18:21 3 may 2015 (dif | hist) . . (+1811) . . N Relación 7 (Página creada con '<source lang = "isar"> header {* R7: Definiciones inductivas: clausuras *} theory R7 imports Main begin text {* -----------------------------------------------------------...') (edición actual)
- 18:21 3 may 2015 (dif | hist) . . (+1811) . . N R7 (Página creada con '<source lang = "isar"> header {* R7: Definiciones inductivas: clausuras *} theory R7 imports Main begin text {* -----------------------------------------------------------...')
- 18:19 3 may 2015 (dif | hist) . . (+393) . . Ejercicios
- 18:16 3 may 2015 (dif | hist) . . (+34) . . Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva.
- 18:15 3 may 2015 (dif | hist) . . (+17 623) . . N Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva. (Página creada con ' header {* Tema 12: Definiciones inductivas *} theory T12 imports Main begin section {* El conjunto de los números pares *} text {* · El conjunto de los números pares s...')
- 18:14 3 may 2015 (dif | hist) . . (+1) . . Temas
- 18:14 3 may 2015 (dif | hist) . . (+37) . . Temas
- 12:20 13 abr 2015 (dif | hist) . . (-6) . . Trabajos (→Trabajos propuestos) (edición actual)
- 12:19 13 abr 2015 (dif | hist) . . (+10 381) . . N T1 3 (Página creada con '<source lang = "isar"> header {* Verificación de la ordenación rápida *} theory Ordenacion_rapida imports Main begin text {* -----------------------------------------------...') (edición actual)
- 12:18 13 abr 2015 (dif | hist) . . (+6861) . . N T1 2 (Página creada con '<source lang = "isar"> header {* Verificación de la ordenación por mezcla *} theory Ordenacion_por_mezclas imports Main begin text {* ---------------------------------------...') (edición actual)
- 12:18 13 abr 2015 (dif | hist) . . (+6103) . . N T1 1 (Página creada con '<source lang = "isar"> header {* Verificación de la ordenación por inserción *} theory Ordenacion_por_insercion imports Main begin text {* ---------------------------------...') (edición actual)
- 12:17 13 abr 2015 (dif | hist) . . (+6) . . Trabajos
- 12:16 13 abr 2015 (dif | hist) . . (+335) . . Trabajos (→Trabajos propuestos)
- 12:15 13 abr 2015 (dif | hist) . . (+281) . . N Trabajos (Página creada con '== Trabajos propuestos == En esta sección se publicarán los trabajos propuestos en la asignatura. * [http://www.cs.us.es/~mjoseh/dat-15/Ordenacion_por_insercion.thy '''T1_1...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).