検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0013768627図書一般410.96/ｺｼ17/2F自然貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

登録するリストログインメモ

書誌情報サマリ

タイトル

証明と論理に強くなる

人名 小島 寛之／著
人名ヨミ コジマ ヒロユキ
出版者・発行者 技術評論社
出版年月 2017.2

書誌詳細

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

書誌種別 図書
タイトル 証明と論理に強くなる
サブタイトル 論理式の読み方から、ゲーデルの門前まで／決定版数理論理学の完全解説
シリーズ名 知の扉シリーズ
タイトルヨミ ショウメイ ト ロンリ ニ ツヨク ナル
サブタイトルヨミ ロンリシキ ノ ヨミカタ カラ ゲーデル ノ モンゼン マデ／ケッテイバン スウリ ロンリガク ノ カンゼン カイセツ
シリーズ名ヨミ チ ノ トビラ シリーズ
人名 小島 寛之／著
人名ヨミ コジマ ヒロユキ
出版者・発行者 技術評論社
出版者・発行者等ヨミ ギジュツ ヒョウロンシャ
出版地・発行地 東京
出版・発行年月 2017.2
ページ数または枚数・巻数 351p
大きさ 19cm
価格 ￥１７８０
ISBN 978-4-7741-8664-1
ISBN 4-7741-8664-1
注記 文献:p346〜347
分類記号 410.96
件名 記号論理学 ／ 証明(数学)
内容紹介 たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
著者紹介 1958年東京都生まれ。東京大学大学院経済学研究科博士課程単位取得退学。経済学博士。帝京大学経済学部経済学科教授。専門は数理経済学。著書に「無限を読みとく数学入門」など。
言語区分 JPN
タイトルコード 1009812082533



目次


内容細目

関連資料

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

