CS311H Fall 2018 |
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 12-1 pm (GDC 1.406) and Friday 1-2 pm (GDC 1.406) |
Instructor e-mail: | isil@cs.utexas.edu |
Instructor office hours: | Tuesday, Thursday 3:15-4:00 pm |
TA #1: | Varun Adiga (varun.adiga@utexas.edu), Office hours: Friday 2-3:30 pm (TA desk outside of class) |
TA #2: | Akshay Gupta (akshaykg42@gmail.com), Office hours: Monday 5-6:30 pm (TA desk outside of class) |
TA #3: | Aditya Durvasula (adityadurvasula@utexas.edu), Office hours: Thursday 11-12:30 pm (TA desk outside of class) |
TA #4: | Rohan Nair (rohan.nair@utexas.edu), Office hours: Wednesday 2-3:30pm (TA desk outside of class) |
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/04 | Logic 1 | Handout 1 | Rosen 1.1, 1.2 | Problem set 1 |   |
09/06 | Logic 2 | Handout 2 | Rosen 1.3 |   | |
09/11 | Logic 3 | Handout 3 | Rosen 1.4, 1.5 | Problem set 2 | Problem set 1 |
09/13 | Logic 4 | Handout 4 | Rosen 1.6 | ||
09/18 | Proof methods 1 | Handout 5 | Rosen 1.7, 1.8 | ||
09/20 | No class (career fair) | Problem set 2 | 09/25 | Proof Methods 2 | Handout 6 | Rosen 1.8 | Problem set 3 |
09/27 | Sets | Handout 7 | Rosen 2.1, 2.2 | ||
10/02 | Functions | Handout 8 | Rosen 2.3 | Problem set 4 | Problem set 3 |
10/04 | Number theory 1 | Handout 9 | Rosen 4.1 | ||
10/09 | Exam 1 | ||||
10/11 | Number theory 2 | Handout 10 | Rosen 4.3 | ||
10/16 | Induction 1 | Handout 11 | Rosen 5.1 | ||
10/18 | Induction 2 | Handout 12 | Rosen 5.2 | Problem set 5 | Problem set 4 |
10/23 | Induction 3 | Handout 13 | Rosen 5.3 | ||
10/25 | Combinatorics 1 | Handout 14 | Rosen 6.1, 6.2 | ||
10/30 | Combinatorics 2 | Handout 15 | Rosen 6.3, 6.4 | Problem set 6 | Problem set 5 |
11/01 | Combinatorics 3 | Handout 16 | Rosen 6.5 | ||
11/06 | Graphs 1 | Handout 17 | N/A | Problem set 6 | |
11/08 | Exam 2 | ||||
11/13 | Graphs 2 | Handout 18 | N/A | Problem set 7 | |
11/15 | Graphs 3 | Handout 19 | N/A | ||
11/20 | Complexity | Handout 20 | Rosen 3.2 | Problem set 8 | Problem set 7 |
11/22 | No class (Thanksgiving) |   | |||
11/27 | Recurrences | Handout 21 | Rosen 8.3 | ||
11/29 | Master theorem | Handout 22 | N/A | ||
12/04 | Review | Problem set 8 | |||
12/06 | Exam 3 | ||||