MATH5165
MATH 5165 - Mathematical Logic I (4 Cr.)
School of Mathematics (11133)
TIOT - College of Science and Engineering
MATH 5165 - Mathematical Logic I (4 Cr.)
Course description
Theory of computability: notion of algorithm, Turing machines, primitive recursive functions, recursive functions, Kleene normal form, recursion theorem. Propositional logic.
prereq: 2283 or 3283 or Phil 5201 or CSci course in theory of algorithms or instr consent
prereq: 2283 or 3283 or Phil 5201 or CSci course in theory of algorithms or instr consent
Minimum credits
4
Maximum credits
4
Is this course repeatable?
No
Grading basis
OPT - Student Option
Lecture
Requirements
001186
Credit will not be granted if credit has been received for:
00071
Fulfills the writing intensive requirement?
No
Typically offered term(s)
Every Fall