CS243 Fall 2012 
Welcome to the home page for 
Instructor:  Işıl Dillig 
Time:  Tuesday, Thursday 2:00 pm  3:20 pm 
Place:  McGlothlinStreet (MCGL) Hall 20 
Instructor email:  idillig@cs.wm.edu 
Instructor office hours:  Tuesday 3:20 pm  5:20 pm; Thursday 3:20 pm4:20 pm in MCGL 111 
TA:  Weilin Wang 
TA's email:  wwang01@email.wm.edu 
TA's office hours:  Monday 46 PM, Tuesday 910 AM in MCGL 139 
Prerequisite:  CS 141  Computational Problem Solving 
Textbook:  Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6th edition, McGraw Hill, 2007 
Course Webpage:  http://www.cs.wm.edu/~idillig/cs243/ 
Date  Lecture topics  Slides  Reading  Assigned  Due 
08/30  Propositional Logic  Lecture 1  Rosen 1.1 (p. 116)  
09/04  Satisfiability, validity  Lecture 2  Rosen 1.2 (p. 2130)  Homework 1 (Latex source) 

09/06  First Order Logic  Lecture 3  Rosen 1.3, 1.4  
09/11  Logical Inference Rules  Lecture 4  Rosen 1.5  Homework 2 (Latex source) 
Homework 1 
09/13  Proof Methods  Lecture 5  Rosen 1.6, 1.7  
09/18  Sets  Lecture 6  Rosen 2.1, 2.2  Homework 3 (Latex source) 
Homework 2 
09/20  Functions  Lecture 7  Rosen 2.3  
09/25  Sequences, summations  Lecture 8  Rosen 2.4  Homework 3  
09/27  Midterm I review  
10/02  MIDTERM I  
10/04  Number theory I  Lecture 9  Rosen 3.4, 3.5  
10/09  Number Theory II  Lecture 10  Rosen 3.6, 3.7  Homework 4 (Latex source) 

10/11  Mathematical induction  Lecture 11  Rosen 4.1  
10/16  FALL BREAK  
10/18  Class canceled  
10/23  Strong induction, recursion  Lecture 12  Rosen 4.2  Homework 5 (Latex source) 
Homework 4 
10/25  Structural Induction  Lecture 13  Rosen 4.3  

10/30  Intro to counting  Lecture 14  Rosen 5.1, 5.2  
11/01  Permuations, combinations  Lecture 15  Rosen 5.3  Homework 5  
11/06  Midterm II review  
11/08  MIDTERM II  
11/13  Solve midterm 2  
11/15  Permutations, combinations  Lecture 16  Rosen 5.4, 5.5  Homework 6 (Latex source) 

11/20  No lecture  
11/22  THANKSGIVING  
11/27  Probability  Lecture 17  Rosen 6.1, 6.2  Homework 6  
11/29  Probability  Lecture 18  Rosen 6.3, 6.4  Homework 7 (Latex source) 

12/04  Final Review  Lecture 19  
12/06  Final Review  