CS311H
Fall 2021 |

## Welcome to the home page for |

Instructor: | Işıl Dillig |

Lecture time: | Tuesday, Thursday 12:30 - 2 pm |

Lecture room: | GDC 1.304 and Zoom |

Discussion sections: | Friday 12-1 pm (GDC 4.302) and Friday 3-4 pm (GDC 6.202) |

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

Instructor office hours: | Thursday 3:30-4:30pm |

TA #1: | Alex Burton (amacburton@gmail.com), Office hours: Wednesday 3-4:30 pm |

TA #2: | Meyer Zinn (meyer.zinn@utexas.edu), Office hours: Thursday 11-12:30 pm |

TA #3: | Kate Jouett (kate.jouett@gmail.com), Office hours: Monday 2:30-4pm |

TA #4: | Amelia Baumhart Leveille (ameliabl@utexas.edu), Office hours: Monday 12:30-2pm |

TA #5: | Steven Cheng (stevencheng@utexas.edu), Office hours: Tuesday 3:30-5pm |

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/31 | Logic 1 | Lecture 1 | Rosen 1.1, 1.2 | Problem set 1 | |

09/02 | Logic 2 | Lecture 2 | Rosen 1.3 | ||

09/07 | Logic 3 | Lecture 3 | Rosen 1.4, 1.5 | Problem set 2 | Problem set 1 |

09/09 | Logic 4 | Lecture 4 | Rosen 1.6 | ||

09/14 | Proof methods | Lecture 5 | Rosen 1.7, 1.8 | Problem set 3 | Problem set 2 |

09/16 | Sets | Lecture 6 | Rosen 2.1, 2.2 | ||

09/21 | Functions | Lecture 7 | Rosen 2.3 | Problem set 4 | Problem set 3 |

09/23 | Number theory 1 | Lecture 8 | Rosen 4.1 | ||

09/28 | Number Theory 2 | Lecture 9 | Rosen 4.3 | Problem set 5 | Problem set 4 |

09/30 | Exam 1 | ||||

10/05 | Combinatorics 1 | Lecture 10 | Rosen 5.1 | ||

10/07 | Combinatorics 2 | Lecture 11 | Rosen 5.2 | Problem set 6 | Problem set 5 |

10/12 | Combinatorics 3 | Lecture 12 | Rosen 5.3 | ||

10/14 | Induction 1 | Lecture 13 | Rosen 6.1, 6.2 | Problem set 7 | Problem set 6 |

10/19 | Induction 2 | Lecture 14 | Rosen 6.3, 6.4 | ||

10/21 | Induction 3 | Lecture 15 | Rosen 6.5 | ||

10/26 | Graphs 1 | Lecture 16 | Problem set 7 | ||

10/28 | Exam 2 | ||||

11/02 | Graphs 2 | Lecture 17 | N/A | Problem set 8 | |

11/04 | Graphs 3 | Lecture 18 | N/A | ||

11/09 | Complexity | Lecture 19 | N/A | Problem set 9 | Problem set 8 |

11/11 | Recurrences | Lecture 20 | N/A | ||

11/16 | Master theorem | Lecture 21 | Rosen 3.2 | ||

11/18 | TBD | Problem set 9 | |||

11/30 | TBD | ||||

12/01 | Exam 3 | ||||