This page contains slides used to teach material based on Fitzgerald and Larsen's book.

A new Japanese translation has been developed by Takahiko Ogino of the Railway Technical Research Institute, Tokyo, Japan. We are very grateful to Mr. Ogino and his colleagues for their work in completing the translation.

Teachers are welcome to download and review the material available here. Any use of this material must include acknowledgement of the authors.

Subject	Powerpoint 97	Postscript	PDF	Japanese (PDF)
Introduction	intro.ppt	intro.ps	intro.pdf	MS-introduction1.pdf
Guided Tour	tour.ppt	tour.ps	tour.pdf	MS-tour2.pdf
Logic	logic.ppt	logic.ps	logic.pdf	MS-logic3.pdf
Basic Data Types	basic.ppt	basic.ps	basic.pdf	MS-basicelement4.pdf
Sets	sets.ppt	sets.ps	sets.pdf	MS-set5.pdf
Sequences	sequences.ppt	sequences.ps	sequences.pdf
Mappings	mappings.ppt	mappings.ps	mappings.pdf	MS-mapping6.pdf
Recursion	recursion.ppt	recursion.ps	recursion.pdf
Validation	validation.ppt	validation.ps	validation.pdf	MS-validation7.pdf

The full sets:

English slides	Zipped Powerpoint 97	Zipped PDF	Zipped Postscript
Japanese slides		Zipped PDF

Validation Course (New - July 2000) This course was developed for use at the Technical University of Wroclaw in Poland during 2000 as part of a Socrates Teaching Staff Mobility sponsored by the European Union.

Validation Course (62 slides)

Zipped Powerpoint 97

Zipped PDF

Zipped Postscript

Please let us know of your experiences using this material. If you develop teaching materials of youre own, then why not contribute some notes, slides or just teaching experiences of your own? Send the material to John.Fitzgerald@ncl.ac.uk. We gratefully acknowledge all contributions.

The slides serve as lecture notes as well as OHP transparencies. At Newcastle, students have printed copies of the slides which they annotate during the lectures. As a result, some slides are "busier" than I might like. Most slides have some blank space in which an annotation is written by the lecturer. This is especially useful when presenting relatively intricate formulae, as it tends to slow the lecturer. The use of an OHP also helps to reduce the problem of talking away from the students.