Skip to content
The Lumenary

The Lumenary

Practice

Exercises with hints and explanations. Take as many tries as you like — there are no scores, timers or streaks.

Collections

Warm-upHuman

Here is a collection: 🍎 🍌 🍐. Which one is a member of this collection?

Choose one

Collections

Warm-upHuman

How many members does this collection have? 🍊 🥕 🍋 🍎 🍐

Collections

CoreHuman

Kenji's box has 🍎 🍌 🍐. Lucía's box has 🍐 🍎 🍌. Are they the same collection?

Choose one

Collections

CoreHuman

The box for blue fruit is empty. How many members does the empty collection have?

Collections

CoreFormal

Gideon's game: the collection is 🍌 🍋 🥒. Is this statement true or false? "Every member of this collection is yellow."

Choose one

Collections

StretchHuman

For older children: from apple, banana, strawberry and lemon, write the collection of red things. Use words separated by commas, like {kiwi, plum}.

Write elements separated by commas. Order and repeats don’t matter — just like in a set!

Sets

Warm-upHuman

Let A={1,2,3,4}A = \{1, 2, 3, 4\} and B={3,4,5,6}B = \{3, 4, 5, 6\}. Write A∪BA \cup B.

Write elements separated by commas. Order and repeats don’t matter — just like in a set!

Sets

Warm-upHuman

With the same A={1,2,3,4}A = \{1, 2, 3, 4\} and B={3,4,5,6}B = \{3, 4, 5, 6\}, write A∩BA \cap B.

Write elements separated by commas. Order and repeats don’t matter — just like in a set!

Sets

CoreHuman

In the universe U={1,2,3,4,5,6,7,8}U = \{1, 2, 3, 4, 5, 6, 7, 8\}, write the complement AcA^{c} of A={1,2,3,4}A = \{1, 2, 3, 4\}.

Write elements separated by commas. Order and repeats don’t matter — just like in a set!

Sets

CoreFormal

Which statements are true? (Choose all that apply.)

Choose all that apply

Sets

CoreHuman

What is the cardinality ∣{a,b,a,c,b}∣|\{a, b, a, c, b\}|?

Sets

CoreHuman

A café offers 3 drinks and 4 snacks. A combo is an ordered pair (drink, snack). If DD is the set of drinks and SS the set of snacks, how many elements does D×SD \times S have?

Sets

StretchHuman

In a class, 14 students play football, 9 play chess, and 5 play both. How many play at least one of the two games?

Sets

StretchComputational

Write a Python function is_subset(a, b) that returns True exactly when every element of the set a is an element of the set b. Don't use Python's built-in <= or issubset — loop over the elements instead.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.

Integers

Warm-upHuman

Compute −8+5-8 + 5.

Integers

Warm-upHuman

Compute −4−(−9)-4 - (-9).

Integers

CoreHuman

Compute (−3)⋅(−4)⋅(−1)(-3) \cdot (-4) \cdot (-1).

Integers

CoreHuman

Compute (−6)+(−7)(-6) + (-7).

Integers

CoreHuman

In the proof that (−a)(−b)=ab(-a)(-b) = ab, we wrote (−a)(−b)+(−a)b=(−a)((−b)+b)(-a)(-b) + (-a)b = (-a)\big((-b) + b\big). Which property justifies this step?

Choose one

Integers

Warm-upHuman

At dawn in Ulaanbaatar the temperature is −23 ∘C-23\,^\circ\mathrm{C}. By noon it has risen by 1515 degrees. What is the noon temperature, in ∘C^\circ\mathrm{C}?

Integers

StretchComputational

Write find_mult_partner(a, limit) that searches the integers bb with −limit≤b≤limit-\text{limit} \le b \le \text{limit} and returns the first bb with a * b == 1, or None if there is none. Then think: why does searching further never help when ∣a∣≥2|a| \ge 2?

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.

Functions

Warm-upHuman

Let A={1,2,3}A = \{1, 2, 3\} and B={a,b}B = \{a, b\}. Which of these rules is a function from AA to BB?

Choose one

Functions

CoreHuman

How many functions are there from a set with 33 elements to a set with 22 elements?

Functions

CoreHuman

How many injective functions are there from a 2-element set to a 4-element set?

Functions

CoreHuman

Which of these functions Z→Z\Z \to \Z are surjective? (Choose all that apply.)

Choose all that apply

Functions

StretchHuman

A school has 400 students. Why must at least two of them share a birthday (day and month)?

Choose one

Functions

StretchComputational

A finite function can be stored as a Python dictionary, e.g. {1: 'a', 2: 'b', 3: 'a'}. Write is_injective(f) returning True exactly when no two keys have the same value.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.

Composition

Warm-upHuman

Let f(x)=x+3f(x) = x + 3 and g(x)=x2g(x) = x^2. Compute (g∘f)(2)(g \circ f)(2).

Composition

Warm-upHuman

If f:A→Bf : A \to B and g:B→Cg : B \to C, what are the domain and codomain of g∘fg \circ f?

Choose one

Composition

CoreHuman

Let f(x)=3xf(x) = 3x and g(x)=x−2g(x) = x - 2. Compute (g∘f)(4)−(f∘g)(4)(g \circ f)(4) - (f \circ g)(4).

Composition

StretchHuman

Suppose g∘fg \circ f is injective. Which of these must be true? (Choose all that apply.)

Choose all that apply

Composition

CoreFormal

In Lean, comp_assoc is proved by rfl. What does that tell us?

Choose one

Composition

StretchComputational

Finite functions can be stored as dictionaries. Write compose(g, f) returning a dictionary for g∘fg \circ f (apply f first!). You may assume every value of f is a key of g.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.