- ホーム
- > 和書
- > コンピュータ
- > プログラミング
- > SE自己啓発・読み物
出版社内容情報
正しく命題にたどり着くための手法と思考の学び方証明のプロセスをプログラミングのように構造化して提示した1冊!
数学を学ぶ・理解するにあたって、“証明”は避けて通れません。
絵描きが絵筆やペンの使い方を学ぶように、“証明の手法”に精通することが
ロジカルに思考することの基礎となります。
本書は永らく数学に関わってきた著者が、証明手法の習得と理解に苦労する
学生たちを指導する中で蓄積した、さまざまな「数学を(そして証明方法を)理解」
するためのノウハウを、数学者ならではの簡潔かつ漏れのない論理構成で提示してくれる、
“ロジカルな思考”に必要となる基本的な読む・書く技術を伝授する書籍です。
最初の2つの章では、基本的な集合論からスタートし、数学ならではの
記号の意味やその扱い方を解説します。その後、数学上のジャンルを行き来しながら、
いかにして論理を積み重ねていくか、また、積み重ねる際に使用するガイドライン
(論法)を紹介してゆきます。
クイズやパズルなどの数学本とは異なり、エンターテイメント性は低いのですが、
タイトルにある通り、理解するだけではなく、提示されたノウハウを使用して、
推論(あるいは直感)の正当性・妥当性を正しく導けるようになれる1冊です。
この本は論理と証明に興味がある人、とくにコンピューター科学者、哲学者、
言語学者、そしてもちろん数学者に役に立つでしょう。
第1章:命題論理
第2章:述語論理
第3章:証明
第4章:関係
第5章:関数
第6章:数学的帰納法
第7章:無限集合
ダニエル・J・ベルマン[ダニエル ジェイ ベルマン]
神林 靖[カンバヤシ ヤスシ]
目次
第1章 命題論理
第2章 述語論理
第3章 証明
第4章 関係
第5章 関数
第6章 数学的帰納法
第7章 無限集合
著者等紹介
ベルマン,ダニエル[ベルマン,ダニエル] [Velleman,Daniel J.]
1954年ニューヨーク市生まれ。アマースト大学ジュリアン・ギブズ記念数学教授。ヴァーモント大学非常勤講師。集合論、組合せ論、トポロジー、そして数学基礎論に興味をもつ。1976年、ダートマス大学からB.A.を、1977年と1980年にウィスコンシン大学マディソン校からM.A.とPh.D.を、それぞれ取得。テキサス大学講師を経て、1983年から現職
神林靖[カンバヤシヤスシ]
1958年東京都千代田区生まれ。日本工業大学准教授。慶應義塾大学、早稲田大学、法政大学非常勤講師。計算理論とプログラミング言語理論、そして数理政治学に興味をもつ。1980年慶應義塾大学卒業、1986年にワシントン大学からM.S.を、2002年にトレド大学からPh.D.を取得。三菱総合研究所研究員を経て2001年から現職(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。