検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

書誌情報サマリ

書名	証明の読み方・考え方
著者名	Daniel Solow／著
出版者	共立出版
出版年月	2023.11

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No.	所蔵館	資料番号	請求記号	配架場所	帯出区分	状態
1	県立館内	305535254	041/ｱｼ21Y/	人文公開	持ち出し可	利用可

書誌詳細

この資料の書誌詳細情報です。

タイトルコード	1001120239477
書名	証明の読み方・考え方
副書名	数学的思考過程への手引き
著者名	Daniel Solow／著西村康一／訳服部久美子／訳
出版者	共立出版
出版年月	2023.11
ページ数	14,200p
大きさ	21cm
ISBN（10桁）	4-320-11498-2
ISBN（13桁）	978-4-320-11498-2
分類記号	410
書名ヨミ	ショウメイノヨミカタカンガエカタ
副書名ヨミ	スウガクテキシコウカテイエノテビキ
内容紹介	数学の本に書かれている証明を読んで理解し、証明問題を解くための手がかりを与える手引書。背理法、対偶法、帰納法など、論理的に整理した思考方法と証明技法を解説する。練習問題も掲載。
参考文献年表	文献:p194
件名	証明(数学)
言語区分	日本語
目次	第2章前進後退法
	第3章定義と数学用語について
	第4章量化詞1:構成法
	第5章量化詞2:抽出法
	第6章量化詞3:特殊化
	第7章量化詞4:入れ子の量化詞
	第8章主張の否定をどう書くか
	第9章背理法
	第10章対偶法
	第11章一意性の証明法
	第12章帰納法
	第13章二者択一法
	第14章最大最小の証明法
	第15章まとめ
	付録Ⅰ 離散数学からの証明の例
	付録Ⅱ 実解析からの証明の例
	1.1 本書の意図 1.2 証明とは何か練習問題
	2.1 後退過程 2.2 前進過程 2.3 証明の読み方練習問題
	3.1 定義 3.2 すでにある知識を使う 3.3 数学用語練習問題
	4.1 量化詞「存在する」の扱い方 4.2 構成法の使い方 4.3 証明の読み方練習問題
	5.1 量化詞「すべての」の扱い方 5.2 抽出法を用いる 5.3 証明の読み方練習問題
	6.1 特殊化の使い方 6.2 証明の読み方練習問題
	7.1 入れ子の量化詞を含む主張を理解する 7.2 入れ子の量化詞を含む主張の証明法 7.3 証明の読み方練習問題
	8.1 NOT,AND,ORを含む主張の否定の書き方 8.2 量化詞を含む主張の否定の書き方 8.3 反例練習問題
	9.1 別の証明法が必要な理由 9.2 背理法をいつどのように用いるか 9.3 背理法の他の使い方 9.4 証明の読み方練習問題
	10.1 対偶法をいつどのように用いるか 10.2 対偶法と他の証明法の比較 10.3 証明の読み方練習問題
	11.1 前進一意法 11.2 後退一意法練習問題
	12.1 帰納法の使い方 12.2 帰納法の変形版 12.3 証明の読み方練習問題
	13.1 場合分け法 13.2 部分否定法 13.3 証明の読み方練習問題
	14.1 最大最小の証明法の使い方 14.2 証明の読み方練習問題
	15.1 前進後退法 15.2 構成法 15.3 抽出法 15.4 特殊化 15.5 背理法 15.6 対偶法 15.7 一意性の証明法 15.8 帰納法 15.9 二者択一法 15.10 最大最小の証明法練習問題
	Ⅰ.1 集合論の例 Ⅰ.2 関数についての例
	Ⅱ.1 実数に関する例 Ⅱ.2 数列に関する例