论文标题
计算基础
Fundamentals of Computing
论文作者
论文摘要
这些是CS-172课程的注释，我在1986年秋季首次在加州大学伯克利分校，后来在波士顿大学任教。目的是将本科生介绍到计算理论理论的基本概念，并引起他们对进一步研究的兴趣。模型依赖性效应被系统地忽略。具体的计算问题仅被视为一般原则的例证。笔记是骨骼的：它们确实有（简洁的）证明，但是练习，参考，直觉评论，示例缺失或不足。这些笔记可用于设计课程或想要刷新已知材料或明亮并有问题的学生。每个小节大约需要课程的一个星期。
These are notes for the course CS-172 I first taught in the Fall 1986 at UC Berkeley and subsequently at Boston University. The goal was to introduce the undergraduates to basic concepts of Theory of Computation and to provoke their interest in further study. Model-dependent effects were systematically ignored. Concrete computational problems were considered only as illustrations of general principles. The notes are skeletal: they do have (terse) proofs, but exercises, references, intuitive comments, examples are missing or inadequate. The notes can be used for designing a course or by students who want to refresh the known material or are bright and have access to an instructor for questions. Each subsection takes about a week of the course.
