80-616 Formal Methods: Decisions and Games

6 units, Carnegie Mellon University

The formal methods seminar series introduces a variety of formal structures that have broad applicability to issues of philosophical interest. This mini focuses on decision theory and game theory.

Prerequisites: none listed

Offered: Fall 2025

Courseweave needs JavaScript to show sections, workloads and planning tools.