Lecture 13: Case Study: The Solitaire Game 2009/10/14
Lecture 14: Subclasses and Subtypes 2009/10/16
Lecture 15: Static and Dynamic Behavior 2009/10/19

Mid-term exam 2009/10/23

Lecture 16: Implications of Substitution 2009/10/26

I like this idea: Open and Free Access to high quality scientific work (papers, slides, videos etc). This is a good try. I think to make it even better, we should introduce Web2.0 elements to make it more interactive.
—Forwarded message—-
from MYV to Moshe Vardi
date Thu, Oct 15, 2009 at 8:29 PM
subject [UAI] FIVE YEARS OF LOGICAL METHODS IN [...]

Lecture 12: Inheritance.
In this lecture, we discussed:

The intuitive and practical meanings of inheritance
The syntax used to describe inheritance and substitution
Some of the various forms of inheritance
The benefits and costs of inheritance

The lecture is canceled for the thanks-giving Monday (October 12, 2009). Have fun.

Lecture 8-9: Classes and Methods 2009/09/30-10/02

We discussed the static, compile time representation of object-oriented programs.

Lecture 10: Messages, Instances and Initialization. 2009/10/05

We discussed the dynamic, run time behavior of object-oriented programs.

Lecture 11: A Case Study: Eight Queens 2009/10/07

We did a case study: solving Eight Queens problem in object-oriented approach.