COMPUTING SCIENCE 325: NON-PROCEDURAL LANGUAGES
   Sept - December 2004
 Section A1: T/Th 9:30-10:50;  V-wing 102

http://www.cs.ualberta.ca/~greiner/C-325/

======================
TEXTBOOKS: 

No required textbooks.

Primary recommendation:
 * Lecture Notes (transparencies) 

Recommended: 
 * G. Steele, Common LISP: The Language (2nd), Digital Press, 1990.
 * P. Kogge, The Architecture of Symbolic Computers, McGraw-Hill, 1991.
 * L. Sterling and E. Shapiro, The Art of Prolog (2nd), MIT Press, 1994.
 * L. Paulson, ML for the Working Programmer (2nd), Cambridge, 1996.
 * W. Clocksin and C. Mellish, Programming in Prolog, Springer-Verlag, 1994.
 * I. Bratko, Prolog Programming for Artificial Intelligence (2nd), Addison-Wesley, 1990.
 ( H. Levesque, Functional Programming in Lisp, Bound Notes, UofToronto, 1987. )

====================
COURSE EVALUATION 

       Assignments  (four)  40% 
       Midterm              25% 
       Final Exam           35% 

 * After your 4 forgiven days, late assignments will not be accepted. 
 * Midterm: 26 October 2004
 * Final exam cannot be rewritten. 

====================
LABORATORY 

The laboratory for this course is in CSC 1-21.
TA will be present only CERTAIN weeks:
 * 1 week before each HW is due
 * Intro Lisp: 13-17/Sept
 * Intro Prolog: [tba]

COLLABORATION: In the course of developing assignment solutions you may
consult with other students. This by no means permits you to work as a team
and submit basically the same solution. The assignment you submit must be your
own work. In particular, sharing of code is not allowed.  Copying and cheating
will be penalized in accordance with university policy.  

======================
INSTRUCTORS: R Greiner                B Price
     Office: Ath 3-58		      CSC 3-55
     Phone:  492-5461                 492-0365
 E-mail:     greiner@cs.ualberta.ca   price@cs.ualberta.ca 
 Office hours: T/Th 10:50-11:20  (just after class)

TAs:	    Kevin Andrusky  Tommy Chu   David Silver