| Number |
Date |
Title |
Links |
| F8 |
5/11/2006 |
Antichess Tournament |
(HTML) |
| CC4 |
4/18/2006 |
Problem Set 4: Cross-Checker Results |
(HTML) |
| CC3 |
3/28/2006 |
Problem Set 3: Cross-Checker Results |
(HTML) |
| F7 |
5/02/2006 |
Gizmoball Project Amendment: Anti-ball Gizmoball |
(HTML) |
| F6 |
5/02/2006 |
Antichess Project Amendment: Anti-king Antichess |
(HTML) |
| F5 |
4/10/2006 |
Final Project: Group assignments |
(HTML) |
| F4 |
4/07/2006 |
Final Project: Gizmoball |
(HTML) |
| F3 |
4/07/2006 |
Final Project: Antichess |
(HTML) |
| F2 |
4/03/2006 |
Final Project: Gizmoball Overview |
(HTML) |
| F1 |
4/3/2006 |
Final Project: Antichess Overview |
(HTML) |
| R7 |
3/23/2006 |
Recitation 7: Performance, MDDs, and Design Patterns |
(HTML) |
| CC2 |
3/18/2006 |
Problem Set 2: Cross-Checker Results |
(HTML) |
| R6 |
3/16/2006 |
Recitation 6: Reasoning with Induction |
(HTML) |
| R5 |
3/9/2006 |
Recitation 5: Equality/Hashing/Generics |
(HTML) |
| P5 |
3/14/2006 |
Problem Set 5: Implementing a Route Specification |
(HTML) |
| P4 |
3/7/2006 |
Problem Set 4: Designing and Implementing Street Segments |
(HTML) |
| R4 |
3/2/2006 |
Recitation 4: Testing |
(HTML) |
| P3 |
2/28/2006 |
Problem Set 3: Graph ADT with PathFinder |
(HTML) |
| R3 |
2/23/2006 |
Recitation 3: Abstract Data Types |
(HTML) |
| P2 |
2/22/2006 |
Problem Set 2: Implementing a Route Specification |
(HTML) |
| L8 |
2/24/2006 |
Lecture 8: Representation invariants and abstraction
functions |
(PDF) |
| L7 |
2/22/2006 |
Lecture 7: Abstract Data Types |
(PDF) |
| L6 |
2/21/2006 |
Lecture 6: Procedure specifications |
(PDF) |
| L5 |
2/17/2006 |
Lecture 5: Exceptions and Testing |
(PDF) |
| R2 |
2/16/2006 |
Recitation 2: Specifications |
(HTML) |
| L4 |
2/15/2006 |
Lecture 4: Subclassing |
(PDF) |
| L03 |
2/13/2006 |
Lecture 3: Specifications |
(PDF) |
| P1 |
2/12/2006 |
Problem Set 1: Coding to Specifications |
(HTML) |
| R1 |
2/9/2006 |
Recitation 1: Intro to Java |
(HTML) |
| L02 |
2/8/2006 |
Lecture 2: Java classes |
(PDF) |
| P0 |
2/8/2006 |
Problem Set 0: Introduction to 6.170 |
(HTML) |
| L01 |
2/8/2006 |
Lecture 1: Java objects |
(PDF) |
| A1 |
2/8/2006 |
General Information |
(HTML) |
| A2 |
2/8/2006 |
Course Calendar |
(HTML) |
| A3 |
2/8/2006 |
Objectives and outcomes |
(HTML) |
| A4 |
2/8/2006 |
TA Office Hours |
(HTML) |
| A5 |
2/8/2006 |
Section Assignments |
(HTML) |
| S1 |
2/8/2006 |
Old Quizzes |
(HTML) |
| S2 |
2/13/2006 |
Tools Overview |
(HTML) |
| T1 |
2/13/2006 |
Editing, Compiling, Running, and Testing Java Programs |
(HTML) |
| T2 |
2/13/2006 |
Version Control Reference |
(HTML) |
| T3 |
2/13/2006 |
Emacs Reference for 6.170 |
(HTML) |
| T4 |
2/13/2006 |
Eclipse Reference for 6.170 |
(HTML) |
| T5 |
2/13/2006 |
Working at Home |
(HTML) |
| T6 |
2/13/2006 |
Daikon invariant detector |
(HTML) |
| S1 |
2/17/2006 |
Java Style Guide |
(HTML) |
| S2 |
2/17/2006 |
Class and Method Specifications |
(HTML) |
| S3 |
2/17/2006 |
Writing Abstraction Functions and Rep Invariants |
(
HTML) |
| S4 |
3/21/2006 |
Documenting a Software System |
(HTML) |
| T7 |
4/7/2006 |
Tools for the Final Project |
(HTML) |
