面向计算机科学的数理逻辑 系统建模与推理 原书第2版 的课后习题1-5章的英文答案，虽然是英文，不过对照习题，很容易看懂。
2019-12-21 22:16:57
444KB
1
本书的目标是教你像计算机科学家一样思考。这一思考方式集成了数学、工程以及自然 科学的一些最好的特点。像数学家一样，计算机科学家使用形式语言表示思想(具体来 说是计算)。像工程师一样，计算机科学家设计东西，将零件组成系统，在各种选择之 间寻求平衡。像科学家一样，计算机科学家观察复杂系统的行为，形成假设并且对预测 进行检验。
2019-12-21 22:13:36
2.84MB
1
Categories and Computer Science -Cambridge Computer Science Texts)R. F. C. Walters.pdf
2019-12-21 21:59:06
1.15MB
1
这本书，详细的讲解了，形式语言与自动机的相关知识，对于想学习编译原理与开发程序设计的读者来说是一本相当不错的参考书，本书从一些相关的数学知识讲起，由浅入深的阐述了计算机语言的开发的基础知识，为以后学习编译器的开发打下了坚实的基础。
2019-12-21 21:22:45
109.98MB
1