CS311H Fall 2020 |
![]() |
Welcome to the home page for |
Instructor: | Işıl Dillig |
Lecture time: | Tuesday, Thursday 2:00 pm - 3:15 pm |
Lecture room: | Zoom |
Discussion sections: | Friday 1-2 pm (Zoom) and Friday 2-3 pm (Zoom) |
Instructor e-mail: | isil@cs.utexas.edu |
Instructor office hours: | Thursday 5-6 pm |
TA #1: | Maruth Goyal (maruth@cs.utexas.edu), Office hours: Tuesday 3:30-4:30 pm |
TA #2: | Abby Criswell (abby@cs.utexas.edu), Office hours: Friday 12-1 pm |
TA #3: | Rahul Krishnan (rahulk64@utexas.edu), Office hours: Wednesday 2-3 pm |
TA #4: | Anand Iyer (anand.iyer@utexas.edu), Office hours: Monday 3:30-4:30 pm |
Staff email: | cs311h-staff@cs.utexas.edu |
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 |
08/27 | Logic 1 | Lecture 1 | Rosen 1.1, 1.2 | Problem set 1 |   |
09/01 | Logic 2 | Lecture 2 | Rosen 1.3 |   | |
09/03 | Logic 3 | Lecture 3 | Rosen 1.4, 1.5 | Problem set 2 | Problem set 1 |
09/08 | Logic 4 | Lecture 4 | Rosen 1.6 | ||
09/10 | Proof methods | Lecture 5 | Rosen 1.7, 1.8 | Problem set 3 | Problem set 2 |
09/15 | Sets | Lecture 6 | Rosen 2.1, 2.2 | 09/17 | Functions | Lecture 7 | Rosen 2.3 | Problem set 4 | Problem set 3 |
09/22 | Number theory 1 | Lecture 8 | Rosen 4.1 | ||
09/24 | Number Theory 2 | Lecture 9 | Rosen 4.3 | Problem set 5 | Problem set 4 |
09/29 | Exam 1 |   | |||
10/01 | Combinatorics 1 | Lecture 10 | Rosen 5.1 | ||
10/06 | Combinatorics 2 | Lecture 11 | Rosen 5.2 | Problem set 6 | Problem set 5 |
10/08 | Combinatorics 3 | Lecture 12 | Rosen 5.3 | ||
10/13 | Induction 1 | Lecture 13 | Rosen 6.1, 6.2 | Problem set 7 | Problem set 6 |
10/15 | Induction 2 | Lecture 14 | Rosen 6.3, 6.4 | ||
10/20 | Induction 3 | Lecture 15 | Rosen 6.5 | ||
10/22 | ITP 1 | Problem set 7 | |||
10/27 | Exam 2 | ||||
10/29 | ITP 2 | N/A | Problem set 8 | ||
11/03 | Graphs 1 | Lecture 16 | N/A | ||
11/05 | Graphs 2 | Lecture 17 | N/A | Problem set 9 | Problem set 8 |
11/10 | Graphs 3 | Lecture 18 | N/A | ||
11/12 | Complexity | Lecture 19 | Rosen 3.2 | Problem set 10 | Problem set 9 |
11/17 | Recurrences | Lecture 20 | Rosen 8.3 | ||
11/24 | Master theorem | Lecture 21 | |||
12/01 | Exam 3 | Problem set 10 | |||