Lógica para Computación (First Semester 2019)

Undergraduate course, National University of San Luis, Informatics Department, 2019

"Lógica para Computación" is a required computer science undergraduate course at the National University of San Luis that provides a broad overview of propositional calculus and first-order logic.