Logic 101 (#21): Applying Replacement Rules

Описание к видео Logic 101 (#21): Applying Replacement Rules

http://gametheory101.com/courses/logi...

Previously, we have seen how to use replacement rules in isolation. This lecture uses a succession of replacement rules to turn a very ugly statement into a very clean and digestible one.

In the process, we get a flavor of proofs, which will be the main topic two units from now.

Комментарии

Информация по комментариям в разработке

Похожие видео