Class Material Supplements

This page is dedicated to additional material and various helpful items.

In the following tutorial you will find a formal definition of what a reduction is and see an example.

Here it is accompanied with some very detailed comments and explanations regarding the way of thinking and the formality of proofs.