CSCE 235H - Introduction to Discrete Structures (Honors)
Spring 2022
Resources & Announcements
- Detailed schedule
- 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
- Web Grader: Use the Web Grader to check
your
submissions
- Canvas:
All grades will be posted on Canvas.
- Anonymous Suggestion Box
General Info
Time & Place
Lectures: MWF, 12:30 -- 1:20 pm, Avery Hall 111
Recitations: Mondays, 1:30 pm -- 2:20 pm, Avery Hall 110
Instructor & Office Hours
Dr. Berthe Y. Choueiry, AvH 259 and
Zoom meeting room
Office hours: Mondays and Fridays, 4:30 pm -- 5:30 pm or by appointment
UTA & Office Hours
Pre-requisites
CSCE 155 and Math 106. CSCE 156 recommended but not required.
Handouts & Files
Rules & Tools for Success
- Syllabus (PDF)
- Introduction (PPTX)
- Logical Equivalences Cheat Sheet (PDF).
- How to Prepare for an Exam (PPTX).
Slides
Homework
- All homework are due before class on the due date (by
12:30 P.M.).
- Checklist: Guidelines for Submitting Homework (.pdf)
- Homework 01 (.pdf) -
Due Friday, Jan. 28, 2022
- Homework 02 (.pdf) - Due Friday, Feb. 4, 2022
- Homework 03 (.pdf) - Due Friday, Feb. 11, 2022
- Homework 04 (.pdf) - Due Friday, Feb. 18, 2022
- Homework 05 (.pdf) - Due Friday, Feb. 25, 2022
- Homework 06 (.pdf) - Due
Friday, Mar. 4, 2022
- Homework 07/08 (.pdf) - Due
Friday, Mar. 25, 2022
- Homework 09 (.pdf) - Due
Friday, Apr 1, 2022
- Homework 10 (.pdf) - Due
Friday, Apr 8, 2022
- Homework 11 (.pdf) - Due
Friday, Apr 15, 2022
- Homework 12 (.pdf) - Due
(Updated) Monday, Apr 25, 2022
- Homework 13 (.pdf) - Due Friday, Apr 29, 2022
SAT Study
- Part 1: Introduction to Satisfiability
- Part 2:
- Modeling Sudoku as a CNF: Slides (PPT, PDF)
- Simple modeling: Homework (PDF) - Due Feb. 7,
2022
- Part 3: MiniSAT
- Installing MiniSAT: Slides (PPT, PDF)
- Running MiniSAT: Homework (PDF) - Due Feb. 14,
2022
- DIMACS cnf example file (test.cnf)
- Part 4:
- Part 5:
- Unit Propagation and Variable Ordering in MiniSAT: Slides (PPT) (PDF)
- Sudoku file MiniSAT (Part 2 of 3): Homework (PDF)- Due Mar. 7, 2022
- Part 6:
- Part 7:
Recitations (informal notes)
- 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.
- Propopositional Logic (PDF, TEX)
- Proofs in PL and FOL (PDF, TEX)
- Proofs and FOL (PDF, TEX)
- Proofs and Sets (PDF, TEX)
- Sets and Functions(PDF, TEX)
- Relations (PDF, TEX)
- Transitive Closure and Partial Orders
(PDF, TEX)
- Partial Orders (PDF, TEX)
- Induction (PDF, TEX)
- Asymptotics and Summations
(PDF, TEX)
- Solving Recurrence Relations
(PDF, TEX)
Useful Links