21-300: Basic Logic, Fall 2016
Lectures MWF 9:30 - 10:20 in DH 2122


Course Description

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.

Textbook:

Unfortunately there is no textbook for the course. If I notice useful references over the course of the semester I will put them here.

Handouts:

Formal proofs in propositional logic
Formal proofs in first-order logic
Soundness of proofs in first-order logic

Office Hours:

Tuesday 1:45-3:15 or by appointment in 7121 Wean Hall.

Grades:

Your grade will be determined as follows:
20% homework (see below for details),
20% each of two midterms,
40% final exam.

Exams:

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:

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)

Solutions

HW2 (due Sept 21)

Solutions

HW3 (due Sept 28)

Solutions

HW4 (due Oct 5)

Solutions

HW5 (due FRIDAY Oct 14)

Solutions

HW6 (due Oct 19)

Solutions

HW7 (due Oct 26)

Solutions

HW8 (due Nov 2)

Solutions

HW9 (due FRIDAY Nov 11)

Solutions

HW10 (due FRIDAY Nov 18)

Solutions

HW11 (due Nov 30)

HW12 (due Dec 7)

Solutions


Clinton T. Conley
clintonc[at]andrew.???.edu