MATH 3155 MATHEMATICAL LOGIC

This course covers the fundamentals of mathematical logic. Propositional logic. First order logic. Syntax and Semantics. Models. Satisfiability. Soundness and Completeness. Construction of new models form existing models, Recursive and recursively enumerable sets, Arithmetization, Representability, Godel incompleteness theorem, Computability, and Applications to Computer Science.