8/22/2019 Aho_Ullman Foundations of Computer Science

1/2

8/8/13 Aho/Ullman Foundations of Computer Science

infolab.stanford.edu/~ullman/focs.html#pdfs

Foundations of Computer Science

This book has been taken out of print by W. H. Freeman. You are welcome to use it if you like.We believed in 1992 it was the way to introduce theory in Computer Science, and we believethat today.

--- Al Aho and Jeff Ullman

Index

The Book | Materials | Gradiance | Errata

PDF's of the Book

PrefaceTable of ContentsChapter 1 Computer Science: The Mechanization of AbstractionChapter 2 Iteration, Induction, and Recursion

Chapter 3 The Running Time of ProgramsChapter 4 Combinatorics and ProbabilityChapter 5 The Tree Data ModelChapter 6 The List Data ModelChapter 7 The Set Data ModelChapter 8 The Relational Data ModelChapter 9 The Graph Data ModelChapter 10 Patterns, Automata, and Regular ExpressionsChapter 11 Recursive Description of PatternsChapter 12 Propositional LogicChapter 13 Using Logic to Design Computer Components

Chapter 14 Predicate LogicIndex

Supplementary Materials

Solutions to Selected ExercisesA Selection of Exams and ProjectsJeff Ullman's Lecture Notes (ancient)The Programs Appearing in the Book

http://infolab.stanford.edu/~ullman/focs/ch10.pdfhttp://infolab.stanford.edu/~ullman/focs/ch08.pdfhttp://infolab.stanford.edu/~ullman/focs/ch07.pdfhttp://infolab.stanford.edu/~ullman/focs/preface.pdfhttp://infolab.stanford.edu/~ullman/focs/preface.pdfhttp://infolab.stanford.edu/~ullman/focs/preface.pdfhttp://infolab.stanford.edu/~ullman/fcsc-figures.htmlhttp://infolab.stanford.edu/~ullman/fcsc-notes.htmlhttp://infolab.stanford.edu/~ullman/fcs-exams.htmlhttp://infolab.stanford.edu/~ullman/pub/sols-fcsc-new.pshttp://infolab.stanford.edu/~ullman/focs/index.pdfhttp://infolab.stanford.edu/~ullman/focs/ch14.pdfhttp://infolab.stanford.edu/~ullman/focs/ch13.pdfhttp://infolab.stanford.edu/~ullman/focs/ch12.pdfhttp://infolab.stanford.edu/~ullman/focs/ch11.pdfhttp://infolab.stanford.edu/~ullman/focs/ch10.pdfhttp://infolab.stanford.edu/~ullman/focs/ch09.pdfhttp://infolab.stanford.edu/~ullman/focs/ch08.pdfhttp://infolab.stanford.edu/~ullman/focs/ch07.pdfhttp://infolab.stanford.edu/~ullman/focs/ch06.pdfhttp://infolab.stanford.edu/~ullman/focs/ch05.pdfhttp://infolab.stanford.edu/~ullman/focs/ch04.pdfhttp://infolab.stanford.edu/~ullman/focs/ch03.pdfhttp://infolab.stanford.edu/~ullman/focs/ch02.pdfhttp://infolab.stanford.edu/~ullman/focs/ch01.pdfhttp://infolab.stanford.edu/~ullman/focs/toc.pdfhttp://infolab.stanford.edu/~ullman/focs/preface.pdfhttp://infolab.stanford.edu/~ullman/focs.html#erratahttp://infolab.stanford.edu/~ullman/focs.html#gradhttp://infolab.stanford.edu/~ullman/focs.html#supphttp://infolab.stanford.edu/~ullman/focs.html#pdfs

8/22/2019 Aho_Ullman Foundations of Computer Science

2/2

8/8/13 Aho/Ullman Foundations of Computer Science

infolab.stanford.edu/~ullman/focs.html#pdfs

Gradiance Package Available

Gradiance is offering a free trial of its automated homeworks for the topics covered by this book.These homeworks are designed as a teaching aid rather than an assessment tool. Students getadvice when they make a mistake and are encouraged to try working on the same problem(s)until they get them right. If you would like to try the system gratis for your class, make yourself anaccount at www.gradiance.com/services. Then, send email to sup port @grad iance .com(ignore the blanks in that email address, of course) telling us your login and that you would like

to try the discrete-math product. You can find manuals for instructors, students, and question-authors at www.gradiance.com/info.html.

Special offer for students: Until June 30, 2009, we have made use of the Gradiance materialsavailable for students whose instructors are not using the system. Make yourself an account onwww.gradiance.com/services, and then sign up for the class 8CD5ED01. You will be able towork 31 selected homeworks, and will get advice when you make an error. The only differenceis that we cannot reveal solutions, because these assignments are open indefinitely.

Errata Sheet

We are going to try to maintain errata. Please see The Errata Sheet. If you find an unreportederror, please send email to ullman at gmail dot com.

http://infolab.stanford.edu/~ullman/focs/errata.htmlhttp://www.gradiance.com/serviceshttp://www.gradiance.com/info.htmlhttp://www.gradiance.com/serviceshttp://www.gradiance.com/