図書

計算理論と数理論理学

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

計算理論と数理論理学 = 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