ترجمه فارسی توضیحات (ترجمه ماشینی)
100% اثبات ریاضی
“اثبات” یکی از مفاهیمی است که ریاضیات را مشخص می کند و باقی می ماند. این کتاب با پوشش منطق گزارهای و محمولی و همچنین بحث در مورد سیستمهای بدیهی و برهانهای صوری، به دنبال توضیح این است که ریاضیدانان چه چیزی را با برهان میفهمند و چگونه با آنها ارتباط برقرار میکنند. نویسندگان تکنیکهای اصلی اثبات مستقیم و غیرمستقیم از جمله استقرا، اثبات وجود و یکتایی، اثبات با نقیض، برهانهای سازنده و غیر سازنده و غیره را بررسی میکنند. نمونههای زیادی از تحلیل و جبر مدرن گنجانده شده است. سبک فوق العاده واضح و ارائه تضمین می کند که کتاب برای کسانی که مطالعه می کنند و علاقه مند به مفهوم “اثبات” ریاضی هستند مفید و لذت بخش خواهد بود.
100% Mathematical Proof
“Proof” has been and remains one of the concepts which characterises mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated. The authors explore the principle techniques of direct and indirect proof including induction, existence and uniqueness proofs, proof by contradiction, constructive and non-constructive proofs, etc. Many examples from analysis and modern algebra are included. The exceptionally clear style and presentation ensures that the book will be useful and enjoyable to those studying and interested in the notion of mathematical “proof.”
نقد و بررسیها
هنوز بررسیای ثبت نشده است.