## Overview

1. How to think mathematically, particularily about finite systems

2. How to write down mathematical arguments

## Some topics

• What does it mean to prove something?
• What does it mean for a mathematical procedure (algorithm) to be efficient?
• $168031584 = 2^5 \times 3^7 \times 7^4$
• Which is easier? Finding the left side given the right?
• Which is easier? Finding the left side given the left?
• Could we also have $2^3 \times 19 \times 15 \times 7321$ ?