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.

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
Higher-Order Predicate Logics
Advanced Topics
Fuzzy Logic