21-300: Basic Logic, Fall 2016
Lectures MWF 9:30 - 10:20 in DH 2122
We will study propositional and first-order logic from a mathematical perspective, in particular analyzing soundness and completeness of the corresponding proof systems. We will also examine some structural aspects of logic in the form of model theory.
Unfortunately there is no textbook for the course. If I notice useful references over the course of the semester I will put them here.
Formal proofs in propositional logic
Formal proofs in first-order logic
Soundness of proofs in first-order logic
Tuesday 1:45-3:15 or by appointment in 7121 Wean Hall.
Your grade will be determined as follows:
20% homework (see below for details),
20% each of two midterms,
40% final exam.
Midterm 1 will take place in class on Wednesday, Oct 12. Material covered through lecture on Wednesday, Oct 5 is considered fair game for this exam. It will be a "closed everything" exam, meaning that no resources may be used for assistance, including but not limited to class notes.
Midterm 2 will take place in class on Wednesday, Nov 16. Material covered through lecture on Wednesday, Nov 9 is considered fair game for this exam. The exam policies are the same as those of Midterm 1.
Homework will typically be assigned on Wednesday and due the subsequent Wednesday no later than 2:00pm (either in my office or submitted electronically). Collaboration is encouraged on the assignments, aside from the starred problem as discussed below, but each student is expected to write up his or her own solutions. Use of external resources (on non-starred problems) is also permitted, but in the interest of academic honesty please be sure to cite your sources.
Each assignment will contain a single starred problem for which no collaboration nor external resource is allowed. You may consult only the text and your notes. Please obey these terms -- homework is graded on completeness anyway so there should be little incentive to cheat (if anything it will have a negative long-term effect on your grade).
HW1 (due Sept 14)
HW2 (due Sept 21)
HW3 (due Sept 28)
HW4 (due Oct 5)
HW5 (due FRIDAY Oct 14)
HW6 (due Oct 19)
HW7 (due Oct 26)
HW8 (due Nov 2)
HW9 (due FRIDAY Nov 11)
HW10 (due FRIDAY Nov 18)
HW11 (due Nov 30)
HW12 (due Dec 7)
Clinton T. Conley