CSCE 235H - Introduction to Discrete Structures (Honors)
Spring 2018
Resources & Announcements
- Classes begin Monday, January 8, 2018
- Piazza is the discussion board. All questions and comments to instructor, TAs (private) and to class (broadcast) and all online discussions must be done through Piazza. You can state your name or write anonymously. No email messages sent directly will be answered.
- Handin: Homework must be submitted on handin
- Canvas: All grades will be posted on Canvas.
- Detailed schedule
- Anonymous Suggestion Box
General Info
Time & Place
Lectures: MWF, 10:30 am -- 11:20 am, Avery Hall 19
Recitations: Mondays, 11:30 am -- 12:20 pm, Avery Hall 19
Recitations: Mondays, 11:30 am -- 12:20 pm, Avery Hall 19
Instructor & Office Hours
Dr. Berthe Y. Choueiry, Office: Avery Hall 360
Office hours: Mondays and Fridays, 4:30 pm -- 5:30 pm or by appointment
GTA & Office HoursOffice hours: Mondays and Fridays, 4:30 pm -- 5:30 pm or by appointment
Mr. Daniel Geschwender,
Office hour: Wednesdays, 4:30 pm -- 5:30 pm or by appointment in the Student Resource Center
UTA & Office HoursOffice hour: Wednesdays, 4:30 pm -- 5:30 pm or by appointment in the Student Resource Center
Mr. Tyler Bienhoff (Grader)
Office hour: Wednesdays, 11:30 am -- 12:30 pm or by appointment in the Student Resource Center
Mr. Trieu Hung Tran (Grader)
Office hour: Tuesdays, 11:30 am -- 12:30 pm or by appointment in the Student Resource Center
Pre-requisitesOffice hour: Wednesdays, 11:30 am -- 12:30 pm or by appointment in the Student Resource Center
Mr. Trieu Hung Tran (Grader)
Office hour: Tuesdays, 11:30 am -- 12:30 pm or by appointment in the Student Resource Center
CSCE 155 and Math 106. CSCE 156 recommended but not required.
Detailed Schedule
Handouts & Files
Rules & Tools for Success
- Syllabus (PDF)
- Introduction (PPT)
- Logical Equivalences Cheat Sheet (PDF).
- How to Prepare for an Exam (PPT).
Slides
- Logic (PPT, PDF)
- Logical Equivalences Cheat Sheet (PDF).
- Predicates & Quantifiers (PPT, PDF)
- Proofs (PPT, PDF)
- Sets (PPT, PDF)
- Functions (PPT, PDF)
- Relations (PPT, PDF)
- Partial Orders (PPT, PDF).
- Induction (PPT, PDF).
- Algorithms (PPT, PDF).
- Algorithms Analysis (PPT, PDF).
- Asymptotics (PPT, PDF).
- Sequences and Summations (PPT, PDF).
- Recursion (PPT, PDF).
- Master Theorem (PPT, PDF).
- Combinatorics (PPT, PDF).
Homework
- All homework are due before class on the due date (by 10:30 A.M.).
- Checklist: Guidelines for Submitting Homework (.pdf)
- Homework 01 (.pdf) - Due Friday, Jan 19, 2018
- Homework 02 (.pdf) - Due Friday, Jan 26, 2018
- Homework 03 (.pdf) - Due Friday, Feb 2, 2018
- Homework 04 (.pdf) - Due Friday, Feb 9, 2018
- Homework 05 (.pdf) - Due Friday, Feb 16, 2018
- Homework 06 (.pdf) - Due Friday, Feb 23, 2018
- Homework 07 (.pdf) - Due Friday, Mar 2, 2018
- Homework 08 (.pdf) - Due Friday, Mar 9, 2018
- Homework 09 (.pdf) - Due Friday, Mar 30, 2018
- Homework 10 (.pdf) - Due Friday, Apr 6, 2018
- Homework 11 (.pdf) - Due Friday, Apr 13, 2018
- Homework 12 (.pdf) - Due Friday, Apr 20, 2018
- Homework 13 (.pdf) - Due Friday, Apr 27, 2018
SAT Study
- Two Sudoku Rules in Conjunctive Normal Form (TEX, PDF)
- Week 1: Slides (PPT, PDF), Homework (PDF) - Due Jan 29, 2018
- Week 2: Slides (PPT, PDF), Homework (PDF) - Due Feb 5, 2018
- Week 3: Slides (PPT, PDF), Homework (PDF) - Due Feb 12, 2018
- Week 4: SATviz (satviz.unl.edu), Homework (PDF) (GenerateSudoku.java) - Due Feb 19, 2018
- Week 5: Slides (PPT) (PDF), Homework (PDF)- Due Feb 26, 2018
- Week 6: Slides (PPT) (PDF), Homework (PDF) (SudokuInstances.tar.gz) - Due Mar 5, 2018
- Week 7: Slides (PPT) (PDF), Homework (PDF) (ImplicationGraphTemplate.ppt) - Due Mar 26, 2018
Recitations
- Week 1: Working with Latex: Introduction To LaTeX, LaTexHowTo.doc, hw-example.tex, hw-example.pdf, BibliographyFile.bib. Here are the figures (which can be generated with any drawing software): FIG, EPS, PDF. The example Hello World shown in recitation. If tables become to large, you can place a table sideways. An example tex file is given with its pdf output.
- Informal notes for Recitation on PL (PDF, TEX)
- Informal notes from Recitation Proofs in PL and FOL (PDF, TEX)
- Informal notes from Recitation Proofs and FOL (PDF, TEX)
- Informal notes from Recitation Proofs and Sets (PDF, TEX)
- Informal notes from Recitation on Sets and Functions(PDF, TEX)
- Informal notes from Recitation on Relations (PDF, TEX)
- Informal notes from Recitation on Transitive Closure and Partial Orders (PDF, TEX)
- Informal notes from Recitation on Partial Orders (PDF, TEX)
- Informal notes from Recitation on Induction (PDF, TEX)
- Informal notes from Recitation Week on Asymptotics and Summations (PDF, TEX)
- Informal notes from Recitation on solving Recurrence Relations (PDF, TEX)
Useful Links
- A nice overview of the various types of proofs with examples .
- Proofs by induction: Great pointers
identified by Geoffrey Priester
- Induction exercises by Devadas and Lehman: Induction I, Induction II, Induction III.
- Proof by induction on YouTube: Example I, Example 2, Example 3.
- Common Mistakes in Discrete Math, from textbook's page.
- A Guide to Proof-Writing, from textbook's page.
- Online Learning Center of the textbook
- CSE 235 webhandin
- Dr. Scott's Tips On Technical Writing
- UNL Computer Science and Engineering Academic Integrity Policy
- Book Of Proof, by Richard Hammack (pdf)
- Java
- C++
- Java to C++ Transition Tutorial
- C++ For Java Programmers (PDF, Lecture series)
- C++ Tutorial
- Makefile Tutorial
- Using Command Line Arguments example
- Cornell's Numerical Recipes in C
- Code Documentation
- C++ Coding Standard
- JavaDoc -- The original documentation tool for Java
- PHP Doc Documentation tool for PHP code.
- LaTeX
- LaTex on Wikibooks
- Example Homework LaTeX document (TEX, PDF). Here are the figures files (which you could generate with your favorite drawing software): FIG, EPS, PDF.
- TeX Users Group
- Getting Started With LaTeX
- LaTeX Tutorial
- The Not-So-Short Introduction to LaTeX 2e (PDF)
- LaTeX Quick Reference Card (.pdf)
- The Comprehensive LaTeX Symbol List (.pdf)
- MikTeX -- A Windows LaTeX Distro (Includes TeXworks, a LaTeX Frontend)
- WinEDT -- A Windows LaTeX Frontend (Shareware, a free alternative is TeXworks which comes included in MiKTeX)
- LyX -- User Friendly LaTeX Frontend
- MacTeX -- An OS X LaTeX Distro (Includes TeXworks and TeXShop, two LaTeX Frontends)
- TeXnicle -- An OS X LaTeX Application (can update the pdf live as you type, and includes other features such as autocompletion)
- Texmaker -- A cross-platform LaTeX editor (includes many nice features)
- Excel2Latex -- Useful for converting Excel tables to LaTeX. It is helpful to uncheck all the options when converting the table, and \usepackage{bigstrut} in your document.
- Calc2Latex -- Useful for converting OpenOffice Calc tables to LaTeX.
- Classify LaTeX Symbols -- Draw the symbol you are looking for