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

Other useful links
Piazza for CS 311
Key Dates 2015-16
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.S16.pdf

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

Section(s) Day/Time Location TA
50890, 50915 Friday 10-11 CBA 4.324 Muqeet
50900 Friday 12-1 WEL 3.402 Muqeet
50920 Friday 11-12 SAC 5.102 Andy
50925 Friday 12-1 JGB 2.202 Rezwana
50930 Friday 1-2 GDC 2.210 Rezwana
50935, 50905 Friday 2-3 GDC 2.210 Andy

Office Hours at a Glance:

Who Location Day/Time
Bill Bulko GDC 4.308 Mon 12:00-1:00
Tue 11:00-12:00
Wed 1:00-2:00
Th 12:00-1:00
Muqeet Ali GDC 1.302 desk 4 Thu 1:00-2:00
Rezwana Reaz GDC 1.302 desk 2 Tue 1:00-2:00
Andy Tseng GDC 3rd Floor Wed 3:30-4:30
Siddhesh Chaubal GDC 1.302 desk 5
GDC 1.302 desk 3
Wed 4:30-5:30
Fri 3:30-5:30

CS 311 Schedule (Spring 2016)

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 19 - Jan 22 Intro; Propositional Logic
- Charts: Prop Logic
No discussion session
2 Jan 25 - Jan 29 Propositional Logic; Predicate Logic
- Charts: Pred Logic
HW1 assigned
3 Feb 01 - Feb 05 Formal and Informal Proofs HW1 due; HW2 assigned
4 Feb 08 - Feb 12 Formal Proofs; Sets and Set Operations
- Charts: Proofs
- Charts: Sets
HW2 due; HW3 assigned
5 Feb 15 - Feb 19 Sets, Functions
- Charts: Functions
HW3 due
6 Feb 22 - Feb 26 Exam 1; Sequences and Summations
- Charts: Sequences and Summations
HW4 assigned
7 Feb 29 - Mar 04 Countable and Uncountable Sets; Matrices
- Charts: Countability
- Charts: Matrices
HW4 due; HW5 assigned
8 Mar 07 - Mar 11 Integers and Division HW5 due; HW6 assigned
9 Mar 14 - Mar 18 SPRING BREAK: NO CLASSES No discussion session
10 Mar 21 - Mar 25 Modular Arithmetic; CS Applications
- Charts: Division thru CS Applications
HW6 due; HW7 assigned
11 Mar 28 - Apr 01 Induction; Counting
- Charts: Induction and Counting
HW7 due
12 Apr 04 - Apr 08 Exam 2; Permutations and Combinations
- Charts: Permutations and Combinations
HW8 assigned
13 Apr 11 - Apr 15 Probability
- Charts: Probability
HW8 due; HW9 assigned
14 Apr 18 - Apr 22 Relations
- Charts: Relations
HW9 due; HW10 assigned
15 Apr 25 - Apr 29 Relations; Graphs HW10 due
16 May 02 - May 06 Graphs; Exam 3
- Charts: Graphs