Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 23:05 25 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...')
- 23:05 25 nov 2014 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 23:04 25 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...')
- 23:04 25 nov 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 12:25 17 nov 2014 (dif | hist) . . (+154) . . Lógica informática (2014-15)
- 00:13 17 nov 2014 (dif | hist) . . (+12) . . Relación 8 (→Relación 8: Temas 1 a 7)
- 00:11 17 nov 2014 (dif | hist) . . (+6) . . Relación 7 (→Relación 7: Temas 1 a 6) (edición actual)
- 20:26 16 nov 2014 (dif | hist) . . (+4) . . R7 sol (edición actual)
- 20: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...')
- 13: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...')
- 13:12 11 nov 2014 (dif | hist) . . (0) . . R8 (edición actual)
- 13:12 11 nov 2014 (dif | hist) . . (+8) . . R8
- 13:11 11 nov 2014 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13: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...')
- 13:10 11 nov 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 07:46 21 oct 2014 (dif | hist) . . (0) . . Relación 5 (→Relación 5: Temas 1 y 2)
- 07:46 21 oct 2014 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 07:45 21 oct 2014 (dif | hist) . . (0) . . R5 (→Relación 5: Temas 1 y 2)
- 07:45 21 oct 2014 (dif | hist) . . (0) . . Lógica informática (2014-15)
- 12: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....')
- 12: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....')
- 12:17 20 oct 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 19:20 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E6.png (edición actual)
- 19:15 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E5.png (edición actual)
- 19:11 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E4.png (edición actual)
- 19:09 15 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E3.png (edición actual)
- 19:07 15 oct 2014 (dif | hist) . . (-831) . . Relación 3 (edición actual)
- 14:57 14 oct 2014 (dif | hist) . . (-33) . . Relación 3
- 11: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...')
- 11:13 14 oct 2014 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 11:12 14 oct 2014 (dif | hist) . . (-7) . . R4 (→Relación 4: Temas 1 y 2)
- 11:11 14 oct 2014 (dif | hist) . . (0) . . R4 (→Relación 4: Temas 1 y 2)
- 11: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...')
- 11:10 14 oct 2014 (dif | hist) . . (+97) . . Lógica informática (2014-15)
- 09:31 12 oct 2014 (dif | hist) . . (+347) . . Relación 3
- 20:42 8 oct 2014 (dif | hist) . . (-24) . . Relación 3
- 12:37 8 oct 2014 (dif | hist) . . (0) . . Relación 3
- 12:37 8 oct 2014 (dif | hist) . . (+24) . . Relación 3
- 23:16 7 oct 2014 (dif | hist) . . (0) . . N Archivo:R3E0a.png (edición actual)
- 23:15 7 oct 2014 (dif | hist) . . (+143) . . Relación 3
- 23:09 7 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...')
- 23:08 7 oct 2014 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 23:05 7 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...')
- 23:04 7 oct 2014 (dif | hist) . . (+43) . . Lógica informática (2014-15)
- 13:35 3 oct 2014 (dif | hist) . . (+60) . . Relación 2 (→Relación 2: Semántica proposicional)
- 13:30 3 oct 2014 (dif | hist) . . (+175) . . Relación 2 (→Relación 2: Semántica proposicional)
- 13:26 3 oct 2014 (dif | hist) . . (-12) . . Relación 2 (→Relación 2: Semántica proposicional)
- 13:26 3 oct 2014 (dif | hist) . . (+11) . . Relación 2 (→Relación 2: Semántica proposicional)
- 13:25 3 oct 2014 (dif | hist) . . (0) . . Relación 2 (→Relación 2: Semántica proposicional)
- 13: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).