形式語言與自動機導論
認領(lǐng)
0粉絲
本書是理論計算機科學方面的優(yōu)秀教材，主要介紹形式語言、自動機、可計算性和相關(guān)內(nèi)容。本書特別注意定義、定理的準確性和嚴格性，在定理的證明中給出了直觀的動機和框架，避免多余的數(shù)學細節(jié)，這有利于培養(yǎng)學生形式化和嚴格的數(shù)學推理能力，加強對問題的理解；本書通過精心設(shè)計的大量示例，生動剖析了各種定理和定義，概念清晰，深入淺出。每章后面還給出了難度不同的習題，并給出部分習題的解答，可使學生加深對基本原理的理解并
簡介
本書是理論計算機科學方面的優(yōu)秀教材，主要介紹形式語言、自動機、可計算性和相關(guān)內(nèi)容。本書特別注意定義、定理的準確性和嚴格性，在定理的證明中給出了直觀的動機和框架，避免多余的數(shù)學細節(jié)，這有利于培養(yǎng)學生形式化和嚴格的數(shù)學推理能力，加強對問題的理解；本書通過精心設(shè)計的大量示例，生動剖析了各種定理和定義，概念清晰，深入淺出。每章后面還給出了難度不同的習題，并給出部分習題的解答，可使學生加深對基本原理的理解并... 更多
屬性
出版社
機械工業(yè)出版社
ISBN
9787111167884
出版年
2005-9
裝幀
平裝
價格
36.00元
頁數(shù)
289
評價
0.0（滿分 10 分）0 個評分
什么是點評分
圖片
表情
全部評價(
0)
推薦率
100%