CS 311
Discrete Math for Computer Science
TTh 9:30-11:00
TTh 12:30-2:00
Spring 2018 Classes
CS 311
CS 371L

Other useful links
Piazza for CS 311
Rules of Inference
Logical Equivalences
Set Identities

office location: GDC 4.308
Office Phone:   (512) 471-7021
email:   bulko@cs.utexas.edu
fax:   (512) 471-8885


Syllabus: 311.Syllabus.Spring18.pdf

There are two lecture sessions of CS311: TTh 9:30-11:00 and TTh 12:30-2:00. However, there are a total of ten discussion sessions.

Section(s) Day/Time Location TA
51285 Friday 10-11 JGB 2.202 Manu Viswanadhan
51290 Friday 11-12 PAR 208 Manu Viswanadhan
51295 Friday 12-1 GAR 0.128 Manu Viswanadhan
51305 Friday 3-4 JGB 2.202 Sushrut Karmalkar
51310 Friday 10-11 RLM 5.116 Sushrut Karmalkar
51320 Friday 12-1 WAG 308 Sushrut Karmalkar
51325 Friday 1-2 GAR 2.128 Sushrut Karmalkar
51330 Friday 2-3 GDC 2.210 Manu Viswanadhan

Office Hours at a Glance:

Who Location Day/Time
Bill Bulko GDC 4.308 Mon 12:00-1:00
Tue 2:00-3:00
Wed 1:00-2:00
Th 11:00-12:00
Manu Viswanadhan GDC 1.302 Desk 1 Mon 4:00-6:00
Wed 4:00-5:00
Sushrut Karmalkar GDC 1.302 Desk 2
GDC 1.302 Desk 1
Tue 4:00-6:00
Wed 5:00-6:00

CS 311 Schedule (Spring 2018)

Disclaimer: This schedule is a working document. It is here for reference only, and I will update it as the course progresses.

Week Dates Topics Homework
1 Jan 16 - Jan 19 Intro; Propositional Logic
- Discrete Math and Prop Logic
No discussion sessions. READ SYLLABUS!
2 Jan 22 - Jan 26 Propositional Logic (cont.); Equivalences; Satisfiability Read 1.1-1.3; HW1 assigned
3 Jan 29 - Feb 2 Predicate Logic; Quantifiers
- Predicate Logic
Read 1.4-1.5; HW1 due; HW2 assigned
4 Feb 5 - Feb 9 Logical Arguments and Rules of Inference; Proofs
- Proofs
Read 1.6-1.7; HW2 due; HW3 assigned
5 Feb 12 - Feb 16 Sets
- Sets
- Exam 1 practice problems
- Exam 1 practice problem solutions
Read 2.1-2.2
6 Feb 19 - Feb 23 EXAM 1 ON 2/20; Functions
- Functions
Read 2.3; HW3 due; HW4 assigned
7 Feb 26 - Mar 2 Functions (cont.); Countability Read 2.5; HW4 due; HW5 assigned
8 Mar 5 - Mar 9 Additional Proof Styles; Induction Read 1.8, and 5.1; HW5 due; HW6 assigned
9 Mar 12 - Mar 16 3/12-16: SPRING BREAK No classes or discussion sessions
10 Mar 19 - Mar 23 Strong Induction; Big-O Notation; Algorithmic Complexity Read 5.2, 3.2-3.3; HW 6 due; HW7 assigned
11 Mar 26 - Mar 30 Algorithmic Complexity; Intro to Graph Theory; Bipartite Graphs Read 10.1-10.2
12 Apr 3 - Apr 6 EXAM 2 ON 4/03; Subgraphs; Adjacency Lists and Matrices Read 10.3; HW7 due; HW8 assigned
13 Apr 9 - Apr 13 Isomorphism; Connectivity Read 10.3-10.4; HW8 due; HW9 assigned
14 Apr 16 - Apr 20 Euler and Hamilton Circuits; Shortest-Path Problems Read 10.5-10.6; HW9 due; HW10 assigned
15 Apr 23 - Apr 27 Planar Graphs Read 10.7; HW10 due
16 Apr 30 - May 4 Graph Coloring; EXAM 3 ON 5/03; 5/04: LAST DAY OF CLASSES Read 10.8