current edition

You can download the book in four parts, in your choice of pdf or ps format, from the left column below.
You can also download the lecture visuals, in pdf format, from the right column below.

the Book the Lecture Visuals
Part A (pdf , ps)     Title and Contents
Part B (pdf , ps)
Chapters 0,..5
  1. Preface
  2. Basic Theories
  3. Basic Data Structures
  4. Function Theory
  5. Program Theory
Part C (pdf , ps)
Chapters 5,..9
  1. Programming Language
  2. Recursive Definition
  3. Theory Design and Implementation
  4. Concurrency
Part D (pdf , ps)
Chapters 9,..12
  1. Interaction
  2. Exercises
  3. Reference

Solutions to exercises are available to course instructors.

ÖÐÎÄ°æ (Chinese version)

change log

author's website