資料詳細

【図書】 計算の理論

現代科学選書 --
Ｍ．デーヴィス／著, 渡辺茂／〔共〕訳, 赤攝也／〔共〕訳 -- 岩波書店 -- １９６６．１０ -- ２１ｃｍ -- ｘ，３１４ｐ

タイトル	計算の理論
シリーズ名	現代科学選書
著者名等	Ｍ．デーヴィス／著, 渡辺茂／〔共〕訳, 赤攝也／〔共〕訳
出版	岩波書店１９６６．１０
大きさ等	２１ｃｍｘ，３１４ｐ
分類	410.1
件名	関数
注記	Ｃｏｍｐｕｔａｂｉｌｉｔｙ　ａｎｄ　Ｕｎｓｏｌｖａｂｉｌｉｔｙ．／の翻訳
内容	内容　：　序論　；　計算可能性の一般理論（計算可能な関数，計算可能な関係についての演算，帰納的関数Ｔｕｒｉｎｇ機械を自己に適用すること，可解でない決定問題）　；　一般理論の応用（組合せ問題，Ｄｉｏｐｈａｎｔｏｓの方程式，数学論理学）　；　一般理論の展開（Ｋｌｅｅｎｅのハイアラーキー，計算可能な汎関数，可解でない決定問題の分類）　；　付録　初等整数論における若干の定理ｐ２５７～２６４　；　参考文献ｐ２６５～２７１　；　解説ｐ２７３～３０３　；　索引ｐ３０７～３１４．
書誌番号	1111022507
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1111022507

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.1/13	一般書	利用可	-	2046353776