21-300: Basic Logic, Fall 2017
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. Time permitting, towards the end of the semester we will investigate aspects of computability theory, including the incompleteness phenomenon.

Textbook:

Unfortunately, there is no textbook for the course. I will periodically post handouts on this webpage and indicate relevant external references in lecture.

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 Monday, October 9. Material up to and including HW4 is considered fair game for this exam. It will be a "closed everything" exam, meaning that no resources (such as class notes, etc.) may be used for assistance.
Front page of Midterm 1
Midterm 1 review sheet

Midterm 2 will take place in class on Monday, November 13. Material up to and including HW8 and class through Nov 3 is considered fair game for this exam. The policies are the same as for midterm 1.
Midterm 2 review sheet

Homework:

Homework will typically be assigned on Wednesday and due the subsequent Wednesday no later than noon. Hardcopies of homework may be submitted in class that morning or in my office, and I also accept electronic submission via email. Collaboration is encouraged on the assignments, aside from starred problems 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 may 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 6)

Solutions

HW2 (due Sept 20)

Solutions

HW3 (due Sept 27)

Solutions

HW4 (due Oct 4)

Solutions

HW5 (due Oct 18)

Solutions

HW6 (due Oct 25)

Solutions

HW7 (due Nov 1)

Solutions

HW8 (due Nov 8)

Solutions

HW9 (due Nov 29)



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