Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 17:28 31 ene 2012 (dif | hist) . . (+9530) . . N Tema 10: Heurísticas para la inducción y recursión general (Página creada con '<source lang="isar"> header {* Tema 10: Heurísticas para la inducción y recursión general *} theory Tema_10 imports Main Tema_7 Efficient_Nat begin section {* Heurísticas ...') (edición actual)
- 17:27 31 ene 2012 (dif | hist) . . (+69) . . DAO2011 (Demostración asistida por ordenador) (→Razonamiento automático (2011-12))
- 15:07 31 ene 2012 (dif | hist) . . (+3507) . . N Tema 9: Patrones de demostración (Página creada con '<source lang="isar"> header {* Tema 9: Patrones de demostración *} theory Tema_9 imports Main begin section {* Demostraciones por casos *} text {* Nota. [Regla de elimina...')
- 15:06 31 ene 2012 (dif | hist) . . (+41) . . DAO2011 (Demostración asistida por ordenador) (→Razonamiento automático (2011-12))
- 14:48 31 ene 2012 (dif | hist) . . (-117) . . Tema 8: Distinción de casos e inducción
- 14:43 31 ene 2012 (dif | hist) . . (-14) . . Tema 8: Distinción de casos e inducción
- 13:12 31 ene 2012 (dif | hist) . . (-4) . . Tema 8: Distinción de casos e inducción
- 13:11 31 ene 2012 (dif | hist) . . (+10 889) . . N Tema 8: Distinción de casos e inducción (Página creada con '<source lang="isar"> header {* Tema 8: Distinción de casos e inducción *} theory Tema_8 imports Main Parity begin section {* Razonamiento por distinción de casos *} subsec...')
- 13:10 31 ene 2012 (dif | hist) . . (+49) . . DAO2011 (Demostración asistida por ordenador) (→Razonamiento automático (2011-12))
- 11:45 31 ene 2012 (dif | hist) . . (+11 415) . . N Tema 7: El lenguaje de demostración Isar (Página creada con '<source lang="isar"> header {* El lenguaje de demostración Isar *} theory Tema_7 imports Main begin text {* Este tema describe los elementos básicos del lenguaje de demost...')
- 11:44 31 ene 2012 (dif | hist) . . (+49) . . DAO2011 (Demostración asistida por ordenador) (→Razonamiento automático (2011-12))
- 17:00 19 ene 2012 (dif | hist) . . (+1) . . Tema 6: Isabelle como un lenguaje funcional (edición actual)
- 16:56 19 ene 2012 (dif | hist) . . (-265) . . Tema 6: Isabelle como un lenguaje funcional
- 16:55 19 ene 2012 (dif | hist) . . (-4) . . Tema 6: Isabelle como un lenguaje funcional
- 16:54 19 ene 2012 (dif | hist) . . (+10 469) . . N Tema 6: Isabelle como un lenguaje funcional (Página creada con '<source lang="isabelle"> header {* Tema 6: Isabelle como un lenguaje funcional *} theory Tema_6 imports Main begin section {* Introducción *} text {* Esta notas son una in...')
- 16:53 19 ene 2012 (dif | hist) . . (+93) . . DAO2011 (Demostración asistida por ordenador)
- 13:49 29 mar 2011 (dif | hist) . . (-4) . . Ejercicios del tema 3 (edición actual)
- 13:48 29 mar 2011 (dif | hist) . . (+4267) . . N Ejercicios del tema 3 (Página creada con '<source language="isar"> header {* Deducción natural proposicional *} theory Tema_3_ej imports Main begin text {* Los ejercicios de esta relación deben de resolverse usand...')
- 13:46 29 mar 2011 (dif | hist) . . (0) . . m Tema 3 ej (Protegió «Tema 3 ej» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:46 29 mar 2011 (dif | hist) . . (+4263) . . N Tema 3 ej (Página creada con '<source lang="isar"> header {* Deducción natural proposicional *} theory Tema_3_ej imports Main begin text {* Los ejercicios de esta relación deben de resolverse usando s...')
- 13:26 29 mar 2011 (dif | hist) . . (+136) . . Ejercicios (→Ejercicios de Demostración asistida por ordenador)
- 13:24 29 mar 2011 (dif | hist) . . (0) . . m Tema 3: Deducción lógica proposicional con Isabelle (Protegió «Tema 3: Deducción lógica proposicional con Isabelle» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:24 29 mar 2011 (dif | hist) . . (+12 585) . . N Tema 3: Deducción lógica proposicional con Isabelle (Página creada con '<source lang="isar"> header {* Deducción natural proposicional *} theory Tema_3 imports Main begin text {* En esta teoría se presentan los ejemplos del tema de deducción...')
- 13:19 29 mar 2011 (dif | hist) . . (+61) . . Temas (→Temas de Demostración asistida por ordenador)
- 20:34 22 mar 2011 (dif | hist) . . (+1) . . Relación 1
- 20:33 22 mar 2011 (dif | hist) . . (-40) . . Relación 1
- 18:25 8 mar 2011 (dif | hist) . . (+1) . . DAO2011 (Demostración asistida por ordenador) (→Material para el curso)
- 00:07 2 mar 2011 (dif | hist) . . (+44) . . Ejercicios (→Ejercicios)
- 00:06 2 mar 2011 (dif | hist) . . (+56) . . Temas
- 00:05 2 mar 2011 (dif | hist) . . (+2) . . Ejercicios (→Ejercicios)
- 00:05 2 mar 2011 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 00:05 2 mar 2011 (dif | hist) . . (0) . . m DAO2011 (Demostración asistida por ordenador) (Protegió «DAO2011 (Demostración asistida por ordenador)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 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).