CS 311
Discrete Math for Computer Science
MW 12:30-2 and TTh 12:30-2
Spring 2017 Classes
CS 313E
CS 311

Other useful links
Piazza for CS 311
Key Dates 2016-17
Final Exam Schedule
Register your i>clicker
Unicode
ASCII (Wikipedia)
Rules of Inference
Logical Equivalences

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


Syllabus: 311.Syllabus.Spring17.pdf

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

Section(s) Day/Time Location TA
51860 Friday 10-11 GAR 2.128 Matt Denend
51865 Friday 11-12 GDC 1.406 Matt Denend
51870 Friday 12-1 CLA 1.108 Matt Denend
51875 Friday 2-3 GDC 6.202 Matt Denend
51885 Friday 10-11 PAR 103 Kai-Yang Chiang
51890 Friday 11-12 CLA 0.118 Kai-Yang Chiang
51895 Friday 12-1 WEL 3.402 Kai-Yang Chiang
51900 Friday 1-2 GDC 2.210 Kai-Yang Chiang

Office Hours at a Glance:

Who Location Day/Time
Bill Bulko GDC 4.308 Mon 11:00-12:00
Tue 2:00-3:00
Wed 10:00-11:00
Th 11:00-12:00
Matt Denend GDC 5.710 A/B MW 3:00-5:00
Kai-Yang Chiang GDC 1.302 at desk 2 TTh 4:30-6:30

CS 311 Schedule (Spring 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 Jan 16 - Jan 20 Intro; Propositional Logic
- Discrete Math and Prop Logic
No discussion sessions
2 Jan 23 - Jan 27 Propositional Logic (cont.) Read 1.3-1.5; HW1 assigned
3 Jan 30 - Feb 03 Predicates, Quantifiers, Satisfiability
- Predicate Logic
HW1 due; HW2 assigned
4 Feb 06 - Feb 10 Basic Proof Techniques
- Formal Proofs
Read 1.6-1.7; HW2 due; HW3 assigned
5 Feb 13 - Feb 17 Sets
- Sets
Read 2.1-2.2
6 Feb 20 - Feb 24 Exam 1; Functions
- Functions
Read 2.3; HW3 due; HW4 assigned
7 Feb 27 - Mar 03 Countability; Additional Proof Styles
- Countability
Read 2.5; HW4 due; HW5 assigned
8 Mar 06 - Mar 10 Induction
- Induction
Read 5.1-5.2; HW5 due; HW6 assigned
9 Mar 13 - Mar 17 SPRING BREAK: NO CLASSES No discussion session
10 Mar 20 - Mar 24 Program Verification and Invariants
- Verification
Read 5.5; HW6 due; HW7 assigned
11 Mar 27 - Mar 31 Intro to Graph Theory; Bipartite Graphs
- Graphs
Read 10.1
12 Apr 03 - Apr 07 Exam 2; Bipartite Graphs (cont.); Subgraphs Read 10.2; HW 7 due; HW8 assigned
13 Apr 10 - Apr 14 Adjacency Lists and Adjacency Matrices; Isomorphism; Connectivity Read 10.3-10.4; 8.1; HW8 due; HW9 assigned
14 Apr 17 - Apr 21 Vertex and Edge Cuts and Connectivity; Euler and Hamilton Circuits and Paths Read 10.5; HW9 due; HW10 assigned
15 Apr 24 - Apr 28 Dijkstra's Algorithm; Traveling Salesman; Planar Graphs Read 10.6-10.7; HW10 due
16 May 01 - May 05 Planar Graphs; Graph Coloring; Exam 3 Read 10.8