Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 10:10 4 feb 2011 (dif | hist) . . (+585) . . Deducción natural en lógica de primer orden con Isabelle/Isar
- 10:07 4 feb 2011 (dif | hist) . . (-17) . . Deducción natural en lógica de primer orden con Isabelle/Isar
- 10: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...')
- 10:04 4 feb 2011 (dif | hist) . . (+71) . . Razonamiento automático (→Ejemplos)
- 21:23 2 feb 2011 (dif | hist) . . (-77) . . Razonamiento automático (→Relaciones de ejercicios)
- 21: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...')
- 21:21 2 feb 2011 (dif | hist) . . (+87) . . Razonamiento automático (→Razonamiento automático (2010-11))
- 19:05 2 feb 2011 (dif | hist) . . (+1) . . Relación 1a
- 18:56 2 feb 2011 (dif | hist) . . (-44) . . Relación 1a
- 18:45 2 feb 2011 (dif | hist) . . (+44) . . Relación 1a
- 18:29 2 feb 2011 (dif | hist) . . (0) . . m Relación 1a (Protegió «Relación 1a» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:28 2 feb 2011 (dif | hist) . . (+46) . . Relación 1a
- 18: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 ...')
- 18:22 2 feb 2011 (dif | hist) . . (+77) . . Razonamiento automático (→Relaciones de ejercicios)
- 17:57 1 feb 2011 (dif | hist) . . (+69) . . Relación 1
- 17:32 1 feb 2011 (dif | hist) . . (+15) . . N Usuario:Jalonso (Página creada con 'José A. Alonso') (edición actual)
- 16:57 1 feb 2011 (dif | hist) . . (+59) . . Relación 1
- 10:40 1 feb 2011 (dif | hist) . . (0) . . m Razonamiento automático (Protegió «Razonamiento automático (2010-11)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:39 1 feb 2011 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con 'Razonamiento automático (2010-11)')
- 10:25 1 feb 2011 (dif | hist) . . (0) . . Relación 2
- 10:24 1 feb 2011 (dif | hist) . . (0) . . Relación 1
- 10:16 1 feb 2011 (dif | hist) . . (0) . . Relación 3
- 09: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 {* -------------------------------------...')
- 09: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 ...')
- 09:47 1 feb 2011 (dif | hist) . . (+73) . . Razonamiento automático (→Relaciones de ejercicios)
- 09:46 1 feb 2011 (dif | hist) . . (-4) . . Relación 1
- 09:45 1 feb 2011 (dif | hist) . . (+22) . . Relación 1
- 09: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...')
- 09:11 1 feb 2011 (dif | hist) . . (+4) . . Razonamiento automático (→Razonamiento automático (2010-11))
- 09:11 1 feb 2011 (dif | hist) . . (+97) . . Razonamiento automático (→Relaciones de ejercicios)
- 09:08 1 feb 2011 (dif | hist) . . (-1) . . MediaWiki:Sidebar
- 09:07 1 feb 2011 (dif | hist) . . (+14) . . MediaWiki:Sidebar
- 09: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)
- 09:04 1 feb 2011 (dif | hist) . . (0) . . m Página Principal (Página Principal trasladada a Razonamiento automático (2010-11))
- 09:02 1 feb 2011 (dif | hist) . . (+12) . . MediaWiki:Sidebar
- 09:00 1 feb 2011 (dif | hist) . . (-16) . . MediaWiki:Sidebar
- 08:59 1 feb 2011 (dif | hist) . . (+30) . . N Página Principal (Página creada con '== Relaciones de ejercicios ==')
- 08:58 1 feb 2011 (dif | hist) . . (+10) . . MediaWiki:MainPage (edición actual)
- 08:57 1 feb 2011 (dif | hist) . . (+16) . . MediaWiki:Sidebar
- 08:54 1 feb 2011 (dif | hist) . . (-63) . . Razonamiento automático (Página creada con '== Relaciones de ejercicios ==')
- 08:53 1 feb 2011 (dif | hist) . . (-10) . . MediaWiki:MainPage
- 08:47 1 feb 2011 (dif | hist) . . (+6) . . MediaWiki:Sidebar
- 08:44 1 feb 2011 (dif | hist) . . (-33) . . MediaWiki:Sidebar
- 08:43 1 feb 2011 (dif | hist) . . (+33) . . MediaWiki:Sidebar
- 08:39 1 feb 2011 (dif | hist) . . (-18) . . MediaWiki:Sidebar
- 08:39 1 feb 2011 (dif | hist) . . (0) . . m Razonamiento automático (Página Principal trasladada a Razonamiento automático (2010-11))
- 08:32 1 feb 2011 (dif | hist) . . (+34) . . N MediaWiki:MainPage (Página creada con 'Razonamiento automático (2010-11)')
- 08: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')
- 08:23 1 feb 2011 (dif | hist) . . (+46) . . Razonamiento automático
- 08: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).