Contribuciones del usuario Amacias
De Cuba-Wiki
10 nov 2019
- 23:1923:19 10 nov 2019 difs. hist. +48 m Final del 22/10/18 (Lógica y Computabilidad) →Ejercicio 4 última
- 19:1119:11 10 nov 2019 difs. hist. +1224 N Final del 22/10/18 (Lógica y Computabilidad) Página creada con «=Ejercicio 1= Sea A = {p, |, ¬, ʌ, v, →, (, )} y sea S un sub-conjunto de A* cerrado por los conectivos. Probar que si S contiene a todas las variables proposicionales,…»
- 18:1918:19 10 nov 2019 difs. hist. +130 m Lógica y Computabilidad →Departamento de Matemática