MATH 414

Spring 2017 All Classes

All Classes

Mathematical Logic

SHOW FINAL EXAM SCHEDULE

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 or 4 undergraduate hours. 3 or 4 graduate hours. 4 hours of credit requires approval of the instructor and department with 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 2017
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	37954	Lecture-Discussion	C13	10:00AM -10:50AM	MWF	143 Henry Administration Bldg	Van Den Dries, L	Part of Term: 1 Date Range: 01/17/17-05/03/17 Degree Notes: Quant Reasoning II course. Credit: 3 hours Section Info: Open to both undergraduate and graduate students.
	37956	Lecture-Discussion	C14	10:00AM -10:50AM	MWF	143 Henry Administration Bldg	Van Den Dries, L	Part of Term: 1 Date Range: 01/17/17-05/03/17 Degree Notes: Quant Reasoning II course. Special Approval: Instructor Approval Required Credit: 4 hours Section Info: Instructor approval forms available in 313 Altgeld Hall beginning on the first day of spring semester. Restriction(s): Not intended for Undergrad - Urbana-Champaign.