計算理論と数理論理学 = MATHEMATICS OF LOGIC AND COMPUTATION

• 資料種別: 図書
• ISBN: 978-4-320-11472-2
• タイトル: 計算理論と数理論理学
• タイトルよみ: ケイサン リロン ト スウリ ロンリガク
• 著者・編者: 田中一之 著
• 著者標目: 著者 ： 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )典拠
• 出版事項: 東京 : 共立出版 (出版)
• 出版年月日等: 2022.6
• 出版年（W3CDTF）: 2022
• 数量: 299p
• 大きさ: 22cm
• 並列タイトル等: MATHEMATICS OF LOGIC AND COMPUTATION
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 表現種別: テキスト
• 機器種別: 機器不用
• キャリア種別: 冊子
• 件名標目: 計算量理論 ケイサンリョウリロン ( 00576481 )典拠; 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC10版: 410.9 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 4200円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-M44
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 032201656; http://id.ndl.go.jp/bib/032201656
• 全国書誌番号: 23707447
• トーハンMARC番号: 34351765
• 目録規則: 日本目録規則2018年版
• 整理区分コード: 111

• 要約等: 数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が，両分野の話題をうまく交えながら巧みな筆致で解説する。（提供元: 出版情報登録センター（JPRO））

目次

第1章　計算理論入門

1.1　オートマトンとモノイド

1.2　チューリング機械

1.3　計算可能な関数と原始再帰的関数

1.4　計算可能性と不可能性