資料詳細

詳細蔵書検索

証明と論理に強くなる

小島寛之／著 -- 技術評論社 -- ２０１７．２ -- 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般資料	4109/K8/2	1109787943	一般	貸出可	在庫

ページの先頭へ

資料詳細

種別	図書
タイトルコード	1110436557
タイトル	証明と論理に強くなる
タイトルカナ	ショウメイ　ト　ロンリ　ニ　ツヨク　ナル
副書名	論理式の読み方から、ゲーデルの門前まで
著者	小島寛之／著
著者カナ	コジマ　ヒロユキ
叢書名	知の扉シリーズ
出版地	東京
出版者	技術評論社
出版年	２０１７．２
ページ数	351p
大きさ	19cm
一般件名	記号論理学 , 証明(数学)
NDC分類(8版)	410.96
ISBN13桁	978-4-7741-8664-1
定価	¥1780
内容紹介	たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。
著者紹介	1958年東京都生まれ。東京大学大学院経済学研究科博士課程単位取得退学。経済学博士。帝京大学経済学部経済学科教授。専門は数理経済学。著書に「無限を読みとく数学入門」など。

ページの先頭へ