Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 00:05 26 nov 2014 (dif | hist) . . (+1323) . . N Relación 9 (Página creada con '=== Relación 9: Temas 1 a 7 === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> Todos los participantes son vencedores. Hay como máximo un vencedor. Ha...')
- 00:05 26 nov 2014 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 00:04 26 nov 2014 (dif | hist) . . (+1323) . . N R9 (Página creada con '=== Relación 9: Temas 1 a 7 === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> Todos los participantes son vencedores. Hay como máximo un vencedor. Ha...')
- 00:04 26 nov 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 13:25 17 nov 2014 (dif | hist) . . (+154) . . Lógica informática (2014-15)
- 01:13 17 nov 2014 (dif | hist) . . (+12) . . Relación 8 (→Relación 8: Temas 1 a 7)
- 01:11 17 nov 2014 (dif | hist) . . (+6) . . Relación 7 (→Relación 7: Temas 1 a 6) (edición actual)
- 21:26 16 nov 2014 (dif | hist) . . (+4) . . R7 sol (edición actual)
- 21:24 16 nov 2014 (dif | hist) . . (+7704) . . N R7 sol (Página creada con '=== Relación 7: Temas 1 a 6 === ---- '''Ejercicio 1.''' Sean S y T conjuntos de fórmulas. Demostrar o refutar las siguientes sentencias: * Si S es consistente y T es incon...')
- 14:13 11 nov 2014 (dif | hist) . . (+1741) . . N Relación 8 (Página creada con '=== Relación 8: Temas 1 a 7 === ---- '''Ejercicio 1.''' Decidir, mediante resolución, DPLL y tableros semánticos, si : {p → q, ¬p → r, q ∨ r → s} ⊧ s En caso af...')
- 14:12 11 nov 2014 (dif | hist) . . (0) . . R8 (edición actual)
- 14:12 11 nov 2014 (dif | hist) . . (+8) . . R8
- 14:11 11 nov 2014 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:11 11 nov 2014 (dif | hist) . . (+1733) . . N R8 (Página creada con '=== Relación 8: Temas 1 a 7 === ---- '''Ejercicio 1.''' Decidir, mediante resolución, DPLL y tableros semánticos, si : {p → q, ¬p → r, q ∨ r → s} ⊧ s En caso af...')
- 14:10 11 nov 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 08:46 21 oct 2014 (dif | hist) . . (0) . . Relación 5 (→Relación 5: Temas 1 y 2)
- 08:46 21 oct 2014 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 08:45 21 oct 2014 (dif | hist) . . (0) . . R5 (→Relación 5: Temas 1 y 2)
- 08:45 21 oct 2014 (dif | hist) . . (0) . . Lógica informática (2014-15)
- 13:19 20 oct 2014 (dif | hist) . . (+1798) . . N Relación 5 (Página creada con '=== Relación 5: Temas 1 y 2 === ---- '''Ejercicio 1.''' Demostrar o refutar las siguientes proposiciones: # F ∧ G es satisfacible syss F es satisfacible y G es satisfacible....')
- 13:18 20 oct 2014 (dif | hist) . . (+1798) . . N R5 (Página creada con '=== Relación 5: Temas 1 y 2 === ---- '''Ejercicio 1.''' Demostrar o refutar las siguientes proposiciones: # F ∧ G es satisfacible syss F es satisfacible y G es satisfacible....')
- 13:17 20 oct 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 20:20 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E6.png (edición actual)
- 20:15 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E5.png (edición actual)
- 20:11 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E4.png (edición actual)
- 20:09 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E3.png (edición actual)
- 20:07 15 oct 2014 (dif | hist) . . (-831) . . Relación 3 (edición actual)
- 15:57 14 oct 2014 (dif | hist) . . (-33) . . Relación 3
- 12:13 14 oct 2014 (dif | hist) . . (+1219) . . N Relación 4 (Página creada con '=== Relación 4: Temas 1 y 2 === ---- '''Ejercicio 1.''' Juan está matriculado en tres asignaturas: Álgebra, Lógica y Dibujo. Juan comenta lo siguiente: <blockquote> Me gus...')
- 12:13 14 oct 2014 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 12:12 14 oct 2014 (dif | hist) . . (-7) . . R4 (→Relación 4: Temas 1 y 2)
- 12:11 14 oct 2014 (dif | hist) . . (0) . . R4 (→Relación 4: Temas 1 y 2)
- 12:11 14 oct 2014 (dif | hist) . . (+1228) . . N R4 (Página creada con '=== Relación 4: Temas 1 y 2 === ---- '''Ejercicio 1.''' Juan está matriculado en tres asignaturas: Álgebra, Lógica y Dibujo. Juan comenta lo siguiente: <blockquote> Me gus...')
- 12:10 14 oct 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 10:31 12 oct 2014 (dif | hist) . . (+347) . . Relación 3
- 21:42 8 oct 2014 (dif | hist) . . (-24) . . Relación 3
- 13:37 8 oct 2014 (dif | hist) . . (0) . . Relación 3
- 13:37 8 oct 2014 (dif | hist) . . (+24) . . Relación 3
- 00:16 8 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E0a.png (edición actual)
- 00:15 8 oct 2014 (dif | hist) . . (+143) . . Relación 3
- 00:09 8 oct 2014 (dif | hist) . . (+1364) . . N Relación 3 (Página creada con '=== Relación 3: Temas 1 y 2 === ---- '''Ejercicio 1.''' Formalizar, y decidir la corrección, del siguiente argumento <blockquote> Si Dios fuera capaz de evitar el mal y quis...')
- 00:08 8 oct 2014 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 00:05 8 oct 2014 (dif | hist) . . (+1364) . . N R3 (Página creada con '=== Relación 3: Temas 1 y 2 === ---- '''Ejercicio 1.''' Formalizar, y decidir la corrección, del siguiente argumento <blockquote> Si Dios fuera capaz de evitar el mal y quis...')
- 00:04 8 oct 2014 (dif | hist) . . (+43) . . Lógica informática (2014-15)
- 14:35 3 oct 2014 (dif | hist) . . (+60) . . Relación 2 (→Relación 2: Semántica proposicional)
- 14:30 3 oct 2014 (dif | hist) . . (+175) . . Relación 2 (→Relación 2: Semántica proposicional)
- 14:26 3 oct 2014 (dif | hist) . . (-12) . . Relación 2 (→Relación 2: Semántica proposicional)
- 14:26 3 oct 2014 (dif | hist) . . (+11) . . Relación 2 (→Relación 2: Semántica proposicional)
- 14:25 3 oct 2014 (dif | hist) . . (0) . . Relación 2 (→Relación 2: Semántica proposicional)
- 14:23 3 oct 2014 (dif | hist) . . (+33) . . Relación 2 (→Relación 2: Semántica proposicional)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).