Course Description
Propositional logic (connectives and truth tables, complete sets of connectives, propositional calculus). First-order logic (first-order languages and structures, satisfiability and truth, first-order theories and properties, soundness and completeness theorems, compactness theorem and applications). Basic notions of model theory and examples of structures.
Agenda
Due day
Course event
System event
Personal event
Announcements
ALL ANNOUNCEMENTS...-
Wednesday, November 12, 2025, 8:13 PM
-
Wednesday, October 22, 2025, 6:01 PM