MATH 414

Spring 2023 Part of Term 1

Part of Term 1
Jan 17-May 3

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.

My Favorites

My Schedule

Section Status updates every 10 minutes.

MATH 414 class schedule data for spring 2023
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	37954	Lecture-Discussion	C13	11:00AM -11:50AM	MWF	Altgeld Hall	Junge, M	Part of Term: 1 Date Range: 01/17/23-05/03/23 Credit: 3 hours Section Info: Open to both undergraduate and graduate students.
	37956	Lecture-Discussion	C14	11:00AM -11:50AM	MWF	Altgeld Hall	Junge, M	Part of Term: 1 Date Range: 01/17/23-05/03/23 Special Approval: Instructor Approval Required Credit: 4 hours Section Info: Graduate students requesting the 4 credit hour section must first register for the 3 hour section. If the instructor is willing to offer extra work to graduate students for the 4-hour section, students can fill out the request form between the first day of the semester and the 8th week of the semester at this link: https://go.math.illinois.edu/3to4credit Restriction(s): Not intended for Undergrad - Urbana-Champaign.