UI Wordmark

MATH 414 C13 - Mathematical Logic

Campus: Urbana-Champaign

Description:

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. Course Information: 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.

Special Instructions:

Attendance may be required at the scheduled meeting times

Option 1

Number of Required Visit(s): 0

Course Level: Graduate

Credit: 3

Term(s): Spring


Home

Bachelor's Degree

Master's Degree

Doctoral Degree

Certificates

Continuing Education

Search Programs

Search Courses

FAQ

Contact Us


University of Illinois Online
Phone: (866) 633-8465 - Join Us  Facebook
© Copyright 2015 - University of Illinois

Cookie Settings