This course presents an introduction to mathematical logic with emphasis in Computer Science applications and methodologies. Topics include propositional and predicate logic, methods for deductive and inductive reasoning, applications to Boolean circuits, database queries, program verification, and automated reasoning in artificial intelligence.
Winter 2022