CS311H
Fall 2016 |

## Welcome to the home page for |

Instructor: | Işıl Dillig |

Lecture time: | Tuesday, Thursday 5:00 pm - 6:15 pm |

Lecture room: | GDC 5.302 |

Discussion sections: | Mon 2-3 pm (SAC 5.102) and Wed 2-3pm (GDC 1.406) |

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

Instructor office hours: | Tuesday, Thursday 6:15-7:00 pm |

TA: | John Kallaugher |

TA's e-mail: | jmgkaa@gmail.com |

TA office hours: | Monday 3-5 pm |

Proctor: | Jacob Van Geffen |

Proctor's e-mail: | JSVANGEFFEN@gmail.com |

Proctor's office hours: | Wednesday 3-5 pm |

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 |
Slides |
Reading (optional) |
Assigned |
Due |

08/25 | Logic I | Handout 1 | Rosen 1.1, 1.2 | ||

08/30 | Logic II | Handout 2 | Rosen 1.3 | Homework 1 | |

09/01 | Logic III | Handout 3 | Rosen 1.4, 1.5 | ||

09/06 | Logic IV | Handout 4 | Rosen 1.6 | Homework 2 | Homework 1 |

09/08 | Logic V | Handout 5 | Rosen 1.7 | ||

09/13 | Proof methods | Handout 6 | Rosen 1.8 | Homework 3 | Homework 2 |

09/15 | Sets | Handout 7 | Rosen 2.1-2.2 | ||

09/20 | Career fair (no class) | ||||

09/22 | Functions | Handout 8 | Rosen 4.1, 4.2 | Homework 4 | Homework 3 |

09/27 | Number theory I | Handout 9 | Rosen 4.1, 4.2, 4.4 | Homework 4 | |

09/29 | Midterm I | ||||

10/04 | Number theory II | Handout 10 | Rosen 4.6 | Homework 5 | |

10/06 | Crypto | Handout 11 | |||

10/11 | Induction 1 | Handout 12 | Rosen 5.1, 5.2 | Homework 6 | Homework 5 |

10/13 | Induction II | Handout 13 | Rosen 5.3 | ||

10/18 | Induction III | Handout 14 | Rosen 5.3 | ||

10/20 | Combinatorics I | Handout 15 | Rosen 6.1, 6.2 | Homework 6 | |

10/25 | Combinatorics II | Handout 16 | Rosen 6.3-6.5 | Homework 7 | |

10/27 | Combinatorics III | Handout 17 | Rosen 6.5 | ||

11/01 | Graphs I | Handout 18 | Rosen 10.1, 10.2 | Homework 8 | Homework 7 |

11/03 | Graphs II | Handout 19 | Rosen 10.7, 10.8, 10.4 | ||

11/08 | Graphs III | Handout 20 | Rosen 11.1 | Homework 8 | |

11/10 | Midterm II | ||||

11/15 | Graphs IV | Handout 21 | Rosen 10.5 | Homework 9 | |

11/17 | Complexity | Handout 22 | Rosen 3.2 | ||

11/22 | Recurrences | Handout 23 | Rosen 8.3 | Homework 10 | Homework 9 |

11/24 | THANKSGIVING | ||||

11/29 | Master theorem | Handout 23 | Rosen 8.3 | ||

12/01 | Review | Homework 10 | |||