Tools of Mathematical Reasoning
General
Prefix
MATH
Course Number
304
Course Level
Undergraduate
Department/Unit(s)
College/School
College of Science and Engineering
Description
Techniques of proof reading and writing; review of discrete mathematics; computer representation of numbers; induction; automata and grammars; computational complexity; formal logic; sets and transfinite cardinalities; construction of the familiar number systems. A transition to upper-level courses, with emphasis on reasoning and proof.
Prerequisites
Credits
Min
3
Max
3
Repeatable
No
Goals and Diversity
MN Goal Course
No
Cultural Diversity
No
Learning Outcomes
Outcome
Set up and write proofs of mathematical assertions.
Outcome
Classify relations of different kinds, with justification.
Outcome
Use properties of natural numbers to establish mathematical results.
Outcome
Write proofs by induction in all three forms (ordinary, strong, well-ordering.
Outcome
Analyze finite automata and grammars.
Outcome
Determine asymptotic bounds for functions and algorithms.
Outcome
Apply methods of formal propositional logic.
Outcome
Apply methods of predicate (quantified) logic.
Outcome
Use appropriate forms of argument to prove results about sets.
Outcome
Describe the construction of the various familiar number systems.
Dependencies
Courses
MATH304
is a
completion requirement
for:
MATH304
is a
prerequisite
for:
Programs
MATH304
is a
completion requirement
for: