検索結果書誌詳細

和書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

計算理論と数理論理学　　　　　　　　

著者名 田中 一之／著
著者名ヨミ タナカ カズユキ
出版者 共立出版
出版年月 2022.6

書誌詳細

この資料の書誌詳細情報です。

タイトル番号 1006000659669
書誌種別 和書
書名 計算理論と数理論理学　　　　　　　　
著者名 田中 一之／著
書名ヨミ ケイサン リロン ト スウリ ロンリガク　　　
著者名ヨミ タナカ カズユキ
出版者 共立出版
出版地 東京
出版年月 2022.6
ページ数 8,299p
大きさ 22cm
価格 ￥４２００
言語区分 日本語
ISBN 4-320-11472-2
ISBN13 978-4-320-11472-2
件名 計算量理論　記号論理学
内容紹介 「計算理論」と「数理論理学」を同時に学ぶための学部上級から大学院初年級レベルの独習書。両分野の話題をうまく交えながら、巧みな筆致で解説する。問題、文献案内、用語・記号索引付き。
著者紹介 カリフォルニア大学バークレー校数学科博士課程修了(Ph.D.)。東北大学名誉教授。著書に「数学基礎論序説」「ゲーデルの定理」「逆数学」など。



内容細目

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

資料情報

各蔵書資料に関する詳細情報です。

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0023772775県立図書館410.9/ﾀﾅ/閲覧室一般和書貸可資料　在庫　　　  ○

マイ本棚へ追加ログインするとマイ本棚を利用できます。

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2022
410.9　410.9
【ポール・エルデス:離散数学の魅力　…】 ポール・エルデス:離散数学の魅力　…
VAŠEK CH… 【バナッハ-タルスキーのパラドックス】 バナッハ-タルスキーのパラドックス
Grzegorz… 【無限とはなんだろう　：　限りなく多…】 無限とはなんだろう　：　限りなく多…
玉野 研一／著 【これからの集合と位相】 これからの集合と位相
梅原 雅顕／共著… 【離散数学　：　コンピュータサイエン…】 離散数学　：　コンピュータサイエン…
Seymour … 【組合せ論の発見　：　古代から現代へ】 組合せ論の発見　：　古代から現代へ
Robin Wi… 【数学基礎論】 数学基礎論
新井 敏康／著 【情報系のための離散数学】 情報系のための離散数学
猪股 俊光／著,… 【AI時代の離散数学】 AI時代の離散数学
茨木 俊秀／著 【集合・位相・圏　：　数学の言葉への…】 集合・位相・圏　：　数学の言葉への…
原 啓介／著 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【離散数学】 離散数学
牧野 和久／著,… 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【離散数学入門　：　整数の誕生から「…】 離散数学入門　：　整数の誕生から「…
芳沢 光雄／著 【ヴァン・リント&ウィルソン組合せ…下】 ヴァン・リント&ウィルソン組合せ…下
J.H.ヴァン・… 【可換代数と組合せ論】 可換代数と組合せ論
日比 孝之／著,… 【数論・論理・意味論その原型と展開　…】 数論・論理・意味論その原型と展開　…
野本 和幸／著 【ヤング・タブロー　：　表現論と幾何…】 ヤング・タブロー　：　表現論と幾何…
W.フルトン／著… 【ファジィ集合最適化】 ファジィ集合最適化
金 正道／著 【逆数学　：　定理から公理を「証明」…】 逆数学　：　定理から公理を「証明」…
ジョン・スティル… 【組合せ数学】 組合せ数学
ロビン・ウィルソ… 【無限】 無限
イアン・スチュア… 【離散数学「ものを分ける理論」　：　…】 離散数学「ものを分ける理論」　：　…
徳田 雄洋／著 【ヴァン・リント&ウィルソン組合せ…上】 ヴァン・リント&ウィルソン組合せ…上
J.H.ヴァン・… 【「集合と位相」をなぜ学ぶのか　：　…】 「集合と位相」をなぜ学ぶのか　：　…
藤田 博司／著
計算量理論　記号論理学
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【計算理論の基礎3】 計算理論の基礎3
Michael … 【計算理論の基礎2】 計算理論の基礎2
Michael … 【計算理論の基礎1】 計算理論の基礎1
Michael … 【計算理論とオートマトン言語理論　：…】 計算理論とオートマトン言語理論　：…
丸岡 章／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【アルゴリズム理論の基礎】 アルゴリズム理論の基礎
宮崎 修一／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【記号論】 記号論
吉田 夏彦／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【心の影　：　意識をめぐる未知の科…2】 心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ… 【心の影　：　意識をめぐる未知の科…1】 心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ… 【「P≠NP」問題　：　現代数学の超…】 「P≠NP」問題　：　現代数学の超…
野崎 昭弘／著 【DNAコンピュータがわかる本　：　…】 DNAコンピュータがわかる本　：　…
赤間 世紀／著 【乱数生成と計算量理論】 乱数生成と計算量理論
小柴 健史／著 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。