MATH/CS-228 Outline:

Topic	Wks	Sub-Topics
Logic (Part II)	3	Quick review of Part I Natural deduction Consistency Completeness Normal forms (conjunctive and disjunctive)
Graph Theory	2	Trees Undirected and directed graphs Traversal strategies Cyclic and acyclic paths Spanning trees
Discrete Probability	2	Frequency Distributions Expected value Conditional probability
Digital Logic	1	Logic gates and circuits Flip-flops
Finite State Machines	1	FSMs State diagrams FSMs as a virtual machine FSMs as a representation of computation Limits of deterministic FSMs
Proof Techniques	1	Induction (on graphs)
Integer and Floating-point Representations	2	Ones' complement Two’s complement Signed magnitude Floating point representation; IEEE 754