資料詳細

[ 和図書 ] 計算理論入門 ( 数理情報科学シリーズ 27 )

五十嵐善英／著 -- 牧野書店 -- 2013.6 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/007.1/5373/2013	7103593276		Digital BookShelf
2014/03/18	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細

ISBN	4-434-17974-7
ISBN13桁	978-4-434-17974-7
タイトル	計算理論入門
タイトルカナ	ケイサンリロンニュウモン
著者名	五十嵐善英／著, Forbes D.Lewis ／著, 舩田眞里子／著
著者名典拠番号	110000056500000 , 120002622010000 , 110004699600000
出版地	東京,東京
出版者	牧野書店,星雲社(発売)
出版者カナ	マキノショテン
出版年	2013.6
ページ数	6, 212p
大きさ	21cm
シリーズ名	数理情報科学シリーズ
シリーズ名のルビ等	スウリジョウホウカガクシリーズ
シリーズ番号	27
シリーズ番号読み	27
一般注記	奥付の責任表示(誤植):Fobes D.Lewis
価格	¥2600
内容紹介	計算機科学専攻の学部学生から大学院初年度の学生までを対象に、計算理論の本質を、例題と図表を用いて解説するテキスト。問題解法の説明にはプログラミングの手法を適宜使用する。各章末に演習問題を収録。
書誌・年譜・年表	文献:p189～191
一般件名	計算量理論-ndlsh-00576481
一般件名カナ	ケイサンリョウリロン-00576481
一般件名	オートマトン , 計算量理論
一般件名カナ	オートマトン,ケイサンリョウリロン
一般件名典拠番号	510128900000000 , 510702300000000
分類：都立NDC10版	007.1
資料情報1	『計算理論入門』（数理情報科学シリーズ 27）　五十嵐善英／著, Forbes D.Lewis／著 , 舩田眞里子／著　牧野書店　2013.6（所蔵館：中央　請求記号：/007.1/5373/2013　資料コード：7103593276）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152289715

ページの先頭へ

第1章計算可能性とは何か: 1.1 プログラミング言語NICE; 1.2 チューリング機械; 1.3 プログラミング言語SMALL; 1.4 計算モデルの等価性; 1.5 拡張チューリング機械; 1.6 チャーチ・チューリングの定立
第2章解決不能性: 2.1 チューリング機械の数え上げ; 2.2 数え上げの性質; 2.3 万能チューリング機械; 2.4 停止問題; 2.5 還元可能性と解決不能性; 2.6 帰納的可算集合と帰納的集合
第3章計算の複雑さ: 3.1 計算量の測度; 3.2 計算量のクラス; 3.3 還元性と完全性; 3.4 クラスPとクラスNP; 3.5 手に負えない問題
第4章帰納的関数のいろいろな形式化: 4.1 ループプログラム; 4.2 原始帰納的関数; 4.3 アッカーマン関数; 4.4 μ帰納的関数; 4.5 句構造言語; 4.6 ポストシステム; 4.7 マルコフアルゴリズム

ページの先頭へ