In these courses, students will:
- Apply formal reasoning, mathematics or computational science approaches to problem solving within mathematics or computational science, and other disciplines.
- Understand and communicate connections between different areas of logic, mathematics or computational science, or their relevance to other disciplines.
- Communicate formalisms in logic, mathematics, or computing sciences.
Every student at the University of Denver must satisfy the AI-Natural requirement from the common curriculum. For students entering DU prior to the Fall 2010 quarter, the MATC requirement will be satisfied by meeting the new AI-Natural requirement.
The current approved AI-Natural courses are COMP 1101, COMP 1671, MATH 1150, MATH 1200, MATH 1951, MATH 2050, PHIL 2040, and PHIL 2160, however some majors require specific choices among these. In the future, additional courses may be approved to meet the AI-Natural requirement. Note that MATH 1700 (College Algebra) and MATH 1750 (College Algebra and Trigonometry) do NOT satisfy the AI-Natural requirement, nor do statistics classes (e.g., STAT 1300).
Specific degree requirements:
- Any BS except psychology; BSCh; BSCPE; BSME; BSEE; BA in Math, Chemistry, Physics, or Computer Science must take MATH 1951.
- BSBA; BSAcc must take MATH 1200 or MATH 1951; MATH 1951 is recommended for Finance or Economics majors.
- BM; BS in psychology; BFA; BA other than in Math, Chemistry, Physics, or Computer Science may take any of: COMP 1101, COMP 1671, MATH 1150, MATH 1200, MATH 1951, MATH 2050, PHIL 2040, and PHIL 2160 to satisfy the requirement.
Need transfer credit approval or pre-approval?
Contact Allegra Reiber (John Greene Hall 202A, 303.871.2807, firstname.lastname@example.org).
AI-Natural course descriptions
COMP 1101 Analytical Inquiry Analytical Inquiry will combine basics of mathematics and computer science through creative channels of communication using artistic media resources and techniques. This course will strive to answer questions surrounding mainstream technology and media arts topics. We will also explore the evolution of technology in our daily routine and environment. We will rediscover mathematics (including trigonometry and geometry) as one of the most important aspects of "New Media Design" for interactive products such as web pages, multimedia presentations, movies, television, etc. This course is taught by the Computer Science Department.
COMP 1671 Introduction to Computer Science I >> website Characteristics of modern computers and their applications; analysis and solution of problems; structured programming techniques; introduction to classes, abstract data types, and object-oriented programming; implementation of solutions in C++. This is a required course for computer science majors.
MATH 1150 Math Foundations Seminar >> website These seminars offer challenging and interesting mathematical topics with a computer science component that require only high school mathematics. The seminar topics vary with each class and they are designed for all students. These seminars are taught by the Mathematics Department.
MATH 1200 Calculus for Business and Social Sciences This is a one-quarter terminal course for students in Business, Social Sciences, and Liberal Arts. It covers elementary differential calculus with emphasis on applications to business and the social sciences. Topics include functions, graphs, limits, continuity, differentiation, and mathematical models. Students are required to attend weekly labs. This class satisfies the AI-Natural requirement for all business majors (may be replaced with MATH 1951). The course is offered in two formats, Lecture and Combined/Hybrid, which differ in their methods of content delivery, learning activities, and assessment. More detailed information on the difference in formats can be found on the Math 1200 Portfolio page here.
MATH 1951 Calculus I Differentiation of functions of one variable. This is a required course for mathematics majors. Prerequisite: MATH 1750 or equivalent experience with high school algebra and trigonometry.
MATH 2050/PHIL 2160 Symbolic Logic Modern propositional logic; symbolization and calculus of predicates, especially predicates of relation.
PHIL 2040 Practical Logic Politicians, bloggers, religious figures, parents, lovers, and teachers use arguments to try to convince us to do and believe certain things. This course is a systematic study of the principles of good reasoning that will enable students to assess the quality of reasons given by others, to develop quality arguments of their own, and even to perform better on tests such as the LSAT. We will cover translation from English into sentential logic, inferences within sentential and Aristotelian logic, and other argumentative forms. Reasoning skills are learned by actual practice, so a healthy percentage of class time will be devoted to actually working on developing these skills via an examination of philosophical arguments dealing with the nature of matter, souls, abstract objects, and more.