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

• 22:57 14 mar 2011 (dif | hist) . . (0)‎ . . m Rel 9 ‎ (Protegió «Rel 9» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 22:56 14 mar 2011 (dif | hist) . . (+4265)‎ . . N Rel 9 ‎ (Página creada con '<source lang="isar"> theory Relacion_9 imports Main begin section {* Deducción natural proposicional *} text {* Los ejercicios de esta relación deben de resolverse usando ...')
• 22:53 14 mar 2011 (dif | hist) . . (+155)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 22:18 1 mar 2011 (dif | hist) . . (+3659)‎ . . N Relación 8 ‎ (Página creada con '<source lang="isar"> theory Relacion_8 imports Main Efficient_Nat Relacion_3 begin section {* Suma y aplanamiento de listas *} text {* -----------------------------------...')
• 22:18 1 mar 2011 (dif | hist) . . (0)‎ . . m Rel 8 ‎ (Protegió «Rel 8» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 22:17 1 mar 2011 (dif | hist) . . (+5)‎ . . Razonamiento automático ‎ (→‎Razonamiento automático (2010-11))
• 22:16 1 mar 2011 (dif | hist) . . (+3659)‎ . . N Rel 8 ‎ (Página creada con '<source lang="isar"> theory Relacion_8 imports Main Efficient_Nat Relacion_3 begin section {* Suma y aplanamiento de listas *} text {* -----------------------------------...')
• 22:14 1 mar 2011 (dif | hist) . . (+98)‎ . . Razonamiento automático ‎ (→‎Razonamiento por inducción sobre listas)
• 07:30 22 feb 2011 (dif | hist) . . (-5)‎ . . Razonamiento automático ‎ (→‎Razonamiento por inducción sobre listas)
• 07:28 22 feb 2011 (dif | hist) . . (+3636)‎ . . N Relación 7 ‎ (Página creada con '<source lang="isar"> header {* 7ª relación de ejercicios *} theory Relacion_7_sol imports Main Efficient_Nat begin section {* Contador de occurrencias *} text {* --------...')
• 07:28 22 feb 2011 (dif | hist) . . (0)‎ . . m Rel 7 ‎ (Protegió «Rel 7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 07:28 22 feb 2011 (dif | hist) . . (+3636)‎ . . N Rel 7 ‎ (Página creada con '<source lang="isar"> header {* 7ª relación de ejercicios *} theory Relacion_7_sol imports Main Efficient_Nat begin section {* Contador de occurrencias *} text {* --------...')
• 07:26 22 feb 2011 (dif | hist) . . (+103)‎ . . Razonamiento automático ‎ (→‎Razonamiento por inducción sobre listas)
• 21:46 21 feb 2011 (dif | hist) . . (+1377)‎ . . N Relación 6 ‎ (Página creada con '<source lang="isar"> header {* 6ª relación de ejercicios *} theory Relacion_6 imports Main begin section {* Número de elementos válidos *} text {* -------------------...')
• 21:46 21 feb 2011 (dif | hist) . . (0)‎ . . m Rel 6 ‎ (Protegió «Rel 6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 21:46 21 feb 2011 (dif | hist) . . (-37)‎ . . Rel 6 ‎
• 21:44 21 feb 2011 (dif | hist) . . (+1414)‎ . . N Rel 6 ‎ (Página creada con '<source lang="isar"> header {* 6ª relación de ejercicios *} theory Relacion_6 imports Main begin section {* Número de elementos válidos *} text {* -------------------...')
• 21:43 21 feb 2011 (dif | hist) . . (+103)‎ . . Razonamiento automático ‎ (→‎Razonamiento por inducción sobre listas)
• 10:12 21 feb 2011 (dif | hist) . . (-20)‎ . . Razonamiento automático ‎ (→‎Ejemplos)
• 09:49 21 feb 2011 (dif | hist) . . (+24 272)‎ . . N Misceláneas ‎ (Página creada con '<source lang="isar"> theory Tema8 imports Main Efficient_Nat begin header {* Misceláneas *} text {* Contenido: * Definición del algoritmo de Huffman * Definiciones ind...')
• 09:48 21 feb 2011 (dif | hist) . . (+20)‎ . . Razonamiento automático ‎ (→‎Ejemplos)
• 00:51 15 feb 2011 (dif | hist) . . (-70)‎ . . Rel 4 ‎
• 00:50 15 feb 2011 (dif | hist) . . (0)‎ . . m Rel 5 ‎ (Protegió «Rel 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 00:50 15 feb 2011 (dif | hist) . . (+2284)‎ . . N Rel 5 ‎ (Página creada con '<source lang="isar"> header {* 5ª relación de ejercicios *} theory Relacion_5 imports Main begin section {* Menor posición válida *} text {* -------------------------...')
• 00:49 15 feb 2011 (dif | hist) . . (0)‎ . . m Rel 4 ‎ (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 00:49 15 feb 2011 (dif | hist) . . (+7974)‎ . . N Rel 4 ‎ (Página creada con '<source lang="isar"> header {* 4ª relación de ejercicios *} theory Relacion_4 imports Main begin section {* Sustitución, inversión y eliminación *} text {* ---------...')
• 00:48 15 feb 2011 (dif | hist) . . (0)‎ . . m Rel 3 ‎ (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 00:48 15 feb 2011 (dif | hist) . . (+10 354)‎ . . N Rel 3 ‎ (Página creada con '<source lang="isar"> header {* 3ª relación de ejercicios *} theory Relacion_3 imports Main begin section {* Cons inverso *} text {* -------------------------------------...')
• 00:47 15 feb 2011 (dif | hist) . . (0)‎ . . m Rel 2 ‎ (Protegió «Rel 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 00:46 15 feb 2011 (dif | hist) . . (+746)‎ . . N Rel 2 ‎ (Página creada con '<source lang="isar"> header {* 2ª relación de ejercicios *} theory Relacion_2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las reglas ...')
• 00:46 15 feb 2011 (dif | hist) . . (0)‎ . . m Rel 1 ‎ (Protegió «Rel 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
• 00:45 15 feb 2011 (dif | hist) . . (+888)‎ . . N Rel 1 ‎ (Página creada con '<source lang="isar"> header {* 1ª relación de ejercicios *} theory Relacion_1 imports Main begin text {* -----------------------------------------------------------------...')
• 00:44 15 feb 2011 (dif | hist) . . (-5)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 00:43 15 feb 2011 (dif | hist) . . (-15)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 00:41 15 feb 2011 (dif | hist) . . (+10)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 00:39 15 feb 2011 (dif | hist) . . (+275)‎ . . Razonamiento automático ‎ (→‎Razonamiento automático (2010-11))
• 00:22 15 feb 2011 (dif | hist) . . (-85)‎ . . Razonamiento automático ‎ (→‎Ejercicios de deducción natural)
• 00:21 15 feb 2011 (dif | hist) . . (+85)‎ . . Razonamiento automático ‎ (→‎Ejercicios de deducción natural)
• 00:09 15 feb 2011 (dif | hist) . . (+2284)‎ . . N Relación 5 ‎ (Página creada con '<source lang="isar"> header {* 5ª relación de ejercicios *} theory Relacion_5 imports Main begin section {* Menor posición válida *} text {* -------------------------...')
• 00:07 15 feb 2011 (dif | hist) . . (+56)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 22:40 14 feb 2011 (dif | hist) . . (-888)‎ . . Relación 2 ‎
• 21:54 14 feb 2011 (dif | hist) . . (-3)‎ . . Relación 1 ‎
• 21:54 14 feb 2011 (dif | hist) . . (+746)‎ . . Relación 1 ‎
• 19:25 8 feb 2011 (dif | hist) . . (+498)‎ . . Relación 3 ‎
• 12:01 8 feb 2011 (dif | hist) . . (+77)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 12:00 8 feb 2011 (dif | hist) . . (+61)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 11:57 8 feb 2011 (dif | hist) . . (+52)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 11:56 8 feb 2011 (dif | hist) . . (+7904)‎ . . N Relación 4 ‎ (Página creada con '<source lang="isar"> header {* 4ª relación de ejercicios *} theory Relacion_4 imports Main begin section {* Sustitución, inversión y eliminación *} text {* ---------...')
• 11:55 8 feb 2011 (dif | hist) . . (+18)‎ . . Razonamiento automático ‎ (→‎Relaciones de ejercicios)
• 11:34 4 feb 2011 (dif | hist) . . (+36)‎ . . Deducción natural en lógica de primer orden con Isabelle/Isar ‎

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