Monday & Thursday, 3:10–4:25 p.m.
Sanders Physics 105
Friday, 11:00 a.m.–1:00 p.m.
Sanders Physics 309
Monday  Thursday  Friday  

1 
Introduction

Jan. 20 
Jan. 23 
Jan. 24 
2 
Set theory

Jan. 27 
Jan. 30 
Jan. 31 
3 
ProofsHow do we prove results with certainty? 
Feb. 3 
Feb. 6 
Feb. 7 
4 
Propositional logicHow can we formalize our reasoning?

Feb. 10 
Feb. 13 
Feb. 14 
5 
Firstorder logic

Feb. 17Firstorder logic, part 1 
Feb. 20Firstorder logic, part 2 
Feb. 21Lab 4 
6 
RelationsHow do we model relationships between objects?

Feb. 24Binary relations, converse and composition 
Feb. 27Reflexivity and transitivity 
Feb. 38Lab 5 
Resources
Perspectives
Readings
We will primarily use this textbook, available online:

Sets, Logic and Maths for Computing,
second edition
David Makinson
From outside the Vassar network, you may need to search for the book on the library website, which will prompt you to log in. The textbook is also available for sale at the Vassar bookstore.
The author’s list of errata is available.
Programming

Introduction to Computer Science via Scheme,
draft
Luke Hunsberger 
How to Design Programs,
second edition
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Sriram Krishnamurthi  The Racket Guide
Matthew Flatt, Robert Bruce Findler, and PLT  Racket Cheat Sheet
A computer is not dependent so much on technology as on ideas.W. Daniel Hillis, The Pattern on the Stone