I will try to post the lectures slides before the start of class, but I
may update them after class. Please watch the
log file for
announcements of updates to files.
Introduction:
Readings: Sebesta Chapter 1 & 2.
Slides:2up.ps;
2up.pdf;
4up.ps;
4up.pdf
;
8up.ps;
8up.pdf. (Jan 5)
Formal Specifications I & II:
Readings: Sebesta Chapter 3.1-3.4, Chapter 4.3-4.5.
Slides:2up.ps;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
These are the complete slides for this section of the course. For those of
you who have hard copies of the previous slides that I posted, the only
difference is that I input several hand-written slides that I presented in
class, for your reference. The news slides are the slides numbered 11, 12, 13, 45, 46, 51.
Scheme:
Readings: Sebesta Chapter 15. References:
MIT Scheme Home Page.
Scheme Documentation.
Also, check out some of the reference books in the library, such as Dybvig.
The Dybvig book is also available
online here.
See also links to Scheme from CSC324 Home Page. There are some interesting reads.
Slides:
2up.ps
;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf. (to end of Jan 28 lecture)
Code: Here is the
code for procedures we developed in class on Jan 28.
As a courtesy to students, here is a preliminary version of the Scheme slides
that we will be using on Mon Feb 2. These slides will be
updated, but they're close to final form.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
As a courtesy to students, here is a preliminary version of the Scheme slides
that we will be using on Wed Feb 4. These slides will be
updated, but they're close to final form.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
As a courtesy to students, here is a preliminary version of the Scheme slides
that we will be using on Mon Feb 9. These slides will be
updated, but they're close to final form.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
As a courtesy to students, here is a preliminary version of the Scheme slides
that we will be using on Wed Feb 11. These slides will be
updated, but they're close to final form. Note that we also had a
lengthy discussion of
Assignment 3
in this class.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Procedural Language Design Issues:
Readings: Sebesta Chapters 5.3, 5.4, 5.8-5.10; 9.1-9.5; 10.1-10.5.
(Of these 5.8, 9.5 and 10.3 are most critical)
Note that Chapter 5 of Sethi (on hold for CSC324 in the library) is
perhaps a better reference for this material than Sebesta.
Slides:
2up.ps;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Parameter Passing Example covered in class on February 25.
Midterm Review:
Slides:
2up.ps;
2up.pdf;
We will also go over some old midterms.
Prolog:
Readings: Chapter 16 of Sebesta. See also the Prolog references on the main CSC324 Web page.
Slides:
As a courtesy to students, here is a preliminary version of the Prolog slides
that we will be using on Wed March 10. These slides will be
updated, but they're close to final form.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Prolog
code covered in class on March 10.
As a courtesy to students, here is a preliminary version of the Prolog slides
that we will be using on Mon March 15. These slides will be
updated, but they're close to final form.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Prolog
code covered in class on March 15.
As a courtesy to students, here is a preliminary version of the Prolog slides
that we will be using on Wed March 17. These slides will be
updated, but they're close to final form. A few of these slides are
augmentations of the March 15 slides.
These slides were updated on April 5 to add the Negation as Failure slides.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Prol
og
code covered in class on March 17.
Here is a version of the Prolog slides
that we used on Mon March 22 and Wed March 24.
These slides were updated on April 5 to add some (low-priority)
missing figures. Thanks to Tony Bonner for a number of these slides.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
As a courtesy to students, here is a preliminary version of the Prolog slides
that we will be using on Mon March 29.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Here is the
Prolog Search Tree we used in class. (You may need to download it to view it.)
As a courtesy to students, here is a preliminary version of the Prolog slides
that we will be using on Wed March 31. Note that we will also
be covering the slides form March 29 that we didn't complete.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Here are the slides for the April 5 lectures.
2up.ps ;
2up.pdf;
4up.ps;
4up.pdf;
8up.ps;
8up.pdf.
Final Review:
Slides:
2up.ps;
2up.pdf;