資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで ( 知の扉シリーズ )

小島 寛之／著 -- 技術評論社 -- 2017.2 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 2F 一般図書 /410.9/5120/2017 7108493335 配架図 Digital BookShelf
2017/02/07 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7741-8664-1
ISBN13桁 978-4-7741-8664-1
タイトル 証明と論理に強くなる
タイトルカナ ショウメイ ト ロンリ ニ ツヨク ナル
タイトル関連情報 論理式の読み方から、ゲーデルの門前まで,決定版数理論理学の完全解説
タイトル関連情報読み ロンリシキ ノ ヨミカタ カラ ゲーデル ノ モンゼン マデ,ケッテイバン スウリ ロンリガク ノ カンゼン カイセツ
著者名 小島 寛之 ／著
著者名典拠番号

110001554980000

出版地 東京
出版者 技術評論社
出版者カナ ギジュツ ヒョウロンシャ
出版年 2017.2
ページ数 351p
大きさ 19cm
シリーズ名 知の扉シリーズ
シリーズ名のルビ等 チ ノ トビラ シリーズ
価格 ¥1780
内容紹介 たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
書誌・年譜・年表 文献:p346～347
一般件名 記号論理学-ndlsh-00565709,証明 (数学)-ndlsh-01190375
一般件名カナ キゴウロンリガク-00565709,ショウメイ (スウガク)-01190375
一般件名 記号論理学 , 証明(数学)
一般件名カナ キゴウ ロンリガク,ショウメイ(スウガク)
一般件名典拠番号

510630200000000 , 511846100000000

分類：都立NDC10版 410.96
資料情報1 『証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで』（知の扉シリーズ）　小島 寛之／著 　技術評論社　2017.2（所蔵館：中央　 請求記号：/410.9/5120/2017　 資料コード：7108493335）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152937075

ページの先頭へ