Course Info
Syllabus
Details on the policies, grading, expectations, etc. for this course can be found in the course syllabus.
Venue
Lecture
- TR 12:30PM – 1:45PM, Brace Lab 206
Recitations
- 151: M 4:30PM – 5:20PM, Avery Hall 19 (Shruti)
- 152: M 3:30PM – 4:20PM, Avery Hall 19 (Shruti)
- 153: M 5:30PM – 6:20PM, Avery Hall 19 (Molly)
- 154: M 12:30PM – 1:20PM, Brace Lab 310 (Shruti)
- 155: M 6:30PM – 7:20PM, Avery Hall 108 (Molly)
Instructor
Dr. Chris Bourke
cbourke@cse.unl.edu
Avery 363
Office Hours: MW 1:30PM – 2:30PM; T 11:00AM –
12:00Noon; R 10:00AM – 11:00AM
Teaching Assistants
All office hours are held in the Student Resource Center, open 9AM – 7PM Monday through Friday.
Shruti Daggumati
Office Hours: T 1:45PM – 3:45PM
Molly Lee
Office Hours: R 1:45PM – 3:45PM
Renjie Gui
Office Hours: R 3:00PM – 5:00PM
Undergraduate Teaching Assistants
- Bhandari, Dipal: M 9-11:30 and 1-3, W 9-11:30, R 3:30-6:30
- Eckloff, Joel: TW: 4:00PM – 6:00PM, F 3-5PM
- Jhi, Riley: MW 1:30PM – 2:45PM, R, 12:15 – 2PM, F 1:30 – 12:30
- Kracl, Marek: TR 1:30PM – 3:30PM
- Le, Duc: TR 10:30AM – 12:30PM, MWF 12:30 – 2:30PM
- May, Jessica: R 11:30 – 1:30PM
- Nguyen, Anh: M 2:30PM – 4:30PM; T 1PM - 3PM
- Rawal, Shreya M-F 9:00AM – 10:00AM
- Saxena, Aniruddh: M3-4, R4-6, F2-4
- Tamkiya, Shivani: R 3:30 – 5PM, F 9:00AM – 10:15AM
Course Schedule
Week | Dates | Topics | Reading(s) | Recitation | Notes |
---|---|---|---|---|---|
1 | Jan 8 – 12 |
|
Logic:
|
|
|
2 | Jan 15 – 19 |
|
Proofs:
|
|
|
3 | Jan 22 – 26 |
|
Sets:
|
|
|
4 | Jan 29 – Feb 2 |
|
Functions:
|
|
|
5 | Feb 5 – 9 |
|
Relations:
|
|
|
6 | Feb 12 – 16 |
|
|
||
7 | Feb 19 – 23 |
|
See week 9 |
|
|
8 | Feb 26 – Mar 2 |
|
|
|
|
9 | Mar 5 – 9 |
|
|
|
|
10 | Mar 12 – 16 |
|
|
||
11 | Mar 19 – 23 |
|
|||
12 | Mar 26 – 30 |
|
Induction Exercises |
|
|
13 | Apr 2 – 6 |
|
Quiz 3 | ||
14 | Apr 9 – 13 |
|
Combinatoric Exercises |
|
|
15 | Apr 16 – 20 |
|
TBD |
|
|
16 | Apr 23 – 27 |
|
TBD |
|
|
17 | Apr 30 – May 4 |
|
|
Resources
Course Resources
Department Resources
Textbooks
- An Active Introduction to Discrete Mathematics and Algorithms by Charles Cusack
- Mathematics for Computer Science
- Book of Proof by John Hammack
- Mathematics for Computer Science by Albert R. Meyer
- Notes on Discrete Mathematics by James Aspnes
- Discrete Mathematics (wikibook)
- Thinking in Java by Bruce Eckel
Lecture Notes
Logic & Proofs
Set Theory
Functions & Relations
Number Theory
Recurrence Relations
Induction
Combinatorics
Graphs & Trees
Computational Models
Java Resources
- Oracle's Java Turtorial
- Oracle's Object-Oriented Programming tutorial
- Java Debugging with Eclipse
- Java Debugging Video
- Learn Java Online
- MIT OpenCourseWare Java Course
LaTeX Resources
Additional Discrete Math Resources
- Project Euler
- Stanford Cryptography Course
- Graph Theory by Reinhard Diestel
Assignments
Assignment 01
Logic and Proofs
Assignment 02
Quantified Logic, Set Theory
Assignment 03
Functions and Relations
Assignment 04
Algorithms, Asymptotics
Assignment 05
Recurrence Relations, Induction
Assignment 06
Combinatorics, Graph Theory