MATH 5051: Introduction to Mathematical Logic

October 20, 2013
Syntax and semantics of sentential logic, syntax and semantics of first-order logic, compactness of first-order logic, Goedel's completeness theorem, theories and models of theories, Goedel's incompleteness theorems; computability. Prereq: 4547 (547), 4580 (580), Grad standing, or permission of department. Not open to students with credit for 648 or 649.
Credit Hours: 
3.0

Textbook

Title: 
No text required.


To find course availability and times, please visit the Ohio State Course Catalog and Master Schedule.


[pdf] - Some links on this page are to Adobe .pdf files requiring the use of Adobe Reader. If you need these files in a more accessible format, please webmaster@math.osu.edu.