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