Scenes from today's CSE 322 (introduction to formal methods in computer science) final:
- Log in to post comments
More like this
This quarter I am teaching CSE 322: Introduction to Formal Models in Computer Science. Good fun. As part of my teaching I am LaTeXing up lecture notes from the class, which follow closely the book we are using, Sipser's "Introduction to the Theory of Computation." Here are the first three…
What I drew on the whiteboard during today's final:
The referees for the World Cup games are truly ridiculous. They are not doing their job very well because they have consistently missed making important penalty calls, such that some of the games have gotten out-of-control at times. One especially unpleasant example was today's Nederlands-…
Welcome to classical football 101.
This class will cover classical football from a historical perspective, starting with 17th century english village contests.
We will then cover the development of association football and rugby football, through to the emergence of the modern conceptualization of…