検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

学研まんが 日本の歴史 4    栄える貴族 

著者名 樋口 清之/監修
出版者 学習研究社
出版年月 1992.5


この資料に対する操作

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

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

この資料に対する操作

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


マイ本棚へ追加ログインメモ


資料情報

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

貸出可能数 有効期間開始日 有効期間終了日
1 2024/03/19 2028/04/30

関連資料

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

2015
2015
410.96 410.96
記号論理学

書誌詳細

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

タイトルコード 1001001202025
書誌種別 図書
書名 学研まんが 日本の歴史 4    栄える貴族 
書名ヨミ ガツケン マンガ ニホン ノ レキシ 
著者名 樋口 清之/監修
著者名ヨミ ヒグチ キヨユキ
出版者 学習研究社
出版年月 1992.5
ページ数 148
大きさ 23*16
分類記号 210 081
分類記号 210 081
ISBN 4-05-104730-X
言語区分 日本語

(他の紹介)内容紹介 「計算」や「論理」がいかにして現実を変革するのか?ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「P対NP問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版!
(他の紹介)目次 1 数学者を作ろう(数学者とは何か
人工言語を画定する ほか)
2 対角線上に追い詰めろ(対角線論法とは何か
言語の限界 ほか)
3 計算よ停まれ!(数列の生成と停止
全員整列! ほか)
4 NPの壁(しらみつぶしと数学知性
P・NPとは何か ほか)
5 活き活きした証明(ラムダ計算
証明はプログラムである ほか)
6 対角線方向にむかう未来


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。