このページのリンク

利用統計

  • このページへのアクセス:40回

  • 貸出数:15回
    (1年以内の貸出数:1回)

<図書>
数学の言葉と論理
スウガク ノ コトバ ト ロンリ

責任表示 渡辺治 [ほか] 著
シリーズ 現代基礎数学 / 新井仁之 [ほか] 編 ; 1
データ種別 図書
出版者 東京 : 朝倉書店
出版年 2008.9
本文言語 日本語
大きさ iv, 219p ; 21cm
目次 1 論理と集合(命題論理
述語論理
証明
集合)
2 写像と濃度(関数と写像
写像のグラフ
写像の性質
濃度
ベルシュタインの定理
選択公理)
3 二項関係(二項関係
順序と順序同型
同値関係と同値類
整数の構成
二項関係上の演算
実数の構成)
4 数学的論法(対偶による証明
帰納法・帰納的定義
数学の言葉を使ってみよう
数学の言葉の使用例:形式言語入門)
続きを見る

所蔵情報


中央図 4A 058112009040243 410.9/W 46 2009

中央図 自動書庫 058112009047578 410.9/W 46 2009

理系図1F 開架 031112009007622 410.9/W 46 2009

理系図3F 数理独自 023112008000854 WATA/45/1 2008

書誌詳細

一般注記 その他の著者: 北野晃朗, 木村泰紀, 谷口雅治
参考図書の紹介: p[213]-214
著者標目 渡辺, 治(1958-) <ワタナベ, オサム>
北野, 晃朗(1958-) <キタノ, テルアキ>
木村, 泰紀(1970-) <キムラ, ヤスノリ>
谷口, 雅治(1966-) <タニグチ, マサハル>
件 名 BSH:数学基礎論
NDLSH:記号論理学
分 類 NDC8:410.9
NDC9:410.9
NDC9:410.96
書誌ID 1001230600
ISBN 9784254117516
NCID BA87180652
巻冊次 ISBN:9784254117516 ; PRICE:3300円+税
登録日 2009.09.18
更新日 2010.03.29

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています