Teaching

Introduction to Formal Reasoning and Decision Making

Interactive apps for the course: truth tables and syntax trees, eikosograms, and decision matrices.