小島 寛之
【素数ほどステキな数はない　：　素数…】 素数ほどステキな数はない　：　素数…
小島 寛之／著 【難しいことはわかりませんが、統計学…】 難しいことはわかりませんが、統計学…
小島 寛之／著 【天才ガロアの発想力　：　対称性と群…】 天才ガロアの発想力　：　対称性と群…
小島 寛之／著 【宇宙人ミューとカイのかわいい統計大…】 宇宙人ミューとカイのかわいい統計大…
小島 寛之／著 【暗号通貨の経済学　：　21世紀の貨…】 暗号通貨の経済学　：　21世紀の貨…
小島 寛之／著 【宇沢弘文の数学】 宇沢弘文の数学
小島 寛之／著 【世界は素数でできている】 世界は素数でできている
小島 寛之／[著… 【確率を攻略する　：　ギャンブルから…】 確率を攻略する　：　ギャンブルから…
小島 寛之／著 【数学は世界をこう見る　：　数と空間…】 数学は世界をこう見る　：　数と空間…
小島 寛之／著 【数学的決断の技術　：　やさしい確率…】 数学的決断の技術　：　やさしい確率…
小島 寛之／著 【世界は2乗でできている　：　自然に…】 世界は2乗でできている　：　自然に…
小島 寛之／著 【21世紀の新しい数学　：　絶対数学…】 21世紀の新しい数学　：　絶対数学…
黒川 信重／対談… 【数学的推論が世界を変える　：　金融…】 数学的推論が世界を変える　：　金融…
小島 寛之／著 【ゼロからわかる経済学の思考法】 ゼロからわかる経済学の思考法
小島 寛之／著 【すうがくと友だちになる物語2】 すうがくと友だちになる物語2
小島 寛之／著,… 【数学入門】 数学入門
小島 寛之／著 【すうがくと友だちになる物語1】 すうがくと友だちになる物語1
小島 寛之／著,… 【戦略とゲームの理論】 戦略とゲームの理論
小島 寛之／著,… 【景気を読みとく数学入門】 景気を読みとく数学入門
小島 寛之／[著… 【数学的思考の技術　：　不確実な世界…】 数学的思考の技術　：　不確実な世界…
小島 寛之／著 【天才ガロアの発想力　：　対称性と群…】 天才ガロアの発想力　：　対称性と群…
小島 寛之／著 【使える!経済学の考え方　：　みんな…】 使える!経済学の考え方　：　みんな…
小島 寛之／著 【キュートな数学名作問題集】 キュートな数学名作問題集
小島 寛之／著 【リーマン予想は解決するのか?　：　…】 リーマン予想は解決するのか?　：　…
黒川 信重／著,… 【世界を読みとく数学入門　：　日常に…】 世界を読みとく数学入門　：　日常に…
小島 寛之／[著…
410.96　410.96
【記号論理学】 記号論理学
山本 新／著,入… 【ろんりの相談室　：　大学1年生の真…】 ろんりの相談室　：　大学1年生の真…
鈴木 登志雄／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【論理学への数学的手引き】 論理学への数学的手引き
Herbert … 【幾何的モデル理論入門】 幾何的モデル理論入門
板井 昌典／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【「ならば」騒乱】 「ならば」騒乱
本橋 信義／著 【スマリヤン数理論理学講義　：　…上巻】 スマリヤン数理論理学講義　：　…上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【新・論理考究　：　論理がはじめてわ…】 新・論理考究　：　論理がはじめてわ…
本橋 信義／著 【コンピュータは数学者になれるのか?…】 コンピュータは数学者になれるのか?…
照井 一成／著 【ピジョンの誘惑　：　論理力を鍛える…】 ピジョンの誘惑　：　論理力を鍛える…
根上 生也／著 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【数理論理学　：　合理的エージェント…】 数理論理学　：　合理的エージェント…
加藤 暢／共著,… 【今度こそわかる論理　：　数理論理学…】 今度こそわかる論理　：　数理論理学…
本橋 信義／著 【学んでみよう!記号論理】 学んでみよう!記号論理
高崎 金久／著 【記号論理学講義　：　基礎理論 束論…】 記号論理学講義　：　基礎理論 束論…
清水 義夫／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数学的推論が世界を変える　：　金融…】 数学的推論が世界を変える　：　金融…
小島 寛之／著 【フレーゲ哲学の全貌　：　論理主義と…】 フレーゲ哲学の全貌　：　論理主義と…
野本 和幸／著 【数理論理学】 数理論理学
戸次 大介／著 【数理論理学の基礎・基本】 数理論理学の基礎・基本
坪井 明人／著 【数理論理学序説】 数理論理学序説
前原 昭二／著
記号論理学　証明(数学)
【記号論理学】 記号論理学
山本 新／著,入… 【証明作法　：　論理の初歩から証明の…】 証明作法　：　論理の初歩から証明の…
石原 哉／著 【ろんりの相談室　：　大学1年生の真…】 ろんりの相談室　：　大学1年生の真…
鈴木 登志雄／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【1つの定理を証明する99の方法】 1つの定理を証明する99の方法
フィリップ・オー… 【論理学への数学的手引き】 論理学への数学的手引き
Herbert … 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【数学にとって証明とはなにか　：　ピ…】 数学にとって証明とはなにか　：　ピ…
瀬山 士郎／著 【論理と分析　：　文系のための記号論…】 論理と分析　：　文系のための記号論…
金子 裕介／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【Coq/SSReflect/Mat…】 Coq/SSReflect/Mat…
萩原 学／共著,… 【「ならば」騒乱】 「ならば」騒乱
本橋 信義／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【記号論】 記号論
吉田 夏彦／著 【スマリヤン数理論理学講義　：　…上巻】 スマリヤン数理論理学講義　：　…上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【その理屈、証明できますか?　：　正…】 その理屈、証明できますか?　：　正…
Daniel J… 【新・論理考究　：　論理がはじめてわ…】 新・論理考究　：　論理がはじめてわ…
本橋 信義／著 【四色問題　：　どう解かれ何をもたら…】 四色問題　：　どう解かれ何をもたら…
一松 信／著 【数学における証明と真理　：　様相論…】 数学における証明と真理　：　様相論…
菊池 誠／編,佐… 【世界のエリートに必要な「証明力」の…】 世界のエリートに必要な「証明力」の…
芳沢 光雄／著 【コンピュータは数学者になれるのか?…】 コンピュータは数学者になれるのか?…
照井 一成／著 【ピジョンの誘惑　：　論理力を鍛える…】 ピジョンの誘惑　：　論理力を鍛える…
根上 生也／著
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。