MATH4152
MATH 4152 - Elementary Mathematical Logic (3 Cr.)
School of Mathematics (11133)
TIOT - College of Science and Engineering
MATH 4152 - Elementary Mathematical Logic (3 Cr.)
Course description
Propositional logic. Predicate logic: notion of a first order language, a deductive system for first order logic, first order structures, Godel's completeness theorem, axiom systems, models of formal theories.
prereq: one soph math course or instr consent
prereq: one soph math course or instr consent
Minimum credits
3
Maximum credits
3
Is this course repeatable?
No
Grading basis
OPT - Student Option
Lecture
Credit will not be granted if credit has been received for:
00071
Fulfills the writing intensive requirement?
No
Typically offered term(s)
Every Spring