検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

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

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

書誌情報サマリ

書名	計算理論と数理論理学
著者名	田中一之／著
出版者	共立出版
出版年月	2022.6
請求記号	4109/00095/

この資料に対する操作

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

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

この資料に対する操作

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

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

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

貸出可能数

関連資料

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

田中一之

1 / 3

数学基礎論序説　：　数の体系への論…
田中一之／著

逆数学　：　定理から公理を「証明」…
ジョン・スティル…

スマリヤン数理論理学講義下巻
レイモンド・M.…

スマリヤン数理論理学講義　：　…上巻
レイモンド・M.…

ロジックの世界　：　論理学の哲人た…
ダン・クライアン…

チューリングと超(メタ)パズル　：…
田中一之／著

ゲーデルに挑む　：　証明不可能なこ…
田中一之／著

ゲーデルの定理　：　利用と誤用の不…
トルケル・フラン…

ゲーデルと20世紀の論理学(ロジ…4
田中一之／編

ゲーデルと20世紀の論理学(ロジ…3
田中一之／編

ゲーデルと20世紀の論理学(ロジ…2
田中一之／編

ゲーデルと20世紀の論理学(ロジ…1
田中一之／編

数学基礎論講義　：　不完全性定理と…
田中一之／[ほか…

前へ次へ

2022

1 / 4

子宝船　：　きたきた捕物帖 2
宮部みゆき／著

アンパンマンとムシバラス
やなせたかし／作…

あきらめません!
垣谷美雨／著

ふしぎ駄菓子屋銭天堂17
廣嶋玲子／作,j…

ないしょないしょのももんちゃん
とよたかずひこ／…

ちゃぷちゃぷぷーん
得田之久／文,及…

任侠楽団
今野敏／著

石礫　：　機捜235
今野敏／著

母の待つ里
浅田次郎／著

おかげさまで名探偵
杉山亮／作,中川…

それいけ!アンパンマン
やなせたかし／作…

いぬいろいろかくれんぼ
いしかわこうじ／…

ドラえもん探究ワールド本の歴史と未…
藤子・F・不二雄…

あんぱんまん
やなせたかし／作…

棘の家
中山七里／著

いちねんじゅうおばけずかん　：　ハ…
斉藤洋／作,宮本…

みかんきょうだいのたんけん
ホソカワレイコ／…

東京あたふた族
益田ミリ／著

たりる生活
群ようこ／著

家裁調査官・庵原かのん
乃南アサ／著

前へ次へ

4109　4109

1 / 4

これも数学だった!?　：　カーナビ…
河原林健一／著,…

不完全性定理とはなにか　：　ゲーデ…
竹内薫／著

団代数論の基礎
中西知樹／著

不完全性定理とはなにか　：　ゲーデ…
竹内薫／著

はじめて学ぶ集合と位相　：　データ…
田村篤史／著,猪…

集合への30講
志賀浩二／著

現代数学はじめの一歩集合と位相　：…
瀬山士郎／著

バナッハ-タルスキーのパラドックス
Grzegorz…

無限とはなんだろう　：　限りなく多…
玉野研一／著

離散数学　：　コンピュータサイエン…
Seymour …

線形代数と数え上げ
高崎金久／著

数学の無限　：　カントールの無限を…
山本泉二／著

組合せ論の発見　：　古代から現代へ
Robin Wi…

例題形式で探求する集合・位相　：　…
丹下基生／著

情報系のための離散数学
猪股俊光／著,南…

離散数学入門　：　整数の誕生から「…
芳沢光雄／著

「ラフ集合理論」入門　：　“粗い…2
赤間世紀／著

「ラフ集合理論」入門　：　“粗い…1
赤間世紀／著

ヴァン・リント&ウィルソン組合せ…下
J.H.ヴァン・…

可換代数と組合せ論
日比孝之／著,シ…

前へ次へ

計算量理論　記号論理学

1 / 4

パズルの算法　：　手とコンピュータ…
上原隆平／著

フレーゲ・ルネサンス　：　言語・論…
野本和幸／著

ろんりの相談室　：　大学1年生の真…
鈴木登志雄／著

アルゴリズム理論の基礎
宮崎修一／著

世界を満たす論理　：　フレーゲの形…
荒畑靖宏／著

スマリヤン数理論理学講義下巻
レイモンド・M.…

はじめての数理論理学　：　証明を作…
山田俊行／著

「論理」を分析する
八木沢敬／著

記号論
吉田夏彦／著

スマリヤン数理論理学講義　：　…上巻
レイモンド・M.…

現代数理論理学入門
J.N.クロスリ…

証明と論理に強くなる　：　論理式の…
小島寛之／著

心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ…

心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ…

「P≠NP」問題　：　現代数学の超…
野崎昭弘／著

DNAコンピュータがわかる本　：　…
赤間世紀／著

コンピュータは数学者になれるのか?…
照井一成／著

スマリヤン数理論理学　：　述語論理…
Raymond …

乱数生成と計算量理論
小柴健史／著

アンダースタンディングコンピュテー…
Tom Stua…

前へ次へ

書誌詳細

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

請求記号	4109/00095/
書名	計算理論と数理論理学
並列書名	MATHEMATICS OF LOGIC AND COMPUTATION
著者名	田中一之／著
出版者	共立出版
出版年月	2022.6
ページ数	8,299p
大きさ	22cm
ISBN	978-4-320-11472-2
分類	4109
一般件名	計算量理論　記号論理学
書誌種別	一般和書
内容紹介	「計算理論」と「数理論理学」を同時に学ぶための学部上級から大学院初年級レベルの独習書。両分野の話題をうまく交えながら、巧みな筆致で解説する。問題、文献案内、用語・記号索引付き。
書誌・年譜・年表	文献:p264〜265
タイトルコード	1002210022185

目次	第１章　計算理論入門（オートマトンとモノイドチューリング機械　ほか）第２章　命題論理と計算の複雑さ（トートロジーと証明命題論理の完全性　ほか）第３章　１階論理と決定問題（１階論理とはスコーレムの定理　ほか）第４章　２階論理と無限オートマトン（２階論理２階算術と解析的階層　ほか）第５章　階層理論と許容集合（オラクル計算と相対化ｍ還元と単純集合　ほか）

言語選択メニュー

ログインの状態：ログインしていません。

機能を切り替えます。

いろいろ検索のメニューです。

検索結果書誌詳細

資料の切り替え

蔵書情報

書誌情報サマリ

計算理論と数理論理学

この資料に対する操作

この資料に対する操作

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

関連資料

書誌詳細

内容細目表：