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 235: | Línea 235: | ||
== Recursos == | == Recursos == | ||
=== Clases === | |||
*[[Media:C2practica (Logica).pdf|Clase práctica número 2 (computabilidad)]]: Ejemplo de demostraciones de funciones primitivas recursivas. | |||
*[[Media:C3practica (Logica).pdf|Clase práctica número 3 (computabilidad)]]: Esquemas recursivos p.r. | |||
*[[Media:C5practica (Logica).pdf|Clase práctica número 5 (computabilidad)]]: Apunte de clases de funciones y ejercicios de Halt. | |||
*[[Media:C6practica (Logica).pdf|Clase práctica número 6 (computabilidad)]]: Teorema de la recursión, teorema del parámetro, etc. | |||
*[[Media:C7practica (Logica).pdf|Clase práctica número 7 (computabilidad)]]: Conjuntos r.e., Rice. | |||
*[[Media:L1practica (Logica).pdf|Clase práctica número 1 (lógica)]]: Lógica proposicional. | |||
*[[Media:L2practica (Logica).pdf|Clase práctica número 2 (lógica)]]: Conjuntos maximales consistentes. | |||
*[[Media:L3practica (Logica).pdf|Clase práctica número 3 (lógica)]]: Conjuntos maximales consistentes, teorema de la deducción, árboles LP, compacidad. | |||
=== Prácticas === | === Prácticas === | ||
*[[Media:Resueltos Tobis 2005 (Logica).zip|Prácticas resueltas de LyC del 2005]]. | |||
*[https://github.com/maurosch/Logica-y-Computabilidad Prácticas resueltas de LyC Verano 2021]. | *[https://github.com/maurosch/Logica-y-Computabilidad Prácticas resueltas de LyC Verano 2021]. | ||