University Catalog

Print Page

MATH 303. Threads of Mathematical Reasoning

Credits: 2
Department: Mathematics
Description: Techniques of proof reading and writing; review of discrete mathematics; computer representation of numbers; induction; automata and grammars; computational complexity; formal logic. A transition to upper-level courses, with emphasis on reasoning and proof.
Prerequisites: MATH 221 and MATH 271
Semester Offered:
  • Fall
  • Spring
Grading Method: ABCDF

Student Learning Outcomes

1. Set up and write proofs of mathematical assertions.
2. Classify relations of different kinds, with justification.
3. Use properties of natural numbers to establish mathematical results.
4. Write proofs by induction in all three forms (ordinary, strong, well-ordering).
5. Analyze finite automata and grammars.
6. Determine asymptotic bounds for functions and algorithms.
7. Apply methods of formal propositional logic.
8. Apply methods of predicate (quantified) logic.

The contents in this catalog and other university publications, policies, fees, bulletins or announcements are subject to change without notice and do not constitute an irrevocable contract between any student and St. Cloud State University.