Ma/CS 6c
 
Introduction to Discrete Mathematics
Spring 2013-14
 
TR 1:00 PM // 153 Sloan
Course Description | Policies | Textbooks | Lecture Notes | Homework

Instructor:  Andrew Marks, 260 Sloan, marks@caltech.edu
Office Hours:
M & W 10am-11:30am, and after class.
TAs: Victor Kasatkin. Office hours Sunday 5pm in 385 Sloan
Daodi Lu. Office hours Monday 2-3pm in 353 Sloan



Announcements
 


 
 



Course Description

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


Policies

There will be a weekly homework assignment due on Tuesday at 1pm. The lowest homework score will be dropped. There will be no exams for the class. On each homework there will be one starred problem on which no collaboration is allowed. For the other problems, collaboration is allowed but you should write up your own solutions. You cannot look up solutions to the problems from any source. No late submissions are allowed except for medical problems (note needed from the health center) or serious personal difficulties (note needed from the Dean's Office).

Textbooks


There will be no textbook. The course will be self-contained.


Lecture Notes
  Top





Date Description
Lecture 1
Lecture 2
Lecture 3-4
Lecture 5-6
Lecture 7
Lecture 8
Lecture 9
Lecture 10


Lecture 12
Lecture 13
Lecture 14
Lecture 15
   

Homework

Date Description
Homework 1

Homework 2
Homework 3

Homework 4
Homework 5
Homework 6
Homework 7
Homework 8
Homework 9