CS 849: Logical Foundations of Programming Languages

Instructor-Supplied Course Information: Winter 2006

• Course outline.
• Transparencies directory.
• Assignments directory.

Welcome to CS 849!

I will make the course transparencies and assignments available here as I complete them. For simplicity, I will just dump them all into directories, in files which have names which should tell you what they are.

A picture gallery containing some pictures of people important to the course is available.

Office Hours:

• Jamie Andrews (instructor): To be announced.

News

• Dec. 23: Website created.

Documents and Directories: Notes

All documents are in PostScript format.

• To view PostScript on Unix under X, use the command ghostview filename.ps. (Your browser might do this automatically when you click on a .ps file.)
• You can probably download a PostScript file (or any file) to your directory from your browser by moving the mouse to the file name, pressing a particular mouse button, and selecting a menu item; in my browser, it is the right button and the "Save Link As..." item.
• To convert a PostScript file with big fonts (such as the transparencies) to a format in which 2 original pages appear side-by-side on a printed page, use the Unix command psnup -n2 filename.ps; the output is a new PostScript file which can be stored or sent directly to the printer.
• Similarly, use psnup -n4 filename.ps to convert a PostScript file to one with 4 pages per page (though some people might find this difficult to read).

--Jamie Andrews.