ショウメイ ノ ススメ : スウガク ノ ショウメイ
証明のすすめ : 数学の証明 / リュディガー・ティーレ原著 ; 金井省二訳
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : 森北出版 |
| 出版年 | 1990.7 |
| 本文言語 | 日本語 |
| 大きさ | viii,210p ; 20cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | ISBN | 資料種別 | 利用注記 | 請求メモ | 予約 |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.96/TH 4 | 002096665 | 4627015208 | 図書 |
|
|
|
書誌詳細を非表示
| 別書名 | 原タイトル:Mathematische Beweise |
|---|---|
| 一般注記 | 原著改訂第4版(1986)の翻訳 |
| 著者標目 | Thiele, Rüdiger <カナイ, ショウジ> 金井, 省二(1941-) |
| 件 名 | BSH:数学 NDLSH:記号論理学 |
| 分 類 | NDC8:410 NDC8:410.96 |
| 書誌ID | 1000034308 |
| ISBN | 4627015208 |
類似資料
- 1 情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
- 2 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
- 3 数理論理学 / 鹿島亮著
- 4 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
- 5 数理論理学 / 松本和夫著
- 6 数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
- 7 1と0との物語 / 日野寛三著
- 8 記号論理・入門 / 上江洲忠弘著
- 9 計算論理入門 : 情報の数理 / 田中尚夫著
- 10 ゲーデルは何を証明したか : 数学から超数学へ / E.ナーゲル, J.R.ニューマン著 ; 林一訳