MATH 5155 LOGIC

Truth functions, Post's theorem, sentence and predicate logic, decidability, completeness, recursive functions, formal arithmetic. Godel's theorem, applications to automata theory. An undergraduate course in logic or modern algebra, geometry or analysis.

Credits

3