資料詳細

  • 1 件中、 1 件目

数学の言葉と論理 貸出可

渡辺 治／著 -- 朝倉書店 -- 2008.9 -- 410.9

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
館内 第２資料 /410.9/ｽ08/ 915513698 一般 利用可

ページの先頭へ

資料詳細

タイトル 数学の言葉と論理
書名カナ スウガク ノ コトバ ト ロンリ
叢書名 現代基礎数学
著者 渡辺 治 ／著, 北野 晃朗 ／著, 木村 泰紀 ／著, 谷口 雅治 ／著  
著者カナ ワタナベ,オサム 　  キタノ,テルアキ 　  キムラ,ヤスノリ 　  タニグチ,マサハル 　   
出版者 朝倉書店
出版年 2008.9
ページ数 4,219p
大きさ 21cm
一般件名 数学基礎論
NDC分類 410.9
内容紹介 数学の言葉の使い方、数学の論法のコツを解説するテキスト。言葉や記号の使い方だけではなく、基本的な数学の言葉を使って、多少高度な数学の議論を展開する例も示す。また、数学の言葉の情報処理への応用も紹介。
ISBN 4-254-11751-6
ISBN13桁 978-4-254-11751-6

ページの先頭へ

目次

1.論理と集合
  1.1 命題論理
  1.2 述語論理
  1.3 証明
  1.4 集合
  章末問題
2.写像と濃度
  2.1 関数と写像
  2.2 写像のグラフ
  2.3 写像の性質
  2.4 濃度
  2.5 ベルンシュタインの定理
  2.6 選択公理
  章末問題
3.二項関係
  3.1 二項関係
  3.2 順序と順序同型
  3.3 同値関係と同値類
  3.4 整数の構成
  3.5 二項関係上の演算
  3.6 実数の構成
  章末問題
4.数学的論法
  4.1 対偶による証明
  4.2 帰納法・帰納的定義
  4.3 数学の言葉を使ってみよう
  4.4 数学の言葉の使用例:形式言語入門
  章末問題

ページの先頭へ