MATH 414

Spring 2006 All Classes

All Classes

Mathematical Logic

Credit: 3 OR 4 hours.

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 2006
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	37950	Lecture-Discussion	C13	10:00AM -10:50AM	MWF	152 Henry Administration Bldg	Ealy, C	Part of Term: 1 Date Range: 01/17/06-05/03/06 Degree Notes: Quant Reasoning II course. Credit: 3 hours Section Info: Open to both undergraduate and graduate students.
	37953	Lecture-Discussion	C14	10:00AM -10:50AM	MWF	152 Henry Administration Bldg	Ealy, C	Part of Term: 1 Date Range: 01/17/06-05/03/06 Degree Notes: Quant Reasoning II course. Special Approval: Instructor Approval Required Credit: 4 hours Section Info: Instructor approval forms available in 313 Altgeld Hall. Restriction(s): Not intended for Undergrad - Urbana-Champaign.