CS 311
Discrete Math for Computer Science
TTh 11:00-12:30
Fall 2017 Classes
CS 311
CS 313E

Other useful links
Piazza for CS 311
Key Dates 2017-18
Final Exam Schedule
Register your i>clicker
Unicode
ASCII (Wikipedia)
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.Fall17.pdf

There is one lecture session of CS311: TTh 11:00-12:30. However, there are a total of three discussion sessions.

Section(s) Day/Time Location TA
51860 Friday 10-11 CBA 4.332 Dhananjay Raju
51865 Friday 2-3 CLA 0.122 Dhananjay Raju
51870 Friday 3-4 GDC 6.202 Dhananjay Raju

Office Hours at a Glance:

Who Location Day/Time
Bill Bulko GDC 4.308 Mon 12:00-12:45
Tue 12:30-1:30
Wed 2:00-3:00
Th 10:00-10:45
Dhananjay Raju TA Station in
GDC 1.302, desk 3
Mon 4:00-5:00
Wed 4:00-5:00

CS 311 Schedule (Fall 2017)

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 Aug 28 - Sep 1 Intro; Propositional Logic
- Discrete Math and Prop Logic
No discussion sessions
2 Sep 4 - Sep 8 Propositional Logic (cont.) Read 1.1-1.3; HW1 assigned
3 Sep 11 - Sep 15 Equivalences and Satisfiability; Predicate Logic
- Predicate Logic
Read 1.4-1.5; HW1 due; HW2 assigned
4 Sep 18 - Sep 22 Quantifiers; Logical Arguments and Rules of Inference
- Proofs
Read 1.6-1.7; HW2 due; HW3 assigned
5 Sep 25 - Sep 29 Formal Proofs; Sets
- Sets
- Key to HW1
- Key to HW2
- Key to HW3
Read 2.1-2.2; HW3 due; HW4 assigned
6 Oct 2 - Oct 6 EXAM 1 ON 10/3; Sets (cont.) Read 2.3; HW4 due; HW5 assigned
7 Oct 9 - Oct 13 Functions
- Functions
HW5 due; HW6 assigned
8 Oct 16 - Oct 20 Countability; Additional Proof Styles; Induction
- Countability
Read 2.5, 1.8, and 5.1-5.2; HW6 due; HW7 assigned
9 Oct 23 - Oct 27 Induction (cont.); Big-O Notation
- Induction
Read 3.2; HW 7 due; HW8 assigned
10 Oct 30 - Nov 3 Big-O Notation; Algorithmic Complexity
- Big-O Notation
Read 3.2-3.3
11 Nov 6 - Nov 10 EXAM 2 ON 11/7; Intro to Graph Theory Read 10.1-10.2; HW8 due; HW9 assigned
12 Nov 13 - Nov 17 Bipartite Graphs; Subgraphs; Adjacency Lists/Matrices
- Graph Theory
Read 10.3; HW9 due; HW10 assigned
13 Nov 20 - Nov 24 Isomorphism; Connectivity; Cut Edges/Vertices; 11/22-24: THANKSGIVING BREAK Read 10.3-10.4
14 Nov 27 - Dec 1 Vertex and Edge Cuts; Euler and Hamilton Circuits Read 10.5; HW10 due
15 Dec 4 - Dec 8 Dijkstra's Algorithm; Traveling Salesman; EXAM 3 ON 12/7 Read 10.6
16 Dec 11 - Dec 15 12/11: LAST DAY OF CLASSES