CENG 385

Mathematical Logic

Propositional logic: syntax, semantics, decision procedures; first-order logic: syntax, semantics, definability, formal system, completeness, undecidability, incompleteness; second-order logic; advanced topics: many-valued logic, modal logic, temporal logic, fuzzy logic.

Topics
Overview
Propositions in Propositional Logic
Normal Forms in Propositional Logic
Semantics of Propositional Logic
Inference in Propositional Logic
Syntaxt and Semantics of Predicate Logic
Satisfiability of Predicate Logic
Formal Systems of Predicate Logic
Completeness of Predicate Logic
Undecidability and Incompleteness of Predicate Logic
Summary
Higher-Order Predicate Logics
Advanced Topics
Fuzzy Logic