Gamifying propositional logic: QED, an interactive textbook

What's new 2018-08-02

Summary:

About six years ago on this blog, I started thinking about trying to make a web-based game based around high-school algebra, and ended up using Scratch to write a short but playable puzzle game in which one solves linear equations for an unknown using a restricted set of moves. (At almost the same time, there […]

Link:

https://terrytao.wordpress.com/2018/07/28/gamifying-propositional-logic-qed-an-interactive-textbook/

From feeds:

Online Mathematical Communication » What's new

Tags:

Authors:

Terence Tao

Date tagged:

08/02/2018, 06:16

Date published:

07/28/2018, 22:47