AI/Natural Requirement

The general education requirement at the University of Denver is designed to introduce students to the different approaches to knowledge and analysis found within academia. In particular, the analytical inquiry/natural requirement presents students with the sort of reasoning found within the formal sciences. Every undergraduate student at the University of Denver must satisfy the AI-natural requirement from the common curriculum by taking one course within a limited list, available below, or by obtaining equivalent credits.


What are the objectives of the AI/Natural requirement?

In the courses designed for this requirement, students will:

  • Apply formal reasoning, mathematics or computational science approaches to problem solving within mathematics or computational science as well as other disciplines.
  • Understand and communicate connections between different areas of logic, mathematics or computational science or their relevance to other disciplines.


What courses satisfy this requirement?

Undergraduate students will satisfy the AI/natural requirement by passing one of the following course, or  obtain equivalent credits. Please note: certain majors impose some constraints on your choice of AI/natural course, as follows:

  • 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 cconomics 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.
  • Descriptions of the courses with the AI/Natural attribute

    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 

    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 Foundations Seminars

    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.