数学(4)・その他

 

分類集合・論理応用・情報科学論


ゲーデルを語る

R. ゲーデル,O. タウスキー・トッド,S. C. クリーネ,G. クライゼル 著
前原昭二・本橋信義 訳

   四六判 158頁 定価(本体1456円+税)                <品切>

不完全性定理、集合論の業績などであまりにも有名なクルト・ゲーデル。
1983年ザルツブルクで行なわれたシンポジウムの報告集を抄訳した。  〔大, 一般〕

表紙カバー/目次


数学と新しい論理──数学的帰納法をめぐって

本橋信義 著

   A5判 190頁  定価(本体2100円+税)           <在庫有り>

高校教科書における数学的帰納法の説明の問題点を指摘し、新しい論理
学の立場から、それらを丁寧にわかりやすく解説する。また、累積帰納法・
最小原理の解説や、数学的帰納法の間違った使い方にも触れる。さらに、
数学的帰納法の原理などの公理化の説明にまで及ぶ。著者の経験に基
づいた、論理教育の新しい試みでもある。
 〔前半は、高校生用体験学習の講演原稿から発展したもの。後半は、そ
の続きで、数学教育コースの大学院生用の教材としたもの。高校教師にも参考となろう。〕

表紙カバー/目次

出版後の著者の関連文書
 「哲学、論理学、そして、数学」pdf 164KB)
 「形式論理学の誤謬」 pdf(pdf 210KB)


論理学は数学の役に立つか?──新しい論理学の構築

本橋信義 著

   A5判 224頁 定価(本体2400円+税)                  <品切>

数学の世界で推論が登場する場面を分析し、「事象型推論」と「法則型推論」という
新しい概念を導入する。そして、それらの一般論、個別理論、両者の関係を丁寧に
解説する。最後に、「$\sqrt{2}$ は無理数である.」、「素数約数の存在定理」、
「ピタゴラスの定理」のN型証明とL型証明を具体的に示す。 〔大〜〕

より詳しい目次など

出版後の著者の関連文書
 「哲学、論理学、そして、数学」pdf 164KB)
 「形式論理学の誤謬」 pdf(pdf 210KB)


集合論・入門【増訂版】──無限への誘い   上江洲 忠弘 著

   A5判 208頁 定価(本体2200円+税)                 <在庫有り>

あらゆる数学の基礎である集合についての理論を初歩から丁寧に解説する。
基本部分では多くの例を用いて「無限」の感触をつかみ、関数と対応、
バナッハ-タルスキーの定理へと進む。さらに、基数と順序数の理論を
取り上げる。豊富な練習問題と解答付き。
今回、解説の改訂を施すとともに、示唆に富む「おはなし」を追加した。  〔大1,2〕

正誤表                                表紙カバー/目次


選択公理と数学[増訂版]――発生と論争、そして確立への道

田中尚夫 著

   A5判 264頁  定価(本体3300円+税)              <在庫有り>

数学のさまざまな分野で使われながら、逆理様のものをも導き出す“選択公理”――
その発生当時の様子から説き起こし、数学各分野での使用例や、
選択公理の無矛盾性と独立性の証明を懇切丁寧に解説する。
補遺として、選択公理の必要性、集合の一意化、連続体仮説の
独立性、超関数でない線形汎関数の実例などを収録した。
今回、誤植の訂正と共に1ページ追加した。       〔大3,4〜〕

表紙カバー/目次


記号論理・入門  上江洲忠弘 著

   A5判 190頁  定価(本体2000円+税)              <品切>

実際の数学の証明を分析することから、自然と記号論理の世界へ読者を
導いていく。説明は簡潔にて十分。モットーは、考えながら楽しみ、
楽しみながら考える! 〔大2〜3〕

表紙カバー/目次


述語論理・入門――基礎からプログラムの理論へ

上江洲忠弘 著

  A5判 208頁 定価(本体2300円+税)              <在庫有り>

やさしい例から始め、形式的論理体系の導入、その完全性の証明、
ゲンツェンの推件計算の理論、定理の自動証明と論理プログラムの理論
等々を紹介する。数多くの練習問題と、その略解付き。

ちょっと見! (pdf 75KB)               表紙カバー/目次


確率の基礎から統計へ  吉田伸生

   A5判 192頁  定価(本体2200円+税)                 <在庫有り>

確率論の入門から統計の初歩まで、やさしく解説する。身近で興味が持てそうな具体例:
  ・
いつまで待てば恋人に巡り会える?
  ・
知能指数 115 以上は全体の何パーセント?
  ・
2010年FIFAワールドカップでのゴール数
  ・
窓口の「一列並び」は何のためか?
  ・
お菓子を何個買えばオマケが全種類集まるか?
  ・
初恋がその後の恋愛に及ぼす影響は?
  ・
読売ジャイアンツ四監督の勝率に有意差はあるか?
  ・
「最近、東京の夏は暑くなったというのは本当?
  ・
イチロー選手の打撃力にシーズン差はあるか?
  ・
気温が1度上がれば、ビールが何万本売れる?
にそって話を進め、抽象的になりがちな数学的概念に抵抗なく親しめるようにする。 〔大2〜〕

表紙カバー/目次


保険とファイナンスのための確率論  黒田耕嗣 著

   A5判 192頁  定価(本体2300円+税)           <在庫有り>

保険・年金などの計算に関わるアクチュアリーになるための数学を、
例題を用いて簡明に紹介する。
また、金融派生商品の価格を決定するブラック・ショールズの公式を
離散確率解析を用いて導く。例題・演習問題も豊富。
アクチュアリーを目指す人に好適!   〔大2〜〕

表紙カバー/目次


入門=ファジィ数学  小寺平治 著

   A5判 174頁  定価(本体1900円+税)             <品切>

集合、関係、写像、群論、位相空間、積分をファジィまで拡張する。理工系
だけでなく、農・経・教さらに文科系にも使える入門書・講義用テキスト。〔大1〜2〕

目次


構成的プログラミングの基礎  林 晋・小林 聡 共著

   A5判 254頁 定価(本体3301円+税)               <在庫有り>

計算機科学科や数学科の学生・研究者を対象に、プログラムの形式的
開発に有力な「構成的プログラミング」の論理的基礎を懇切丁寧に解説する。  〔大3,4〜〕

表紙カバ−/目次


沈黙のコスモロジー   丹羽敏雄 著

   四六判 208頁  定価(本体1800円+税)           <在庫有り>

古代から近世そして現代の空間・宇宙観を捉え返し、現代人が失って
しまった「知・情・意の全体性」の回復をめざす。    〔一般〕

表紙カバー/目次


上へ戻る

BACK