< back Printer Version  
Class Detail:

WN 2009
Philosophy
PHIL 414 - Mathematical Logic
Section 001
Credits: 3
Requirements & Distribution: BS, QR/1
Advisory Prerequisites: One PHIL or MATH course.
Other Course Info: F.
BS: This course counts toward the 60 credits of math/science required for a Bachelor of Science degree.
Repeatability: May not be repeated for credit.
Primary Instructor: Sklar,Lawrence

 
(real time availability for all sections)

The course will cover propositional logic and predicate logic, with an introduction to the methods of logic and proofs of metatheorems about the systems. There will also be introductory material on logicism, set theory and a proof of the undecidability of predicate logic.

Course Syllabi
Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms.

Search for Syllabus
Textbooks/Other Materials (data maintained by department in Wolverine Access)
Note: Please use Wolverine Access Class Search to check for textbook information.

College of Literature, Science, and the Arts 500 S. State Street, Ann Arbor, MI  48109 © 2012 Regents of the University of Michigan