Contribuciones del usuario Klifort

21 sep 2017

• 21:0221:02 21 sep 2017 difs. hist. +877‎ N Final del 20/09/2017 (Ingeniería I) ‎ Página creada con «Escrito - Braverman 1) Indique si es cierta la siguiente afirmación. Para LTS determinísticos la igualdad de trazas es equivalente a la bisimulación. Justifique 2) Qu...» última
• 20:5620:56 21 sep 2017 difs. hist. +63‎ Ingeniería de Software I (Vieja) ‎ →‎Final

13 sep 2014

• 00:4100:41 13 sep 2014 difs. hist. +10‎ Final del 10/09/14 (Lógica y Computabilidad) ‎ →‎Ejercicio 2
• 00:4000:40 13 sep 2014 difs. hist. +52‎ Final del 10/09/14 (Lógica y Computabilidad) ‎Sin resumen de edición
• 00:3800:38 13 sep 2014 difs. hist. +668‎ N Final del 10/09/14 (Lógica y Computabilidad) ‎ Página creada con «=Ejercicio 1= a) Dar el concepto de consecuencia para lógica proposicional b) Demostrar que <math>\beta</math> es consecuencia lógica de <math>\Gamma</math> si y sólo...»

12 sep 2014

• 15:0015:00 12 sep 2014 difs. hist. +536‎ N Final del 16/07/13 (Lógica y Computabilidad) ‎ Página creada con «=Ejercicio 1= a) Dar el concepto de subfórmula. b) Si B es subfórmula de A, demostrar que pertenece a toda cadena de formación de A. =Ejercicio 2= Dar la noción d...»
• 14:5714:57 12 sep 2014 difs. hist. 0‎ Lógica y Computabilidad ‎ →‎Finales
• 14:5614:56 12 sep 2014 difs. hist. 0‎ Lógica y Computabilidad ‎ →‎Finales
• 14:5314:53 12 sep 2014 difs. hist. +230‎ Lógica y Computabilidad ‎ →‎Finales