Q.e.d. Code

Code Contracts let you express predicates in C# code. This Visual Studio plug in and associated library checks your assertions. It can perform tests at run time, and even prove the predicates at compile time. Leonhard Euler solved the Seven Bridges problem. In so doing, he established graph theory, one of the foundations of computer science. Reason through his proof, and discover how many bridges it will take to solve the problem. Claude E. Shannon defined Information Theory in "A Mathematical Theory of Communication". Review the first part of his paper, where he analyzes the capacity of a noiseless channel. Then find out how we can transmit faster than that capacity will allow, given information about the language.