- Classes begin Monday, January 7, 2013
- Grades are available on Blackboard.
- 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.

- For a quick response, use Piazza.
- Anonymous Suggestion Box
- Email messages directly sent to TAs or instructor will
*not*be answered.

Lecture: MWF

12:30 -- 1:20 pm

Avery Hall 106

Recitation: Mondays

3:30 -- 4:20 pm & 4:30 -- 5:20 pm

Avery Hall 19

12:30 -- 1:20 pm

Avery Hall 106

Recitation: Mondays

3:30 -- 4:20 pm & 4:30 -- 5:20 pm

Avery Hall 19

Dr. Berthe Y. Choueiry

Office: Avery 360

Hours: Wednesday & Friday 1:30 p.m. - 2:30 p.m.

Also by appointment

Office: Avery 360

Hours: Wednesday & Friday 1:30 p.m. - 2:30 p.m.

Also by appointment

Mr. Beau Christ

Office hours held in Student Resource Center.

Hours: Thursday: 5:30 p.m. -- 6:30 p.m. & Friday 8:20 a.m. -- 9:20 a.m.

Also by appointment

Office hours held in Student Resource Center.

Hours: Thursday: 5:30 p.m. -- 6:30 p.m. & Friday 8:20 a.m. -- 9:20 a.m.

Also by appointment

Mr. Alexander Burch (Quiz Grader)

Office hours held in Student Resource Center.

Hours: Wednesday: 2:30 p.m. - 3:30 p.m.

Also by appointment

Mr. Nicholas Jewell (Homework Grader)

Office hours held in Student Resource Center.

Hours: Monday 2:00 p.m. -- 3:00 p.m. & Tuesday: 11:00 a.m. -- 12:00 p.m.

Also by appointment

Office hours held in Student Resource Center.

Hours: Wednesday: 2:30 p.m. - 3:30 p.m.

Also by appointment

Mr. Nicholas Jewell (Homework Grader)

Office hours held in Student Resource Center.

Hours: Monday 2:00 p.m. -- 3:00 p.m. & Tuesday: 11:00 a.m. -- 12:00 p.m.

Also by appointment

CSCE 155 and Math 106. CSCE 156 recommended but not required.

- Syllabus (PDF)
- Introduction (PPT)
- Pre-requisite Check (PDF). Fill out and return to class on Wednesday, January 9th, 2013
- How to use Piazza (PDF).
- Logical Equivalences Cheat Sheet (PDF).
- How to Prepare for an Exam (PPT).
- Track your performance: Fill the blue cells in the Excel file (XLS) with your grades, posted on Blackboard.

- 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).

- All homework are due
*before*class on the due date (by 12:30 pm). - Checklist: Guidelines for Submitting Homework (.pdf)
- Homework 01 (.pdf) - Due Jan 18, 2013
- Homework 02 (.pdf) - Due Jan 25, 2013
- Homework 03 (.pdf) - Due Feb 1, 2013
- Homework 04 (.pdf) - Due Feb 8, 2013
- Homework 05 (.pdf) - Due Feb 15, 2013
- Homework 06 (.pdf) - Due Mar 1, 2013
- Homework 07 (.pdf) - Due Mar 8, 2013
- Homework 08 (.pdf) - Due Mar 15, 2013
- Homework 09 (.pdf) - Due Mar 29, 2013
- Homework 10 (.pdf) - Due Apr 12, 2013
- Homework 11 (.pdf) - Due Apr 19, 2013
- Bonus (Optional) Homework 12 (.pdf) - Due Apr 24, 2013 (If using a late forgiveness, the bonus homework is due Thursday Apr 25, 2013 by 12:30pm. You can drop it off at Avery 123A. Slide it under the door if Beau is not there.)

- 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 from Recitation Week 2 (PDF) (TEX)
- Informal notes from Recitation Week 3 (PDF) (TEX)
- Informal notes from Recitation Week 4 (PDF) (TEX)
- Informal notes from Recitation Week 5 (PDF) (TEX)
- Informal notes from Recitation Week 6 (PDF) (TEX)
- Informal notes from Recitation Week 7 (PDF) (TEX)
- Informal notes from Recitation Week 8 (PDF) (TEX)
- Informal notes from Recitation Week 9 (PDF) (TEX)
- Informal notes from Recitation Week 10 (PDF) (TEX)
- Informal notes from Recitation Week 11 (PDF) (TEX)

- 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.
- 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 Tutorials: one, Another
- Using Command Line Arguments example
- Cornell's Numerical Recipes in C

- Code Documentation
- C++ Coding Standard
- JavaDoc -- The original documentation tool for Java
- CppDoc Platform independent C++ documentation tool that produces HTML
- 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