Contribuciones del usuario
- 21:29 4 dic 2019 difs. hist. 0 Temas
- 07:49 28 nov 2019 difs. hist. 0 m R4 Protegió «R4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 07:48 28 nov 2019 difs. hist. +7401 N R4 Página creada con «<source lang=isabelle> chapter ‹R4: Cuantificadores sobre listas› theory R4_Cuantificadores_sobre_listas imports Main begin text ‹ ------------------------------…»
- 07:47 28 nov 2019 difs. hist. −1 Ejercicios
- 21:52 27 nov 2019 difs. hist. +13 366 N Tema 4: Razonamiento por casos y por inducción Página creada con «<source lang="isabelle"> chapter ‹Tema 4: Razonamiento por casos y por inducción› theory T4_Razonamiento_por_casos_y_por_induccion imports Main HOL.Parity begin text…» última
- 21:51 27 nov 2019 difs. hist. 0 Temas
- 15:25 21 nov 2019 difs. hist. +596 Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL última
- 14:48 21 nov 2019 difs. hist. 0 Ejercicios
- 21:21 14 nov 2019 difs. hist. +1 Ejercicios
- 16:20 14 nov 2019 difs. hist. −43 Tema 2b: Razonamiento sobre programas con Isabelle/HOL última
- 16:17 14 nov 2019 difs. hist. 0 m R3 Protegió «R3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 16:17 14 nov 2019 difs. hist. +5260 N R3 Página creada con «<source lang="isabelle"> chapter ‹R3: Razonamiento estructurado sobre programas› theory R3_Razonamiento_estructurado_sobre_programas imports Main begin text ‹-----…»
- 16:16 14 nov 2019 difs. hist. 0 Ejercicios
- 14:41 14 nov 2019 difs. hist. +27 375 N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL Página creada con «<source lang="isabelle"> chapter ‹Tema 3: Razonamiento estructurado sobre programas› theory T3_Razonamiento_estructurado_sobre_programas imports Main begin text ‹E…»
- 14:40 14 nov 2019 difs. hist. 0 Temas
- 12:52 7 nov 2019 difs. hist. +92 Ejercicios
- 12:49 7 nov 2019 difs. hist. 0 m R2 Protegió «R2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 12:49 7 nov 2019 difs. hist. +4409 N R2 Página creada con «<source lang="isabelle"> chapter ‹R2: Razonamiento sobre programas en Isabelle/HOL› theory R2_Razonamiento_sobre_programas imports Main begin declare names_short…»
- 12:48 7 nov 2019 difs. hist. −11 Ejercicios
- 12:16 7 nov 2019 difs. hist. +20 354 N Tema 2b: Razonamiento sobre programas con Isabelle/HOL Página creada con «<source lang="isabelle"> chapter ‹Tema 2: Razonamiento sobre programas› theory T2_Razonamiento_sobre_programas imports Main begin text ‹En este tema se demuestra c…»
- 12:13 7 nov 2019 difs. hist. −11 Temas
- 17:12 31 oct 2019 difs. hist. +192 Documentación →Programación funcional
- 17:11 31 oct 2019 difs. hist. +3 Documentación →Programación funcional
- 17:10 31 oct 2019 difs. hist. −3 Documentación →Programación funcional
- 17:09 31 oct 2019 difs. hist. 0 Documentación →Programación funcional
- 17:08 31 oct 2019 difs. hist. +11 Documentación →Programación funcional
- 17:08 31 oct 2019 difs. hist. +109 Documentación →Programación funcional
- 14:45 31 oct 2019 difs. hist. +92 Tema 1: Programación funcional en Isabelle última
- 14:44 31 oct 2019 difs. hist. +24 R1 última
- 11:15 28 oct 2019 difs. hist. 0 Documentación →Visiones generales de la DAO
- 11:15 28 oct 2019 difs. hist. +2972 Documentación →Visiones generales de la DAO
- 11:49 27 oct 2019 difs. hist. +178 Documentación →Referencias sobre Isabelle/HOL
- 11:46 27 oct 2019 difs. hist. +136 Documentación →Referencias sobre Isabelle/HOL
- 11:49 15 oct 2019 difs. hist. 0 m Sistemas Protegió «Sistemas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:49 15 oct 2019 difs. hist. +913 N Sistemas Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso == Asistentes de demostración == * [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.…»
- 11:48 15 oct 2019 difs. hist. 0 m Documentación Protegió «Documentación» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:47 15 oct 2019 difs. hist. +12 740 N Documentación Página creada con «En esta página se recogen en enlaces que sirven de documentación al curso de "Razonamiento automático" == Vídeos == * Vídeos de deducción natural con Pandora: [http…»
- 11:46 15 oct 2019 difs. hist. 0 m Ejercicios Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:46 15 oct 2019 difs. hist. 0 m Temas Protegió «Temas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:45 15 oct 2019 difs. hist. 0 m Tema 1: Programación funcional en Isabelle Protegió «Tema 1: Programación funcional en Isabelle» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:45 15 oct 2019 difs. hist. 0 m Razonamiento automático (2019-20) Protegió «Razonamiento automático (2019-20)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 11:45 15 oct 2019 difs. hist. 0 m R1 Protegió «R1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))
- 11:44 15 oct 2019 difs. hist. +5176 N R1 Página creada con «<source lang="isabelle"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ------------------…»
- 11:44 15 oct 2019 difs. hist. +1081 N Ejercicios Página creada con «En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas…»
- 11:42 15 oct 2019 difs. hist. +9099 N Tema 1: Programación funcional en Isabelle Página creada con «<source lang="isabelle"> chapter {* Tema 1: Programación funcional en Isabelle *} theory T1_Programacion_funcional_en_Isabelle imports Main begin section {* Introducci…»
- 11:41 15 oct 2019 difs. hist. +2622 N Temas Página creada con «En esta página se irán publicando los temas conforme se vayan estudiando. == RA con Isabelle/HOL == * Tema 1: Programación funcional en Isabelle. <!-- * Tema 2: Raz…»
- 11:38 15 oct 2019 difs. hist. +601 N Razonamiento automático (2019-20) Página creada con «Este sitio contiene materiales del curso '''Razonamiento automático''' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial…»
- 11:37 15 oct 2019 difs. hist. +34 N MediaWiki:Mainpage Página creada con «Razonamiento automático (2019-20)» última
- 11:36 15 oct 2019 difs. hist. +362 N MediaWiki:Sidebar Página creada con «* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios ** Documentación|Documentación ** Sistemas|Sistemas ** https://www.glc.us.es/~jalons…» última
- 11:32 15 oct 2019 difs. hist. +69 N MediaWiki:Common.css Página creada con «@import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");» última