search give now about ocw help & faqs contact us
Course Info
Elements of Software Construction

Resources

Assignments

Exploration 1: A Midi Piano
Exploration 2: Building a Sudoku Solver with SAT
Exploration 3: Photo Organizer
exploration1
exploration2
exploration3
Problem Set 1: The State Machine Paradigm
Problem Set 2: The Symbolic Paradigm
Problem Set 3: The Relational Paradigm

Lecture Notes

Basics of Mutable Types
Classes
Coding the Photo Organizer
Conclusion
Concurrency
Debugging
Decoupling and Interfaces
Designing a SAT Solver, Part 1
Designing a SAT Solver, Part 2
Designing a SAT Solver, Part 3

Course Info

Topics

Learning Resource Types

assignment Problem Sets
notes Lecture Notes
group_work Projects
assignment_turned_in Programming Assignments with Examples