商品詳細 | Knowledge Worker

前のページに戻る

この商品の冊子版はこちら

丸善のおすすめ度

【MeL】計算可能性の理論（計算理論の基礎 2）（DL不可）

Michael Sipser 　著

阿部正幸, 植田広樹, 太田和夫, 田中圭介, 藤岡淳, 渡辺治　翻訳
田中圭介, 藤岡淳　監修

		数量冊
価格 \12,342（税込）
※表示価格は「学術機関向け・同時1アクセス」の価格となります。ご注文を承った際には、実際のご契約内容により算出した価格でご請求いたします。

この商品について問合せる

発行年月	2023年05月
出版社／提供元	共立出版
言語	日本語
媒体	電子
ページ数／巻数	27p,p196〜328 40p
ジャンル	和書／理工学／情報学／情報理論
商品コード	1036391774
NDC分類	007.1
基本件名	オートマトン
本の性格	学術書
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1036391774

内容

Michael Sipser教授による “Theory of Computation” の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。第3版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第2版刊行後の研究の進展について説明を加えた。

第3章　Church–Turingの提唱　3.1　Turing機械　3.2　Turing機械の変型　3.3　アルゴリズムの定義　第4章　判定可能性　4.1　判定可能な言語　4.2　判定不可能性第5章　帰着可能性　5.1　言語理論における判定不可能問題　5.2　単純な判定不可能問題　5.3　写像帰着可能性第6章　計算可能性の理論における先進的な話題　6.1　再帰定理　6.2　数理論理における判定可能性　6.3　Turing帰着可能性　6.4　情報の定義

カート

カートに商品は入っていません。

前のページに戻る