Lógica y técnicas de demostración: curso de Ciencias de la Computación | Zoonk
14. Lógica y técnicas de demostración
Cubre lógica proposicional y de predicados, cuantificadores, inducción, contradicción e invariantes. El estudiante redacta y revisa demostraciones breves sobre programas y estructuras discretas.
