Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 00:04 2 mar 2011 (dif | hist) . . (-6) . . DAO2011 (Demostración asistida por ordenador) (→Demostración asistida por ordenador (2011))
- 00:03 2 mar 2011 (dif | hist) . . (+880) . . DAO2011 (Demostración asistida por ordenador)
- 23:58 1 mar 2011 (dif | hist) . . (+4009) . . N Relación 1 (Página creada con '<source lang="isar"> header {* Razonamiento en Isabelle sobre programas *} theory Relacion_1 imports Main Efficient_Nat begin text {* -----------------------------------------...')
- 23:57 1 mar 2011 (dif | hist) . . (+128) . . N Ejercicios (Página creada con '= Ejercicios = * '''Relación 1:''' Razonamiento sobre programas (Enunciado y Solución colaborativa).')
- 23:57 1 mar 2011 (dif | hist) . . (+94) . . N Temas (Página creada con '* Tema 1: Isabelle como un lenguaje funcional. * Tema 2: Razonamiento sobre programas.')
- 23:56 1 mar 2011 (dif | hist) . . (0) . . MediaWiki:Sidebar (edición actual)
- 23:56 1 mar 2011 (dif | hist) . . (+40) . . MediaWiki:Sidebar
- 23:54 1 mar 2011 (dif | hist) . . (0) . . m Rel 1 (Protegió «Rel 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 23:53 1 mar 2011 (dif | hist) . . (-1811) . . Rel 1
- 23:50 1 mar 2011 (dif | hist) . . (+5820) . . N Rel 1 (Página creada con '<source lang="isar"> header {* Razonamiento en Isabelle sobre programas *} theory Relacion_1_sol imports Main Efficient_Nat begin text {* -------------------------------------...')
- 23:46 1 mar 2011 (dif | hist) . . (+117) . . DAO2011 (Demostración asistida por ordenador) (→Temas y ejercicios)
- 23:43 1 mar 2011 (dif | hist) . . (+12) . . Tema 2: Razonamiento sobre programas
- 23:42 1 mar 2011 (dif | hist) . . (+9925) . . N Tema 2: Razonamiento sobre programas (Página creada con '<source> header {* Razonamiento sobre programas en Isabelle *} theory Tema_2 imports Main Efficient_Nat begin text {* En este tema se demuestra con Isabelle las propiedades...')
- 23:32 1 mar 2011 (dif | hist) . . (+9262) . . N Tema 1: Isabelle como un lenguaje funcional (Página creada con '<source lang="isar"> header {* Isabelle como un lenguaje funcional *} theory Tema_1 imports Main Efficient_Nat begin section {* Introducción *} text {* Esta notas son una i...')
- 23:30 1 mar 2011 (dif | hist) . . (+98) . . DAO2011 (Demostración asistida por ordenador)
- 23:25 1 mar 2011 (dif | hist) . . (+19) . . N DAO2011 (Demostración asistida por ordenador) (Página creada con 'Esta es la inicial.')
- 23:24 1 mar 2011 (dif | hist) . . (+46) . . N MediaWiki:Mainpage (Página creada con 'DAO2011 (Demostración asistida por ordenador)') (edición actual)
- 23:22 1 mar 2011 (dif | hist) . . (+111) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges * SEARCH * TOOLBOX * LANGUAGES')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).