MATH 414

Spring 2005 Part of Term 1

Part of Term 1
Jan 18-May 4

Mathematical Logic

Credit: 3 OR 4 hours.

(MATH 314) Introduction to the formalization of mathematics and the study of axiomatic systems; expressive power of logical formulas; detailed treatment of propositional logical and predicate logic; compactness theorem and Godel completeness theorem, with applications to specific mathematical theories; algorithmic aspects of logical formulas. Proofs are emphasized in this course, which can serve as an introduction to abstract mathematics and rigorous proof; some ability to do mathematical reasoning required.

3 undergraduate hours. 3 or 4 graduate hours. 4 hours of credit requires approval of the instructor and completion of additional work of substance. Prerequisite: MATH 347 or MATH 348 or equivalent experience.

This course satisfies the General Education Criteria in Fall 2022 for:

Quantitative Reasoning II

My Favorites

My Schedule

Section Status updates every 10 minutes.

MATH 414 class schedule data for spring 2005
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	37954	Lecture-Discussion	D13	11:00AM -11:50AM	MWF	Foreign Languages Building	Ealy, C	Part of Term: 1 Date Range: 01/18/05-05/04/05 Degree Notes: Quant Reasoning II course. Credit: 3 hours Section Info: Open to both undergraduate and graduate students.
	37956	Lecture-Discussion	D14	11:00AM -11:50AM	MWF	Foreign Languages Building	Ealy, C	Part of Term: 1 Date Range: 01/18/05-05/04/05 Degree Notes: Quant Reasoning II course. Special Approval: Instructor Approval Required Credit: 4 hours Section Info: Instructor approval forms available in 221 Altgeld Hall beginning January 13, 2005. Restriction(s): Not intended for Undergrad - Urbana-Champaign.