Math 570 (Intro to Logic and Computability)/Phil 006 (Formal Logic II)/Lgic 310 (Logic I)
Mondays from 10-11:30 and Thursdays from 3:15-4:15
The textbook for this class is Enderton A Mathematical Introduction to Logic
, 2nd ed. 2001.
Homework will be assigned roughly weekly.
There will be two exams, an in-class midterm on October 15th and a final exam on Monday, December 14 from 12:00-2:00.
Grades will be based on: 30% Homework, 30% Midterm, 40% Final Exam.
If you believe there is a mistake on any grading, you have two weeks
from when the item is handed back to bring it to my attention.