# Introduction to Proofs

## Introduction to Proof and Problem Solving |

## Course Overview[edit | edit source]Students learn the basic concepts and ideas necessary for upper division mathematics courses and techniques of mathematical proof in the context of specific topics. Introduction to sets, relations, elementary mathematical logic, proof by contradiction, mathematical induction, and counting arguments. Since advanced mathematics courses require students to construct proofs, this class is necessary to study Real Analysis, Abstract Algebra, and beyond. |

## Course requirements

[edit | edit source]The following knowledge is required or desirable on commencement of study of this course:

## Course outline

[edit | edit source]We're going to follow a number of different sources for this course. First, there is the Wikibooks' Set Theory textbook. We'll also cover material from the Wikibooks' Mathematical Proof textbook. As there are some limitations to those texts, we'll also cover material from outside sources.

- Introduction to Mathematical Logic
- Introduction to Sets and Operations on Sets
- Direct Proof and Proof by Contradiction
- Mathematical Induction
- Equivalence Relations and Classes
- Orderings
- Functions and Mappings
- Number Theory and Combinatorial Proofs
- Countability Arguments

## Lecture series

[edit | edit source]- Lecture 1 Introduction to Proofs

## Assignments

[edit | edit source]Problem sets will be posted here after a certain number of lectures (to be specified.)

## Examinations

[edit | edit source]The plan is to have two 'midterm' exams and a comprehensive 'final' exam. Exam questions will be based on questions from the problem sets and the lectures.

## Recommended student evaluation scheme

[edit | edit source]*not available yet*