MATH1090

MATH1090 interactive textbook

A beginner-friendly set theory path with short units, source traceability, and guided interaction.

Use the course sidebar to move chapter by chapter, or jump directly into a unit below.

2 Chapter

Every unit on this course page can be opened as a live learning page and exported as a static study copy.

Chapter 1

Logic

Reasoning tools for statements, connectives, and quantifiers.

1.1Source-backed1 Interactive checkpoints

1.1 Propositional logic

Learn how mathematicians treat statements, connectives, and validity.

reference/MATH1090/MATH1090_Lecture_Notes_Feb27.pdf (§1.1-§1.3)

reference/MATH1090/MATH1090_Worksheet1.pdf

reference/MATH1090/MATH1090_HW1.pdf

Open unit

1.2Source-backed1 Interactive checkpoints

1.2 Truth tables and equivalence

Build truth tables and use them to test equivalence, tautologies, and contradictions.

reference/MATH1090/MATH1090_Lecture_Notes_Feb27.pdf (§1.4-§1.6)

reference/MATH1090/MATH1090_Worksheet1.pdf

reference/MATH1090/MATH1090_HW1.pdf

Open unit

1.3Source-backed1 Interactive checkpoints

1.3 Quantifiers and negation

Translate quantifiers carefully and negate them without losing meaning.

reference/MATH1090/MATH1090_Lecture_Notes_Feb27.pdf (§1.9-§1.10)

reference/MATH1090/MATH1090_Worksheet2.pdf

Open unit

Chapter 2

Sets and relations

Basic set language, functions, and relations.

2.1Source-backed1 Interactive checkpoints

2.1 Sets and set operations

Understand membership, subsets, and the main set operations by working with concrete examples.

reference/MATH1090/MATH1090_Lecture_Notes_Feb27.pdf (§2.1-§2.3)

reference/MATH1090/MATH1090_Worksheet3.pdf

Open unit

2.2Source-backed1 Interactive checkpoints

2.2 Functions and relations

Connect sets to functions and relations, then read injective, surjective, and relational language with confidence.

reference/MATH1090/MATH1090_Lecture_Notes_Feb27.pdf (§2.4-§2.10)

reference/MATH1090/MATH1090_Worksheet3.pdf

Open unit

Interactive textbooks