MATH304

Set up and write proofs of mathematical assertions.

Classify relations of different kinds, with justification.

Use properties of natural numbers to establish mathematical results.

Write proofs by induction in all three forms (ordinary, strong, well-ordering.

Analyze finite automata and grammars.

Determine asymptotic bounds for functions and algorithms.

Apply methods of formal propositional logic.

Apply methods of predicate (quantified) logic.

Use appropriate forms of argument to prove results about sets.

Describe the construction of the various familiar number systems.