MATH 570

Fall 2016 All Classes

All Classes

Mathematical Logic

Credit: 4 hours.

Development of first order predicate logic; completeness theorem; formalized number theory and the Godel incompleteness theorem.

Prerequisite: MATH 417 or consent of instructor.

My Favorites

My Schedule

Section Status updates every 10 minutes.

MATH 570 class schedule data for fall 2016
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	30831	Lecture-Discussion	X1	10:00AM -10:50AM	MWF	141 Altgeld Hall	Van Den Dries, L	Part of Term: 1 Date Range: 08/22/16-12/07/16 Section Info: Undergraduate students may register with approval. For more information go to room 313 AH. Students from the following programs must contact the Director of Graduate Studies in Mathematics <Laugesen@illinois.edu> to request permission to register for the course: Restricted to Graduate - Urbana-Champaign. Not intended for MS:Economics:Policy Econ -UIUC, MS:Economics:Policy Econ -UIUC, MS: Financial Engineering, MENG:Mechanical Enginerng-UIUC, MENG:Elec & Computer Eng-UIUC, or MENG:Engineering:Comp Eng-UIUC Restriction(s): Restricted to Graduate - Urbana-Champaign. Not intended for MS:Economics:Policy Econ -UIUC, MS: Financial Engineering, MENG:Mechanical Enginerng-UIUC, MENG:Elec & Computer Eng-UIUC, or MENG:Engineering:Comp Eng-UIUC.