Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 20:39 17 nov 2019 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 20:39 17 nov 2019 (dif | hist) . . (+70) . . Ejercicios evaluables (19-20)
- 20:37 17 nov 2019 (dif | hist) . . (+53) . . Lógica computacional y teoría de modelos (2019-20)
- 20:59 10 nov 2019 (dif | hist) . . (+68) . . Relación 1
- 20:25 29 oct 2019 (dif | hist) . . (-83) . . Ejercicios (19-20)
- 20:25 29 oct 2019 (dif | hist) . . (+81) . . Ejercicios (19-20)
- 20:24 29 oct 2019 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:24 29 oct 2019 (dif | hist) . . (-3230) . . Relación 1
- 20:21 29 oct 2019 (dif | hist) . . (+2536) . . N R1 (Página creada con «<source lang = "prolog"> % Ejercicio 1. Calcular los conjuntos de respuesta del siguiente % programa P y responder a las consultas siguientes: ¿p?, ¿q? p, q, r. ¬p :-…»)
- 20:21 29 oct 2019 (dif | hist) . . (0) . . Ejercicios (19-20)
- 20:20 29 oct 2019 (dif | hist) . . (+21) . . Ejercicios (19-20)
- 20:16 29 oct 2019 (dif | hist) . . (+65) . . Ejercicios (19-20)
- 20:12 29 oct 2019 (dif | hist) . . (-4) . . Lógica computacional y teoría de modelos (2019-20)
- 20:11 29 oct 2019 (dif | hist) . . (-2) . . Lógica computacional y teoría de modelos (2019-20)
- 20:10 29 oct 2019 (dif | hist) . . (+2) . . Lógica computacional y teoría de modelos (2019-20)
- 20:10 29 oct 2019 (dif | hist) . . (+4) . . Lógica computacional y teoría de modelos (2019-20)
- 18:26 24 oct 2019 (dif | hist) . . (-190) . . Lógica computacional y teoría de modelos (2019-20)
- 18:25 24 oct 2019 (dif | hist) . . (+146) . . Lógica computacional y teoría de modelos (2019-20)
- 18:22 24 oct 2019 (dif | hist) . . (+44) . . Lógica computacional y teoría de modelos (2019-20)
- 17:16 17 oct 2019 (dif | hist) . . (-44) . . Lógica computacional y teoría de modelos (2019-20)
- 17:15 17 oct 2019 (dif | hist) . . (+10) . . Ejercicios (edición actual)
- 17:14 17 oct 2019 (dif | hist) . . (+44) . . Lógica computacional y teoría de modelos (2019-20)
- 17:13 17 oct 2019 (dif | hist) . . (0) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 17:13 17 oct 2019 (dif | hist) . . (0) . . Sistemas (→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19))
- 17:12 17 oct 2019 (dif | hist) . . (+2) . . Lógica computacional y teoría de modelos (2019-20)
- 17:11 17 oct 2019 (dif | hist) . . (+111) . . N Aplicaciones y casos de estudio (19-20) (Página creada con «En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.»)
- 17:11 17 oct 2019 (dif | hist) . . (+109) . . N Ejercicios evaluables (19-20) (Página creada con «En esta sección se publicarán las relaciones de ejercicios que constituyen la evaluación de la asignatura.»)
- 17:11 17 oct 2019 (dif | hist) . . (+164) . . N Ejercicios (19-20) (Página creada con «En esta sección se publicarán las relaciones de ejercicios que se escribirán de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.»)
- 17:10 17 oct 2019 (dif | hist) . . (+2) . . Lógica computacional y teoría de modelos (2019-20)
- 17:10 17 oct 2019 (dif | hist) . . (-43) . . Lógica computacional y teoría de modelos (2019-20)
- 17:09 17 oct 2019 (dif | hist) . . (+49) . . Lógica computacional y teoría de modelos (2019-20)
- 17:07 17 oct 2019 (dif | hist) . . (+215) . . Lógica computacional y teoría de modelos (2019-20) (→Material para el curso)
- 11:55 18 feb 2019 (dif | hist) . . (+1174) . . N Completación de redes metabólicas 2I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Problema de completación de…») (edición actual)
- 11:55 18 feb 2019 (dif | hist) . . (+837) . . N Completación de redes metabólicas 1I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Problema de completación de…») (edición actual)
- 11:54 18 feb 2019 (dif | hist) . . (+2804) . . N Completación de redes metabólicas (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Problema 6: Completación de re…») (edición actual)
- 11:53 18 feb 2019 (dif | hist) . . (+1140) . . N Reparación de redes metabólicas 1I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Problema de reparación de re…») (edición actual)
- 11:53 18 feb 2019 (dif | hist) . . (+2664) . . N Reparación de redes metabólicas (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Problema 5: Reparación de rede…») (edición actual)
- 11:49 18 feb 2019 (dif | hist) . . (+422) . . Aplicaciones a bioinformática (edición actual)
- 11:46 18 feb 2019 (dif | hist) . . (+570) . . Estructura secundaria del ARN 3I (edición actual)
- 11:45 18 feb 2019 (dif | hist) . . (+570) . . Estructura secundaria del ARN 2I (edición actual)
- 11:45 18 feb 2019 (dif | hist) . . (+367) . . Estructura secundaria del ARN 1I (edición actual)
- 11:44 18 feb 2019 (dif | hist) . . (+2523) . . Estructura secundaria del ARN (edición actual)
- 11:43 18 feb 2019 (dif | hist) . . (+2051) . . Interferencia de haplotipos 2I (edición actual)
- 11:43 18 feb 2019 (dif | hist) . . (+434) . . Interferencia de haplotipos 1I (edición actual)
- 11:42 18 feb 2019 (dif | hist) . . (+2044) . . Interferencia de haplotipos (edición actual)
- 11:42 18 feb 2019 (dif | hist) . . (+566) . . Reconstrucción filogenética 2I (edición actual)
- 11:41 18 feb 2019 (dif | hist) . . (+1860) . . Reconstrucción filogenética 1I (edición actual)
- 11:41 18 feb 2019 (dif | hist) . . (+3413) . . Reconstrucción filogenética (edición actual)
- 11:40 18 feb 2019 (dif | hist) . . (+35) . . N Estructura secundaria del ARN 3I (Página creada con «<source lang = "prolog"> </source>»)
- 11:40 18 feb 2019 (dif | hist) . . (+35) . . N Estructura secundaria del ARN 2I (Página creada con «<source lang = "prolog"> </source>»)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).