Teaching

Introduction to Formal Reasoning and Decision Making

Course page: the textbook, online with the solutions to its exercises, and interactive labs for truth tables and syntax trees, probability and eikosograms, and decisions and games.