Mendeley出力
＜図書＞
数学の言葉と論理
スウガク ノ コトバ ト ロンリ
| 責任表示 | 渡辺治 [ほか] 著 |
|---|---|
| シリーズ | 現代基礎数学 / 新井仁之 [ほか] 編 ; 1 |
| データ種別 | 図書 |
| 出版情報 | 東京 : 朝倉書店 , 2008.9 |
| 本文言語 | 日本語 |
| 大きさ | iv, 219p ; 21cm |
| 目次 | 1 論理と集合(命題論理 述語論理 証明 集合) 2 写像と濃度(関数と写像 写像のグラフ 写像の性質 濃度 ベルシュタインの定理 選択公理) 3 二項関係(二項関係 順序と順序同型 同値関係と同値類 整数の構成 二項関係上の演算 実数の構成) 4 数学的論法(対偶による証明 帰納法・帰納的定義 数学の言葉を使ってみよう 数学の言葉の使用例:形式言語入門)続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 4A | 410.9/W 46 | 2009 |
|
058112009040243 |
|
|||
|
|
|
中央図 自動書庫 | 410.9/W 46 | 2009 |
|
058112009047578 |
|
|||
|
|
|
理系図1F 開架 | 410.9/W 46 | 2009 |
|
031112009007622 |
|
|||
|
|
|
理系図3F 数理独自 | WATA/45/1 | 2008 |
|
023112008000854 |
|
書誌詳細
| 一般注記 | その他の著者: 北野晃朗, 木村泰紀, 谷口雅治 参考図書の紹介: 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 |