80-609 Formal Methods: Classical Logic

6 units, Carnegie Mellon University

This Formal Methods Mini covers the basics of classical logic, beginning with a rigorous development of propositional logic including soundness and completeness results and ending with an introduction to firstorder logic.

Prerequisites: none listed

Offered: Spring 2027

Courseweave needs JavaScript to show sections, workloads and planning tools.