Workbook browser

Basic probability

Probability exercises.

Exercises on Combinatory Categorial Grammar.

Various counting exercises.

Exercises on FOL.

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

A set of programming exercises to practice higher-order functions.

A set of programming exercises to practice iteration.

Exercises on lambda calculus

Linear algebra exercises.

Mainly proof questions based on basic number theory.

An introduction to recursion and typing through PA

Building phrase structure grammars to generate sentences and analyze their structure.

Recursion exercises.

Exercises on sequence manipulation.

Math and programming exercises based on basic set theory.

Tasks on Zipf’s and related laws.