04/02/08
C++. Destructors,
exceptions, namespaces. [class notes]
04/04/08 C++. Templates, Standard
Template Library. [class notes]
04/08/08 Java vs. C++. Byte code model,
packages. Heap, stack, garbage collection. [notes]
04/09/08 Java. Threads and parallel
processing. [notes]
04/11/08 Overflow.
04/14/08 Logical
languages. The arithmetic example. [notes]
[class notes]
04/16/08 Prolog. Facts and rules.
Logical variables. The Prolog database. [class
notes]
04/18/08 Prolog. Recursion, lists
and list-processing, arithmetic. [notes]
[notes] [class
notes]
04/21/08 Prolog. An introduction
to logic. [class notes]
04/23/08 Prolog. More on logic.
04/25/08 Prolog. Logical proofs and
Horn clause logic. [class notes]
04/28/08 Prolog. Run-time structures
and algorithms, unification, search, backtracking.
04/30/08 Prolog.
Cut, negation. Success
and failure. [notes]
[class notes] [class
notes]
(NMSU
calendar) |