CS311H
Fall 2019 |

## Welcome to the home page for |

Instructor: | Işıl Dillig |

Lecture time: | Tuesday, Thursday 2:00 pm - 3:15 pm |

Lecture room: | GDC 1.304 |

Discussion sections: | Friday 1-2 pm (GDC 1.406) and Friday 2-3 pm (JGB 2.202) |

Instructor e-mail: | isil@cs.utexas.edu |

Instructor office hours: | Tuesday, Thursday 3:15-4:00 pm |

TA #1: | Ben Mariano (bmariano@cs.utexas.edu), Office hours: Monday 9-11am (GDC 5.710B) |

TA #2: | Maruth Goyal (maruth@utexas.edu), Office hours: Wednesday 2-4 pm (GDC 5.710B) |

Prerequisites: | Admission to the CS Turing Scholars program |

Textbook (optional): | Kenneth H. Rosen, Discrete Mathematics and Its Applications, 7th edition. |

Course Webpage: | http://www.cs.utexas.edu/~idillig/cs311h/ |

Date |
Lecture topics |
Handouts |
Reading |
Assigned |
Due |

09/03 | Logic 1 | Handout 1 | Rosen 1.1, 1.2 | Problem set 1 | |

09/05 | Logic 2 | Handout 2 | Rosen 1.3 | ||

09/10 | Logic 3 | Handout 3 | Rosen 1.4, 1.5 | Problem set 2 | Problem set 1 |

09/12 | Logic 4 | Handout 4 | Rosen 1.6 | ||

09/17 | Proof methods 1 | Handout 5 | Rosen 1.7, 1.8 | Problem set 3 | Problem set 2 |

09/19 | No class (career fair) | ||||

09/24 | Sets | Handout 7 | Rosen 2.1, 2.2 | ||

09/26 | Functions | Handout 8 | Rosen 2.3 | Problem set 4 | Problem set 3 |

10/01 | Number theory 1 | Handout 9 | Rosen 4.1 | ||

10/03 | Review | Problem set 4 | |||

10/08 | Exam 1 |
||||

10/10 | Number theory 2 | Handout 10 | Rosen 4.3 | Problem set 5 | |

10/15 | Combinatorics 1 | Handout 11 | Rosen 5.1 | ||

10/17 | Combinatorics 2 | Handout 12 | Rosen 5.2 | Problem set 6 | Problem set 5 |

10/22 | Combinatorics 3 | Handout 13 | Rosen 5.3 | ||

10/24 | Induction 1 | Handout 14 | Rosen 6.1, 6.2 | Problem set 6 | |

10/29 | Induction 2 | Handout 15 | Rosen 6.3, 6.4 | Problem set 7 | |

10/31 | Induction 3 | Handout 16 | Rosen 6.5 | ||

11/05 | Graphs 1 | Handout 17 | N/A | Problem set 7 | |

11/07 | Exam 2 |
||||

11/12 | Graphs 2 | Handout 18 | N/A | Problem set 8 | |

11/14 | Graphs 3 | Handout 19 | N/A | ||

11/19 | Complexity | Handout 20 | Rosen 3.2 | ||

11/21 | Recurrences | Handout 21 | Rosen 8.3 | Problem set 9 | Problem set 8 |

11/26 | Master theorem | Handout 22 | |||

11/28 | No class (Thanksgiving) | ||||

12/03 | Review | Problem set 9 | |||

12/05 | Exam 3 |
||||