Edición de «Lógica y Computabilidad»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 33: | Línea 33: | ||
==== Lógica ==== | ==== Lógica ==== | ||
* [[Práctica 4 (LyC Verano) | Práctica 4 - Logica Proposicional]] | |||
* [[Práctica 5 (LyC Verano) | Práctica 5 - Sistemas Deductivos y Compacidad]] | |||
* [[Práctica 6 (LyC Verano) | Práctica 6 - Logica de Primer Orden]] | |||
* [[Práctica 7 (LyC Verano) | Práctica 7 - Sistemas Deductivos, Completitud y Compacidad (1º Orden)]] | |||
=== Departamento de Matemática === | === Departamento de Matemática === |