CS311H Fall 2025


    Welcome to the home page for
    CS 311H: Discrete Math Honors!


Logistical Information:

Instructor: Işıl Dillig
Lecture time: Tuesday, Thursday 5-6:15 pm
Lecture room: GDC 5.302
Discussion sections: Friday 12–1:30 pm (WCP 5.102) and Friday 1–2:30 pm (GDC 4.302)
Instructor e-mail: isil@cs.utexas.edu
Instructor office hours: Tuesday 6:15-7pm
TAs: Angela Zhang, Kush Sharma, Noah Schell, Archit Patil
Prerequisites: Admission to the CS Turing Scholars program
Textbook (optional): Kenneth H. Rosen, Discrete Mathematics and Its Applications, 7th edition.

Course Description:

This course covers elementary discrete mathematics for computer science. It emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, proof methods; sets, functions, relations; mathematical induction, recursion; elementary graph theory; basic complexity theory, recurrences. Please refer to the syllabus for a more detailed description.

Requirements and Grading:

  • This course has three exams that collectively count for 50% of the grade
  • There will be weekly quizzes held during Friday section. The quizzes collectively count for 45% of your final grade.
  • Class participation is required and will count for 5% of your grade. Students are expected to attend class and strongly encouraged to ask and answer questions. Students are also expected to be active on Ed Discussion and strongly encouraged to answer each others' questions.
  • The final grades will be curved, so please do not stress out if the mean is low on an exam or quiz!

    • Discussion Forum:

    All course-related discussions will take place on our Ed Discussion page.

    Announcements:

  • The first class will meet on August 26.
  • This class will make heavy use of Canvas and Ed Discussion, so please familiarize yourself with those platforms.
  • TA office hours and locations will be announced on Ed Discussion.
  • If you need to contact the course staff, please send us a private message on Ed Discussion.

    • Honor Code (Read Carefully!):

  • We take the honor code extremely seriously, and people have faced severe consequences in the past (including failing the class) for not complying with the honor code. So please read this section very carefully.
  • You may not discuss exam questions until after the exams have been graded and handed back, as some of your classmates may not yet have taken the exam.
  • For general guidance on academic honesty, please refer to the departmental guidelines.
  • If you are ever in doubt about honor-code-related issues, please come and talk to the course staff to avoid getting in trouble down the road.

    • Syllabus:

    Date Lecture topics Handouts Reading
    08/22 Logic 1 Lecture 1  |  [6up] Rosen 1.1, 1.2
    08/24 Logic 2 Lecture 2  |  [6up] Rosen 1.3
    08/29 Logic 3 Lecture 3  |  [6up] Rosen 1.4, 1.5
    08/31 Logic 4 Lecture 4  |  [6up] Rosen 1.6
    09/05 Logic 5 Lecture 5  |  [6up] Rosen 1.6
    09/07 Proof methods Lecture 6  |  [6up] Rosen 1.7, 1.8
    09/12 Proof methods & Sets Lecture 7  |  [6up] Rosen 2.1, 2.2
    09/14 Sets cont. Lecture 8  |  [6up] Rosen 2.1, Rosen 2.2
    09/18 Functions Lecture 9  |  [6up] Rosen 2.3
    09/23 Number theory 1 Lecture 10  |  [6up] Rosen 4.1
    09/25 Number theory 2 Lecture 11  |  [6up] Rosen 4.3
    09/30 Exam 1 review    
    10/02 Exam 1    
    10/07 Combinatorics 1 Lecture 12  |  [6up] Rosen 6.1, 6.2
    10/09 Combinatorics 2 Lecture 13  |  [6up] Rosen 6.3, 6.4
    10/14 Combinatorics 3 Lecture 14  |  [6up] Rosen 6.5
    10/16 Induction 1 Lecture 15  |  [6up] Rosen 5.1
    10/21 Induction 2 Lecture 16  |  [6up] Rosen 5.2
    10/23 Induction 3 Lecture 17  |  [6up] Rosen 5.3
    10/28 Graphs 1 Lecture 18  |  [6up] N/A
    10/30 Graphs 2 Lecture 19  |  [6up] N/A
    11/04 Exam review    
    11/06 Exam 2    
    11/11 Graphs 3 Lecture 20  |  [6up] N/A
    11/13 Complexity Lecture 21  |  [6up] Rosen 3.2
    11/18 Recurrences Lecture 22  |  [6up] Rosen 8.2
    11/20 Master theorem Lecture 23  |  [6up] Rosen 8.3
    11/25 Thanksgiving break    
    11/27 Thanksgiving break    
    12/02 Review    
    12/04 Exam 3