Courses - Fall 2023
MATH445
Elementary Mathematical Logic
Credits:
3
Grad Meth:
Reg, P-F, Aud
Prerequisite: Minimum grade of C- in MATH141.
Elementary development of propositional and predicate logic, including semantics and deductive systems and with a discussion of completeness, incompleteness and the decision problem.
Flagship Institution of the University System of Maryland
University of Maryland, College Park, MD 20742, USA
/
Phone:
301.405.1000
Copyright
© 2024 University of Maryland
/
Privacy /
Web Accessibility
Contact us
with comments, questions and feedback
/