検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

北京・上海   ワールドJoy  

出版者 山と渓谷社
出版年月 1991.5


この資料に対する操作

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

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

  

この資料に対する操作

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


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


資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0112694039292.2/ペ/書庫3一般図書一般貸出在庫  

関連資料

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

1991
1991
記号論理学

書誌詳細

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

タイトルコード 1001000619912
書誌種別 図書
書名 北京・上海   ワールドJoy  
書名ヨミ ペキン シャンハイ 
出版者 山と渓谷社
出版年月 1991.5
ページ数 157p
大きさ 19cm
分類記号 292.211 292.221
分類記号 292.211 292.221
ISBN 4-635-00292-6
内容紹介 故宮博物院、王府井大街、雍和宮、万里の長城などを目的別に、ビジュアルに、より具体的に紹介する。
件名 北京-紀行・案内記、上海-紀行・案内記
言語区分 日本語

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


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。