11/02/07 C++. Templates, Standard Template Library. [class notes]

11/05/07 Java vs. C++. Byte code model, packages. Heap, stack, garbage collection. [notes]

11/07/07 Java. Threads and parallel processing.

11/09/07 Logical languages. Prolog. The arithmetic example. [notes] [class notes]

11/12/07 Prolog. Facts and rules. Logical variables. The Prolog database. [class notes]

11/14/07 Prolog. Recursion, lists and list-processing, arithmetic. [notes] [notes] [class notes]

11/16/07 Prolog. An introduction to logic. [notes] [class notes]

11/19/07Thanksgiving NO CLASS

11/21/07 Thanksgiving NO CLASS

11/23/07 Thanksgiving NO CLASS

11/26/07 Prolog. More on logic. [class notes]

11/28/07 Prolog. Logical proofs and Horn clause logic.

11/30/07 Run-time structures and algorithms, unification, search, backtracking. [class notes]

(NMSU calendar) (all class notes)