- 出版社：World Scientific Publishing Co Pte Ltd
- 出版年月：2015年 06月
- ISBN：9789814641296
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：176 p.
- 分類： 集合論・論理学
- DDC分類：511.36
- 内容紹介：
-
This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms.