Students will demonstrate facility with axiomatic reasoning, including the ability to write clear, rigorous mathematical proofs
Students will make effective use of abstraction and inductive reasoning as key characteristics of the language and structure of mathematics and abstract data types in object-oriented programming. Through the study of more than one computer modeling language, students will distinguish between syntax (the concrete) and semantics (the abstract).
Students will be able to design and use valid mathematical models and use them to solve realistic problems, employing techniques from physics, computer algorithms, and mathematics.
Students will show the ability to engage in statistical reasoning, including the capacity to produce and interpret statistical information, and to make proper discernments in matters of precision and significance.
Students will be able to organize, connect, and communicate mathematical and algorithmic ideas.
Students will acquire facility with several significant technological tools, and use them effectively for computation, exploration, and presentation.
Students will be prepared to pursue their postgraduate interests, including graduate study, teaching, and private or government employment.
Students will develop ethical sensibility and a Christian worldview, in keeping with USF's mission, "to develop mature Christian persons for service to God and humanity in the world."
Students will develop and demonstrate habits of effective thought, including the ability to reason analytically (through modes such as inductive reasoning, deductive reasoning, and mathematical induction), to distinguish "possible" from "necessary," to recognize assumptions, to identify logical fallacies, and to develop coherent arguments.