図書

計算理論と数理論理学

図書を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

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

国立国会図書館請求記号
MA41-M44
国立国会図書館書誌ID
032201656
資料種別
図書
著者
田中一之 著
出版者
共立出版
出版年
2022.6
資料形態
紙
ページ数・大きさ等
299p ; 22cm
NDC
410.9
すべて見る

資料詳細

要約等：

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

書店で探す

書店で探す

目次

  • 第1章　計算理論入門

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

  • 1.2　チューリング機械

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

  • 1.4　計算可能性と不可能性

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • CiNii Research

    検索サービス
    紙
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
    この本の所蔵を確認

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISBN
978-4-320-11472-2
タイトル
計算理論と数理論理学
タイトルよみ
ケイサン リロン ト スウリ ロンリガク
著者・編者
田中一之 著
著者標目
著者 ： 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )典拠
出版事項
東京 : 共立出版 (出版)
出版年月日等
2022.6
出版年（W3CDTF）
2022
数量
299p