# CS 2233/2231: Discrete Mathematical Structures

## Preparing Homeworks using LaTeX

The typical way I create a pdf file is to edit a LaTeX file with .tex extension, then on the command line, I do pdflatex foo.tex.  This command compiles the file and produces the pdf file.  Assuming that succeeds then I view foo.pdf, and I go back and forth until foo.pdf looks good enough.  Thinking of pdflatex as a compiler might help you understand the error messages.  I have links to several examples below, and any number of tutorials are available, for example Getting Started with LaTeX. For MS Windows, MiKTeX appears to be a good implemention of LaTeX. For Linux, install the texlive package.

## Syllabus and Assignments

Syllabus for Spring 2013 (LaTeX)

All quizzes available until May 1.

## Recitation Presenters

Tuesday, 5:30pm, SB 3.02.07: TBA

Thursday, 5:30pm, SB 3.02.07: TBA

## Notes (subject to change)

A Primer for Exponentials and Logarithms (LaTeX).  You should review this and also Appendix 2 of the book.

A Primer for Inequalities:
Introduction to Inequalities
Solving Inequalities
Properties of Inequalities
Inequalities and Inference (LaTeX)
Also review Appendix 1 of the book.

#### Part One

Propositional Logic, Predicate Logic, Inference Rules, Proofs, Sets, Functions.
This chart might help for proofs.
Here are scans of my handwritten examples from the lectures.
Logic, Implies, Proofs, Sets, Functions and Sequences

#### Part Two

Assert Statements, Algorithms, Big Oh Notation, Mathematical Induction, Recursion
Here are scans of my handwritten examples from the lectures.
Algorithms, Big Oh, Mathematical Induction, Recursion

#### Part Three

Relations, Graphs, Trees, Languages
Here are scans of my handwritten examples from the lectures.
Relations, Graphs, Trees, Languages, Extra