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

• 20:19 15 jul 2018 (dif | hist) . . (-43)‎ . . DAO2011 (Demostración asistida por ordenador) ‎ (edición actual)
• 20:18 15 jul 2018 (dif | hist) . . (+4)‎ . . Tema 4 ej ‎ (edición actual)
• 20:18 15 jul 2018 (dif | hist) . . (+4)‎ . . Tema 3 ej ‎ (edición actual)
• 20:17 15 jul 2018 (dif | hist) . . (+4)‎ . . Rel 1 ‎ (edición actual)
• 20:17 15 jul 2018 (dif | hist) . . (-145)‎ . . Ejercicios ‎ (→‎Ejercicios de Demostración asistida por ordenador) (edición actual)
• 20:16 15 jul 2018 (dif | hist) . . (+4)‎ . . Tema 4: Deducción natural en lógica de primer orden con Isabelle ‎ (edición actual)
• 20:16 15 jul 2018 (dif | hist) . . (+4)‎ . . Tema 3: Deducción lógica proposicional con Isabelle ‎ (edición actual)
• 20:16 15 jul 2018 (dif | hist) . . (+4)‎ . . Tema 2: Razonamiento sobre programas ‎ (edición actual)
• 20:16 15 jul 2018 (dif | hist) . . (+4)‎ . . Tema 1: Isabelle como un lenguaje funcional ‎ (edición actual)
• 20:15 15 jul 2018 (dif | hist) . . (+145)‎ . . N MediaWiki:Common.css ‎ (Página creada con «→‎Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
• 16:01 9 feb 2012 (dif | hist) . . (-13)‎ . . Tema 9: Patrones de demostración ‎ (edición actual)
• 15:55 9 feb 2012 (dif | hist) . . (-31)‎ . . Tema 8: Distinción de casos e inducción ‎ (edición actual)
• 20:33 2 feb 2012 (dif | hist) . . (-15)‎ . . Tema 7: El lenguaje de demostración Isar ‎ (edición actual)
• 21:08 31 ene 2012 (dif | hist) . . (-336)‎ . . Tema 11: Caso de estudio: Compilación de expresiones ‎ (edición actual)
• 21:07 31 ene 2012 (dif | hist) . . (-2425)‎ . . Tema 12: Conjuntos, funciones y relaciones ‎ (edición actual)
• 21:06 31 ene 2012 (dif | hist) . . (+20 891)‎ . . N Tema 12: Conjuntos, funciones y relaciones ‎ (Página creada con '<source lang="isar"> header {* Tema 12: Conjuntos, funciones y relaciones *} theory Tema_12 imports Main begin section {* Conjuntos *} subsection {* Operaciones con conjunto...')
• 21:05 31 ene 2012 (dif | hist) . . (+8259)‎ . . N Tema 11: Caso de estudio: Compilación de expresiones ‎ (Página creada con '<source lang="isar"> header {* Tema 11: Caso de estudio: Compilación de expresiones *} theory Tema_11 imports Main begin text {* El objetivo de este tema es contruir un com...')
• 21:03 31 ene 2012 (dif | hist) . . (+111)‎ . . DAO2011 (Demostración asistida por ordenador) ‎ (→‎Razonamiento automático (2011-12))
• 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)))

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