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).