Acciones

Especial

Contribuciones del usuario

Para Jalonso (discusión | registro de bloqueos | subidas | registros)
Buscar contribuciones
 
 
      
 
   

(últimas | primeras) Ver ( | 50 anteriores) (20 | 50 | 100 | 250 | 500).

  • 08:22 22 nov 2014 (dif | hist) . . (+7084)‎ . . N R6 ‎ (Página creada con '<source lang="isar"> header {* R6: Sustitución, inversión y eliminación *} theory R6_Sustitucion_inversion_y_eliminacion imports Main begin text {* Nota: En esta relaci...')
  • 08:18 22 nov 2014 (dif | hist) . . (0)‎ . . Ejercicios ‎ (→‎Relaciones de ejercicios propuestos)
  • 14:25 14 nov 2014 (dif | hist) . . (+10 743)‎ . . N Relación 5 ‎ (Página creada con '<source lang="isar"> header {* R5: Cuantificadores sobre listas *} theory R5 imports Main begin text {* -------------------------------------------------------------------...')
  • 14:24 14 nov 2014 (dif | hist) . . (0)‎ . . m R5 ‎ (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
  • 14:24 14 nov 2014 (dif | hist) . . (+10 743)‎ . . N R5 ‎ (Página creada con '<source lang="isar"> header {* R5: Cuantificadores sobre listas *} theory R5 imports Main begin text {* -------------------------------------------------------------------...')
  • 14:23 14 nov 2014 (dif | hist) . . (+1769)‎ . . N Relación 4 ‎ (Página creada con '<source lang="isar"> header {* R4: Cons inverso *} theory R4 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1...')
  • 14:23 14 nov 2014 (dif | hist) . . (0)‎ . . m R4 ‎ (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
  • 14:23 14 nov 2014 (dif | hist) . . (+1769)‎ . . N R4 ‎ (Página creada con '<source lang="isar"> header {* R4: Cons inverso *} theory R4 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1...')
  • 14:22 14 nov 2014 (dif | hist) . . (0)‎ . . Ejercicios ‎ (→‎Relaciones de ejercicios propuestos)
  • 14:22 13 nov 2014 (dif | hist) . . (-122)‎ . . Relación 3 ‎
  • 13:37 13 nov 2014 (dif | hist) . . (+25 191)‎ . . N Tema 4: Razonamiento por casos y por inducción ‎ (Página creada con '<source lang="isar"> header {* Tema 4: Razonamiento por casos y por inducción *} theory T4 imports Main Parity begin text {* En este tema se amplían los métodos de demost...')
  • 13:36 13 nov 2014 (dif | hist) . . (+4)‎ . . Temas ‎ (→‎Temas de Razonamiento automático (2014-15))
  • 07:45 6 nov 2014 (dif | hist) . . (+43)‎ . . Relación 1 ‎
  • 07:40 6 nov 2014 (dif | hist) . . (+905)‎ . . Relación 1 ‎
  • 06:46 6 nov 2014 (dif | hist) . . (+5028)‎ . . N Relación 3 ‎ (Página creada con '<source lang="isar"> header {* R3: Razonamiento sobre programas en Isabelle/HOL *} theory R3 imports Main begin text {* ------------------------------------------------------...')
  • 06:46 6 nov 2014 (dif | hist) . . (0)‎ . . m R3 ‎ (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
  • 06:46 6 nov 2014 (dif | hist) . . (+5028)‎ . . N R3 ‎ (Página creada con '<source lang="isar"> header {* R3: Razonamiento sobre programas en Isabelle/HOL *} theory R3 imports Main begin text {* ------------------------------------------------------...')
  • 06:45 6 nov 2014 (dif | hist) . . (+5028)‎ . . N Relación 2 ‎ (Página creada con '<source lang="isar"> header {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2 imports Main begin text {* ------------------------------------------------------...')
  • 06:45 6 nov 2014 (dif | hist) . . (0)‎ . . m R2 ‎ (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
  • 06:45 6 nov 2014 (dif | hist) . . (+5028)‎ . . N R2 ‎ (Página creada con '<source lang="isar"> header {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2 imports Main begin text {* ------------------------------------------------------...')
  • 06:44 6 nov 2014 (dif | hist) . . (0)‎ . . Ejercicios ‎ (→‎Relaciones de ejercicios propuestos)
  • 06:41 6 nov 2014 (dif | hist) . . (+22 981)‎ . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL ‎ (Página creada con '<source lang="isar"> header {* Tema 3: Razonamiento sobre programas *} theory T3_Razonamiento_sobre_programas imports Main begin text {* En este tema se demuestra con Isab...')
  • 06:40 6 nov 2014 (dif | hist) . . (+4)‎ . . Temas ‎ (→‎Temas de Razonamiento automático (2014-15))
  • 06:39 6 nov 2014 (dif | hist) . . (+12 565)‎ . . N Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL ‎ (Página creada con '<source lang="isar"> header {* Tema 2: Razonamiento automático sobre programas en Isabelle/HOL *} theory T2_Razonamiento_sobre_programas imports Main begin text {* En est...')
  • 06:38 6 nov 2014 (dif | hist) . . (+113)‎ . . Temas ‎ (→‎Temas de Razonamiento automático (2014-15))
  • 08:48 4 nov 2014 (dif | hist) . . (-35)‎ . . Tema 1: Programación funcional en Isabelle ‎
  • 14:50 30 oct 2014 (dif | hist) . . (+102)‎ . . Tema 1: Programación funcional en Isabelle ‎
  • 13:21 30 oct 2014 (dif | hist) . . (+5729)‎ . . N Relación 1 ‎ (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
  • 13:21 30 oct 2014 (dif | hist) . . (0)‎ . . m R1 ‎ (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
  • 13:20 30 oct 2014 (dif | hist) . . (+5729)‎ . . N R1 ‎ (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
  • 13:20 30 oct 2014 (dif | hist) . . (0)‎ . . Ejercicios ‎ (→‎Relaciones de ejercicios propuestos)
  • 13:19 30 oct 2014 (dif | hist) . . (+8148)‎ . . N Tema 1: Programación funcional en Isabelle ‎ (Página creada con '<source lang="isar"> header {* Tema 1: Programación funcional en Isabelle *} theory T1 imports Main begin section {* Introducción *} text {* En este tema se presenta el...')
  • 13:18 30 oct 2014 (dif | hist) . . (+2)‎ . . Temas ‎ (→‎Temas de Razonamiento automático (2014-15))
  • 13:18 30 oct 2014 (dif | hist) . . (+2)‎ . . Temas ‎ (→‎Temas de Razonamiento automático (2014-15))
  • 13:17 30 oct 2014 (dif | hist) . . (0)‎ . . Temas ‎ (→‎Temas de Razonamiento automático (2014-14))
  • 07:08 24 oct 2014 (dif | hist) . . (+214)‎ . . N Sistemas ‎ (Página creada con '== Sistemas utilizados en ''Razonamiento automático (2014-15)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk...') (edición actual)
  • 07:49 23 oct 2014 (dif | hist) . . (+20 234)‎ . . N Documentación ‎ (Página creada con 'En esta página se recogen en enlaces que sirven de documentación al curso de demostración asistida por ordenador (DAO). == Visiones generales de la DAO == # J.A. Alonso. [h...')
  • 07:45 23 oct 2014 (dif | hist) . . (+1777)‎ . . N Ejercicios ‎ (Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios propuestos === En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma co...')
  • 07:42 23 oct 2014 (dif | hist) . . (+596)‎ . . N Temas ‎ (Página creada con '== Temas de ''Razonamiento automático (2014-14)'' == * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento automático sobre programas en Isabelle/HOL. * Tema 3...')

(últimas | primeras) Ver ( | 50 anteriores) (20 | 50 | 100 | 250 | 500).

Obtenido de «https://www.glc.us.es/~jalonso/RA2014/index.php/Especial:Contribuciones/Jalonso»