MAT 285 Introduction to Proof

This course provides a transition from computational mathematics to abstract, proof-based mathematics. The primary focus of the course is the development of skills to read, understand, and produce proofs of mathematical statements that explore key concepts from number theory, algebra, and analysis. Topics include set theory, functions, relations, order properties of real numbers, least upper bound, greatest lower bound, the completeness axiom, and limits.

Credits

4

Prerequisite

Prerequisite: MAT 263 and MAT 281

See Course Syllabus

Course Number and Title:

MAT 285 Introduction to Proof

Campus Location

  • Dover
  • Stanton

Prerequisites

Prerequisite: MAT 263 and MAT 281

Course Credits and Hours

4 credit(s)

4 lecture hours/week

1 lab hours/week

Course Description

This course provides a transition from computational mathematics to abstract, proof-based mathematics. The primary focus of the course is the development of skills to read, understand, and produce proofs of mathematical statements that explore key concepts from number theory, algebra, and analysis. Topics include set theory, functions, relations, order properties of real numbers, least upper bound, greatest lower bound, the completeness axiom, and limits.

Additional Materials

None

Required Text(s)

Obtain current textbook information by viewing the campus bookstore - https://www.dtcc.edu/bookstores online or visit a campus bookstore. Check your course schedule for the course number and section.

Core Course Performance Objectives (CCPOs)

  1. Translate formal mathematical statements that are written in the standard language and symbolism used by mathematicians. (CCC 1, 2, 4, 6; PGC 2)
  2. Categorize, identify, and examine common techniques used in constructing mathematical proofs. (CCC 1, 2, 4, 6; PGC 2)
  3. Communicate a formal mathematical proof. (CCC 1, 2, 4, 6; PGC 2, 4)
  4. Evaluate the validity of a proposed formal mathematical proof. (CCC 1, 2, 4, 6; PGC 2)
     

See Core Curriculum Competencies and Program Graduate Competencies at the end of the syllabus. CCPOs are linked to every competency they develop.

Measurable Performance Objectives (MPOs)

Upon completion of this course, the student will:

  1. Translate formal mathematical statements that are written in the standard language and symbolism used by mathematicians.
    1. Analyze the essential components of a mathematical statement.
    2. Use formal mathematical definitions to deconstruct mathematical statements.
    3. Apply logical connectives and quantifiers to evaluate mathematical statements.
  2. Categorize, identify, and examine common techniques used in constructing mathematical proofs.
    1. Analyze mathematical statements to construct a logical structure for a proof.
    2. Apply direct proof methods to show the validity of mathematical arguments.
    3. Use indirect proof methods, including contraposition and contrapositive, to show the validity of mathematical arguments.
    4. Apply the principles of mathematical induction, including strong induction, to logical argument.
    5. Analyze a logical argument using cases.
  3. Communicate a formal mathematical proof.
    1. Integrate accepted mathematical techniques to construct a formal mathematical proof.
    2. Write a mathematical proof with sufficient explanation and logic.
    3. Produce a written proof using acceptable word processing software that captures correct mathematical symbolism.
  4. Evaluate the validity of a proposed formal mathematical proof.
    1. Read and synthesize a formal proof into language that is easily understood.
    2. Scrutinize a mathematical proof in order to verify its validity.
    3. Expand the deductive argument in a formal proof to better communicate the line of reasoning.

Evaluation Criteria/Policies

The grade will be determined using the Delaware Tech grading system:

90-100 = A
80-89 = B
70-79 = C
0-69 = F
Students should refer to the Catalog/Student Handbook for information on the Academic Standing Policy, the Academic Integrity Policy, Student Rights and Responsibilities, and other policies relevant to their academic progress.

Final Course Grade

Calculated using the following weighted average

Evaluation Measure

Percentage of final grade

        4 Tests (summative) (equally weighted)

75%

        Quizzes/Presentations (formative)

15%

Homework (formative)

10%

TOTAL

100%

Program Graduate Competencies (PGCs are the competencies every graduate will develop specific to his or her major)

  1. Employ mathematical strategies to solve algebraic, geometric, trigonometric, and calculus problems.
  2. Prove or disprove mathematical statements using formal arguments.
  3. Apply knowledge of the physical, social, emotional and cognitive development of adolescents.
  4. Access and implement educational technology.

Core Curriculum Competencies (CCCs are the competencies every graduate will develop)

  1. Apply clear and effective communication skills.
  2. Use critical thinking to solve problems.
  3. Collaborate to achieve a common goal.
  4. Demonstrate professional and ethical conduct.
  5. Use information literacy for effective vocational and/or academic research.
  6. Apply quantitative reasoning and/or scientific inquiry to solve practical problems.

Students in Need of Accommodations Due to a Disability

We value all individuals and provide an inclusive environment that fosters equity and student success. The College is committed to providing reasonable accommodations for students with disabilities. Students are encouraged to schedule an appointment with the campus Disabilities Support Counselor to request an accommodation needed due to a disability. The College's policy on accommodations for persons with disabilities can be found in the College's Guide to Requesting Academic Accommodations and/or Auxiliary Aids Students may also access the Guide and contact information for Disabilities Support Counselors through the Student Resources web page under Disabilities Support Services, or visit the campus Advising Center.

Minimum Technology Requirements

Minimum technology requirements for online, hybrid, video conferencing and web conferencing courses.