蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0008746620 | 図書一般 | 410.9/ワタ08/ | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
数学の言葉と論理
|
人名 |
渡辺 治/著
|
人名ヨミ |
ワタナベ オサム |
出版者・発行者 |
朝倉書店
|
出版年月 |
2008.9 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
数学の言葉と論理 |
シリーズ名 |
現代基礎数学 |
シリーズ番号 |
1 |
タイトルヨミ |
スウガク ノ コトバ ト ロンリ |
シリーズ名ヨミ |
ゲンダイ キソ スウガク |
シリーズ番号ヨミ |
1 |
人名 |
渡辺 治/著
北野 晃朗/著
木村 泰紀/著
谷口 雅治/著
|
人名ヨミ |
ワタナベ オサム キタノ テルアキ キムラ ヤスノリ タニグチ マサハル |
出版者・発行者 |
朝倉書店
|
出版者・発行者等ヨミ |
アサクラ ショテン |
出版地・発行地 |
東京 |
出版・発行年月 |
2008.9 |
ページ数または枚数・巻数 |
4,219p |
大きさ |
21cm |
価格 |
¥3300 |
ISBN |
978-4-254-11751-6 |
ISBN |
4-254-11751-6 |
分類記号 |
410.9
|
件名 |
数学基礎論
|
内容紹介 |
数学の言葉の使い方、数学の論法のコツを解説するテキスト。言葉や記号の使い方だけではなく、基本的な数学の言葉を使って、多少高度な数学の議論を展開する例も示す。また、数学の言葉の情報処理への応用も紹介。 |
著者紹介 |
1958年神奈川県生まれ。東京工業大学大学院情報理工学研究科教授・博士(工学)。 |
言語区分 |
jpn |
タイトルコード |
1009811115578 |
目次 |
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 数学の言葉の使用例:形式言語入門/章末問題 |
目次
内容細目
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる