Logic of Programming

A student who wished to learn computer programming asked me for advice on which of two courses to take. One was more mathematical than the other, and he did not like Mathematics. Since he was a pianist, I asked him which course one should take to become a composer, if one does not like music. This book introduces the subject of computer programming as a rigorous, mathematical discipline. Its level of exposition makes it suitable for an advanced undergraduate university course, or introductory graduate course. As much as possible, it is self-contained, relying on mathematical ability but not on specific mathematical knowledge past the secondary school level. People whose interest is more in the practical aspects of programming than in the theoretical aspects will want to skip lightly over Chapters 2, 5, 11, and 12, and to concentrate on Chapters 6 through 10. Of course, those with the reverse interest will want to make the reverse concentration. Sprinkled throughout the book are paragraphs clearly marked " Aside". For beginners to the subject of programming, the text is complete without these paragraphs, and they can safely be ignored. They are intended for people who already have programming experience, to relate the material of this book to what they already know.

!!!No Mirrors below, please! Follow Rules!