Exercise browser

Formal semantics

Exercises on model-theoretic semantics, FOL, and lambda calculus for a computational semantics course

Iteration

A set of programming exercises to practice iteration.

Sets

Math and programming exercises based on basic set theory.