Difference between revisions of "Lecture 01"
Jump to navigation
Jump to search
Line 72: | Line 72: | ||
======Slide 011====== | ======Slide 011====== | ||
[[Image:L01_s011.jpg|frame|none|Lecture 01, Slide 011<br> | [[Image:L01_s011.jpg|frame|none|Lecture 01, Slide 011<br> | ||
+ | Tying ties may be at first an intimidatingly imprecise task, and indeed irrelevant. (Half of North Americans is not eligible to wear a tie, even to formal occasions, and those of the other half who are not working in a bank, will maybe wear a tie on only two occasions and have the tie tied for them on the second one. Tying ties is, alas, a cultural technique that appears to be on the decline.). But it is a nice example for abstracting a complicated process down to its essential principles, and ''reasoning formally'' about these principles to obtain ''rigorous results'' about the process. | ||
+ | Here is an example of a systematic, albeit informal description of the process of how to tie a tie. But why is the process divided into exactly these steps? Are all of them necessary? How do we describe this process so that we can remember it ? Or do we need to refer to the sequence of images every time we would like to tie this knot? Is this a simple, or a rather complicated way to tie a tie; are there others? Are there better ways to tie a tie, and what could ''better'' even mean? | ||
]] | ]] | ||
+ | |||
======Slide 012====== | ======Slide 012====== | ||
[[Image:L01_s012.jpg|frame|none|Lecture 01, Slide 012<br> | [[Image:L01_s012.jpg|frame|none|Lecture 01, Slide 012<br> |
Revision as of 22:42, 11 September 2007
Update Warning! This page has not been revised yet for the 2007 Fall term. Some of the slides may be reused, but please consider the page as a whole out of date as long as this warning appears here.
Organisation and Orientation
Add/expand:
- Mission: Analysis must be followed by interpretation, course is hands-on, interactive and goal oriented.
- Technology: Google group, Wiki, supporting material on the Web
- Contact information
- Technical details of course organisation