Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:10 4 feb 2011 (dif | hist) . . (+585) . . Deducción natural en lógica de primer orden con Isabelle/Isar
- 11:07 4 feb 2011 (dif | hist) . . (-17) . . Deducción natural en lógica de primer orden con Isabelle/Isar
- 11:04 4 feb 2011 (dif | hist) . . (+7279) . . N Deducción natural en lógica de primer orden con Isabelle/Isar (Página creada con '<source lang="isar"> header {* Deducción natural en la lógica de primer orden *} theory LogicaDePrimerOrden imports Main begin text {* En esta teoría se presentan los ej...')
- 11:04 4 feb 2011 (dif | hist) . . (+71) . . Razonamiento automático (→Ejemplos)
- 22:23 2 feb 2011 (dif | hist) . . (-77) . . Razonamiento automático (→Relaciones de ejercicios)
- 22:22 2 feb 2011 (dif | hist) . . (+12 645) . . N Deducción natural en lógica proposicional con Isabelle/Isar (Página creada con 'En esta teoría se presentan los ejemplos del tema de deducción natural proposicional siguiendo la presentación de Huth y Ryan en su libro [http://www.cs.bham.ac.uk/research/p...')
- 22:21 2 feb 2011 (dif | hist) . . (+87) . . Razonamiento automático (→Razonamiento automático (2010-11))
- 20:05 2 feb 2011 (dif | hist) . . (+1) . . Relación 1a
- 19:56 2 feb 2011 (dif | hist) . . (-44) . . Relación 1a
- 19:45 2 feb 2011 (dif | hist) . . (+44) . . Relación 1a
- 19:29 2 feb 2011 (dif | hist) . . (0) . . m Relación 1a (Protegió «Relación 1a» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:28 2 feb 2011 (dif | hist) . . (+46) . . Relación 1a
- 19:23 2 feb 2011 (dif | hist) . . (+12 598) . . N Relación 1a (Página creada con '<source lang="isar"> header {* Deducción natural proposicional *} theory LogicaProposicional imports Main begin text {* En esta teoría se presentan los ejemplos del tema ...')
- 19:22 2 feb 2011 (dif | hist) . . (+77) . . Razonamiento automático (→Relaciones de ejercicios)
- 18:57 1 feb 2011 (dif | hist) . . (+69) . . Relación 1
- 18:32 1 feb 2011 (dif | hist) . . (+15) . . N Usuario:Jalonso (Página creada con 'José A. Alonso') (edición actual)
- 17:57 1 feb 2011 (dif | hist) . . (+59) . . Relación 1
- 11:40 1 feb 2011 (dif | hist) . . (0) . . m Razonamiento automático (Protegió «Razonamiento automático (2010-11)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 11:39 1 feb 2011 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con 'Razonamiento automático (2010-11)')
- 11:25 1 feb 2011 (dif | hist) . . (0) . . Relación 2
- 11:24 1 feb 2011 (dif | hist) . . (0) . . Relación 1
- 11:16 1 feb 2011 (dif | hist) . . (0) . . Relación 3
- 10:59 1 feb 2011 (dif | hist) . . (+10 026) . . N Relación 3 (Página creada con '<source lang="bash"> header {* 3ª relación de ejercicios *} theory Relacion_3 imports Main begin section {* Cons inverso *} text {* -------------------------------------...')
- 10:49 1 feb 2011 (dif | hist) . . (+746) . . N Relación 2 (Página creada con '<source lang="bash"> header {* 2ª relación de ejercicios *} theory Relacion_2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las reglas ...')
- 10:47 1 feb 2011 (dif | hist) . . (+73) . . Razonamiento automático (→Relaciones de ejercicios)
- 10:46 1 feb 2011 (dif | hist) . . (-4) . . Relación 1
- 10:45 1 feb 2011 (dif | hist) . . (+22) . . Relación 1
- 10:44 1 feb 2011 (dif | hist) . . (+870) . . N Relación 1 (Página creada con '<pre> header {* 1ª relación de ejercicios *} theory Relacion_1 imports Main begin text {* --------------------------------------------------------------------- Demostr...')
- 10:11 1 feb 2011 (dif | hist) . . (+4) . . Razonamiento automático (→Razonamiento automático (2010-11))
- 10:11 1 feb 2011 (dif | hist) . . (+97) . . Razonamiento automático (→Relaciones de ejercicios)
- 10:08 1 feb 2011 (dif | hist) . . (-1) . . MediaWiki:Sidebar
- 10:07 1 feb 2011 (dif | hist) . . (+14) . . MediaWiki:Sidebar
- 10:05 1 feb 2011 (dif | hist) . . (0) . . m Página Principal (Razonamiento automático (2010-11) trasladada a Página Principal: revertir) (edición actual)
- 10:04 1 feb 2011 (dif | hist) . . (0) . . m Página Principal (Página Principal trasladada a Razonamiento automático (2010-11))
- 10:02 1 feb 2011 (dif | hist) . . (+12) . . MediaWiki:Sidebar
- 10:00 1 feb 2011 (dif | hist) . . (-16) . . MediaWiki:Sidebar
- 09:59 1 feb 2011 (dif | hist) . . (+30) . . N Página Principal (Página creada con '== Relaciones de ejercicios ==')
- 09:58 1 feb 2011 (dif | hist) . . (+10) . . MediaWiki:MainPage (edición actual)
- 09:57 1 feb 2011 (dif | hist) . . (+16) . . MediaWiki:Sidebar
- 09:54 1 feb 2011 (dif | hist) . . (-63) . . Razonamiento automático (Página creada con '== Relaciones de ejercicios ==')
- 09:53 1 feb 2011 (dif | hist) . . (-10) . . MediaWiki:MainPage
- 09:47 1 feb 2011 (dif | hist) . . (+6) . . MediaWiki:Sidebar
- 09:44 1 feb 2011 (dif | hist) . . (-33) . . MediaWiki:Sidebar
- 09:43 1 feb 2011 (dif | hist) . . (+33) . . MediaWiki:Sidebar
- 09:39 1 feb 2011 (dif | hist) . . (-18) . . MediaWiki:Sidebar
- 09:39 1 feb 2011 (dif | hist) . . (0) . . m Razonamiento automático (Página Principal trasladada a Razonamiento automático (2010-11))
- 09:32 1 feb 2011 (dif | hist) . . (+34) . . N MediaWiki:MainPage (Página creada con 'Razonamiento automático (2010-11)')
- 09:25 1 feb 2011 (dif | hist) . . (+128) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges ** helppage|help * SEARCH * TOOLBOX * LANGUAGES')
- 09:23 1 feb 2011 (dif | hist) . . (+46) . . Razonamiento automático
- 09:22 1 feb 2011 (dif | hist) . . (-442) . . Razonamiento automático (Página reemplazada por '''Relaciones de ejercicios'' * Relación 1.')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).