UMD MATH 445 Entire Course

University of Maryland MATH 445 Elementary Mathematical Logic Entire Course

Elementary development of propositional and predicate logic, including semantics and deductive systems, and with a discussion of completeness, incompleteness, and the decision problem.

Note: This entire Course includes discussions, assignments, course projects, and exams.