# MATA132 How to Prove It? (4 cr)

**Study level:**

Intermediate studies

**Grading scale:**

0-5

**Language:**

English, Finnish

**Responsible organisation:**

Department of Mathematics and Statistics

**Curriculum periods:**

2024-2025, 2025-2026, 2026-2027, 2027-2028

## Description

Mathematical reasoning and logic. Direct proof, proof by contradiction and proof by induction. Negating statements. Sets, functions, and cardinality.

## Learning outcomes

The student

- knows the basics of logic, set theory and functions
- understands why statements are proved in mathematics
- knows basic proof methods (direct proof, proof by contradiction, proof by induction) and is able to apply them
- can negate mathematical statements
- knows how to read, write and evaluate proofs

## Additional information

The study module is recommended for students that have completed Calculus 1-3 before taking Introduction to mathematical analysis 1-4.

## Description of prerequisites

Good command of the long mathematics curriculum of high school.

## Study materials

Richard Hammack: Book of proof

J. Franklin, A. Daoud: Proof in Mathematics, An introduction

## Completion methods

### Method 1

**Description:**

Final exam and exercises.

**Evaluation criteria:**

Course exam and exercises.

**Time of teaching:**

Period 4

Select all marked parts

### Method 2

**Description:**

Final exam.

**Evaluation criteria:**

Final exam.

Select all marked parts

**Parts of the completion methods**

x

### Teaching (4 cr)

**Type:**

Participation in teaching

**Grading scale:**

0-5

**Language:**

Finnish

#### Teaching

##### 3/25–5/25/2025 Lectures

x

### Exam (4 cr)

**Type:**

Exam

**Grading scale:**

0-5

**Language:**

Finnish