Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 23:57 23 nov 2012 (dif | hist) . . (+467) . . Documentación (→Visiones generales del DAO)
- 23:50 23 nov 2012 (dif | hist) . . (+3) . . Documentación (→Visiones generales del DAO)
- 23:49 23 nov 2012 (dif | hist) . . (+165) . . Documentación (→Visiones generales del DAO)
- 22:42 23 nov 2012 (dif | hist) . . (+19) . . Documentación (→Visiones generales del DAO)
- 22:41 23 nov 2012 (dif | hist) . . (+830) . . N Documentación (Página creada con 'En esta página se recogen en enlaces que sirven de documentación al seminario de demostración asistida por ordenador (DAO). == Visiones generales del DAO == * M. Davis. [ht...')
- 22:29 23 nov 2012 (dif | hist) . . (+45) . . DAO2012 (Demostración asistida por ordenador) (→Material para el curso) (edición actual)
- 17:03 23 nov 2012 (dif | hist) . . (-107) . . Tema 2: Isabelle como un lenguaje funcional (edición actual)
- 19:47 20 nov 2012 (dif | hist) . . (0) . . m Tema 6: Heurísticas para la inducción y recursión general (Protegió «Tema 6: Heurísticas para la inducción y recursión general» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19:47 20 nov 2012 (dif | hist) . . (0) . . m Tema 5: Patrones de demostración (Protegió «Tema 5: Patrones de demostración» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19:46 20 nov 2012 (dif | hist) . . (0) . . m Tema 4: Distinción de casos e inducción (Protegió «Tema 4: Distinción de casos e inducción» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19:46 20 nov 2012 (dif | hist) . . (0) . . m Tema 3: El lenguaje de demostracion Isar (Protegió «Tema 3: El lenguaje de demostracion Isar» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 19:46 20 nov 2012 (dif | hist) . . (0) . . m Tema 2: Isabelle como un lenguaje funcional (Protegió «Tema 2: Isabelle como un lenguaje funcional» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:45 20 nov 2012 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada])
- 19:44 20 nov 2012 (dif | hist) . . (0) . . m DAO2012 (Demostración asistida por ordenador) (Protegió «DAO2012 (Demostración asistida por ordenador)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:38 20 nov 2012 (dif | hist) . . (+9527) . . N Tema 6: Heurísticas para la inducción y recursión general (Página creada con '<source lang="isar"> header {* Tema 6: Heurísticas para la inducción y recursión general *} theory Tema_6 imports Main Tema_3 begin section {* Heurísticas para la inducc...')
- 19:36 20 nov 2012 (dif | hist) . . (+3478) . . N Tema 5: Patrones de demostración (Página creada con '<source lang="isar"> header {* Tema 5: Patrones de demostración *} theory Tema_5 imports Main begin section {* Demostraciones por casos *} text {* Nota. [Regla de elimin...')
- 19:35 20 nov 2012 (dif | hist) . . (-319) . . Tema 4: Distinción de casos e inducción
- 19:34 20 nov 2012 (dif | hist) . . (+11 130) . . N Tema 4: Distinción de casos e inducción (Página creada con '<source lang="isar"> header {* Tema 4: Distinción de casos e inducción *} theory Tema_4 imports Main Parity begin section {* Razonamiento por distinción de casos *} subsec...')
- 19:33 20 nov 2012 (dif | hist) . . (+12) . . Tema 3: El lenguaje de demostracion Isar
- 19:33 20 nov 2012 (dif | hist) . . (-15) . . Tema 3: El lenguaje de demostracion Isar
- 19:32 20 nov 2012 (dif | hist) . . (+12 227) . . N Tema 3: El lenguaje de demostracion Isar (Página creada con '<source lang="haskell"> header {* Tema 3: El lenguaje de demostración Isar *} theory Tema_3 imports Main begin text {* Este tema describe los elementos básicos del lenguaj...')
- 19:30 20 nov 2012 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 19:30 20 nov 2012 (dif | hist) . . (+209) . . Temas (→Temas de Demostración asistida por ordenador)
- 19:26 20 nov 2012 (dif | hist) . . (+9319) . . N Tema 2: Isabelle como un lenguaje funcional (Página creada con '<source lang="isar"> header {* Tema 2: Isabelle como un lenguaje funcional *} theory Tema_2 imports Main begin section {* Introducción *} text {* Esta notas son una introdu...')
- 19:22 20 nov 2012 (dif | hist) . . (+8) . . Temas (→Temas de Demostración asistida por ordenador)
- 19:21 20 nov 2012 (dif | hist) . . (+223) . . N Temas (Página creada con '== Temas de ''Demostración asistida por ordenador'' == * [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Panorama de la demostración asistida por ordenador]. * [[...')
- 18:35 20 nov 2012 (dif | hist) . . (-186) . . DAO2012 (Demostración asistida por ordenador) (→Material para el curso)
- 18:33 20 nov 2012 (dif | hist) . . (+792) . . N DAO2012 (Demostración asistida por ordenador) (Página creada con '== Demostración asistida por ordenador == Este seminario es una introducción a la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/...')
- 18:29 20 nov 2012 (dif | hist) . . (-1) . . MediaWiki:Mainpage (edición actual)
- 18:29 20 nov 2012 (dif | hist) . . (+116) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios * SEARCH * TOOLBOX * LANGUAGES') (edición actual)
- 18:26 20 nov 2012 (dif | hist) . . (+47) . . N MediaWiki:Mainpage (Página creada con 'DAO 2012 (Demostración asistida por ordenador)')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).