Foundations of Computation

Foundations of Computation

简介:

这是一本理论计算机科学一学期课程的教科书。除了介绍性计算机编程之外,该课程没有其他先决条件。课程的前半部分涵盖了逻辑,集合和函数的材料,这些材料通常会在离散数学课程中教授。第二部分涵盖了自动机,形式语言和语法的材料,这些材料通常会在理论计算机科学的高级课程中遇到。

英文简介:

This is a textbook for a one-semester course in theoretical computer science. The course has no prerequisites other than introductory computer programming. The first half of the course covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers material on automata, formal languages, and grammar that would ordinarily be encountered in an upper level course in theoretical computer science.

书名
Foundations of Computation
译名
计算基础
语言
英语
年份
2011
页数
256页
大小
1.87 MB
下载
pdf iconFoundations of Computation.pdf
密码
65536

最后更新:2025-04-12 23:58:01

←New Directions in Geometric and Applied Knot Theory

→Logical Reasoning