Introduction to Discrete Mathematics

Course Description and Grading Breakdown

The material covered in this term will include an introduction to mathematical logic, including propositional and predicate (or first-order) calculus.  We will discuss the syntax and semantics of formal languages, formal proofs, and the Gödel Completeness and Incompleteness Theorems.

There are no prerequisites for this course.

There will be no final exams. The grade will be based on 6 written assignments consisting of three questions each. Each question is worth 10 points.

Course Meeting Time and Location
Tuesday and Thursday
1:00 - 2:25 pm
B122 Gates Chemical Laboratory (GCL, Building #26)

Course Instructor Contact Information and Office Hours
210-1 Math Building (Building 15)

TA Contact Information and Office Hours
1-G Math Building
Office hours: Sundays 4 - 5 PM in 107 Downs Laboratory (Building 47)

Course Schedule and Textbook

There will be no official textbook.  The lectures will follow notes that will be posted here.

 April 3, 2018    Lecture 1
 April 5, 2018    Lecture 2
 April 10, 2018      Lecture 3
 April 12, 2018 Lecture 4
 April 17, 2018  Lecture 5
 April 19, 2018     Lecture 6
 April 24, 2018 Lecture 7
 April 26, 2018 Lecture 8
 May 1, 2018 Lecture 9
 May 3, 2018 Lecture 10
 May 8, 2018 Lecture 11
 May 10, 2018 Lecture 12
 May 15, 2018 Lecture 13
 May 17, 2018 Lecture 14
 May 22, 2018 Lecture 15

Interested students can consult the following books:

Enderton, A mathematical introduction to logic. Second Edition (2001)

Shoenfield, Mathematical logic. Second Edition (2001)

Manin, A course in mathematical logic for mathematicians. Second Edition (2010)

The following is a book containing a wealth of examples of proofs by induction taken from a variety of mathematical subjects, and aimed at undergraduate students:

David Gunderson, Handbook of Mathematical Induction, CRC Press, 2011

Course Policies

  • Please staple a blank page containing only your name at the front of the assignment.
  • You are encouraged to work in groups on the assignments. However, you are required to write your solution on your own and not to look at written solutions of other students.

 Date PostedAssignment Due Date  Solutions
   April 6 Homework 1  April 23 Homework 1 Solutions
  April 17 Homework 2 April 30        Homework 2 Solutions
  May 1 Homework 3 May 14 Homework 3 Solutions
  May 8 Homework 4 May 21 Homework 4 Solutions
 May 22 Homework 5 May 28 Homework 5 Solutions
 May 22 Homework 6 June 4 Homework 6 Solutions

Midterm and Final Exam

Collaboration Table
You may consult: 
Course textbook (including answers in the back)YES
Other booksYES
Solution manualsNO
Your notes (taken in class)YES
Class notes of othersYES
Your hand copies of class notes of othersYES
Photocopies of class notes of othersYES
Electronic copies of class notes of othersYES
Course handoutsYES
Your returned homework / examsYES
Solutions to homework / exams (posted on webpage)YES
Homework / exams of previous yearsNO
Solutions to homework / exams of previous yearsNO
Emails from TAsYES
You may:
Discuss problems with othersYES
Look at communal materials while writing up solutionsYES
Look at individual written work of othersNO
Post about problems onlineNO
For computational aids, you may use:

* You may use a computer or calculator while doing the homework, but may not refer to this as justification for your work.  For example, "by Mathematica" is not an acceptable justification for deriving one equation from another.  Also, since computers and calculators will not be allowed on the exams, it's best not to get too dependent on them.

Connor Meehan,
Apr 30, 2018, 4:38 PM
Connor Meehan,
May 7, 2018, 5:43 PM
Connor Meehan,
May 26, 2018, 5:17 PM
Connor Meehan,
May 29, 2018, 4:44 PM
Connor Meehan,
Jun 4, 2018, 5:26 PM
Connor Meehan,
Jun 25, 2018, 1:46 PM
Connor Meehan,
Apr 17, 2018, 7:12 PM
Connor Meehan,
May 30, 2018, 8:26 PM