סדרה המיועד להקנות את היסודות התיאורטיים של מדעי המחשב. בספר מוצגים מודלים חישוביים יסודיים, תוך השוואת דרך החישוב שלהם. כמו כן, מוצגות המשפחות היסודיות של שפות פורמליות.