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 |