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

• 23:03 26 feb 2013 (dif | hist) . . (+1)‎ . . Tema 1: Deducción natural proposicional con Isabelle/HOL ‎
• 23:03 26 feb 2013 (dif | hist) . . (+24 428)‎ . . N Tema 1: Deducción natural proposicional con Isabelle/HOL ‎ (Página creada con '<source lang=isar"> header {* Tema 3: Deducción natural proposicional con Isabelle/HOL *} theory T3 imports Main begin text {* En esta sección se presentan los ejemplos d...')
• 23:02 26 feb 2013 (dif | hist) . . (+10 683)‎ . . N Tema 5: Razonamiento sobre programas ‎ (Página creada con '<source lang="isar"> header {* Tema 2: Razonamiento sobre programas *} theory T2 imports Main begin text {* En este tema se demuestra con Isabelle las propiedades de los ...')
• 23:01 26 feb 2013 (dif | hist) . . (+9056)‎ . . N Tema 4: 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 {* Esta notas son una introducci...')
• 21:31 26 feb 2013 (dif | hist) . . (+67)‎ . . DAO (Demostración asistida por ordenador) ‎ (→‎Material para el curso)
• 21:24 26 feb 2013 (dif | hist) . . (+2565)‎ . . 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 de la DAO == # J.A. Alonso...')
• 21:40 25 feb 2013 (dif | hist) . . (+5363)‎ . . N RA12 Relación 1 ‎ (Página creada con '<source lang="isar"> header {* Relación 1: Programación funcional en Isabelle *} theory Programacion_funcional_en_Isabelle imports Main begin text {* ----------------------...')
• 20:46 25 feb 2013 (dif | hist) . . (+713)‎ . . N Ejercicios RA2013 ‎ (Página creada con '== Ejercicios de ''Demostración asistida por ordenador'' == En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por l...')
• 20:42 25 feb 2013 (dif | hist) . . (+215)‎ . . N Temas ‎ (Página creada con '== Temas de ''Demostración asistida por ordenador'' == * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas. * [[Tema 3: Deducción nat...')
• 20:23 25 feb 2013 (dif | hist) . . (+366)‎ . . N DAO (Demostración asistida por ordenador) ‎ (Página creada con '== Demostración asistida por ordenador == Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/rese...')
• 20:20 25 feb 2013 (dif | hist) . . (+4)‎ . . MediaWiki:Sidebar ‎
• 20:18 25 feb 2013 (dif | hist) . . (+42)‎ . . N MediaWiki:Mainpage ‎ (Página creada con 'DAO (Demostración asistida por ordenador)') (edición actual)
• 20:17 25 feb 2013 (dif | hist) . . (+112)‎ . . N MediaWiki:Sidebar ‎ (Página creada con '* navigation ** mainpage|mainpage-descriptions ** recentchanges-url|recentchanges * SEARCH * TOOLBOX * LANGUAGES')

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