This is an archived page from the Fall 2019 version of the course. For the latest version, see https://uvatoc.github.io.

Class 2: Defining Definitions

Schedule Reminders: Office hours start today! Full schedule (which will be updated) is posted here. The first office hours are tonight, 6:30-8pm, in Rice 442.

Is 0 a Natural Number?

Slides (PDF)
Video

The “Google dragon” image was drawn for this talk. You can find Sergey Brin’s resume here (note the high honors in Mathematics and (low) honors in Computer Science).