MATH303

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.