توضیحات
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers.
Informed by the author’s recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementary category theory and algebraic topology is recommended.
————————————————————–
ترجمه ماشینی :
این آغازگر رسمیسازی ریاضیات مقدمهای سریع و عملی برای تأیید اثبات در Lean فراهم میکند.
پس از معرفی سریع Lean، تکنیکهای اساسی رسمیسازی قابل خواندن توسط انسان معرفی میشوند که با مثالهای ساده روی نقشهها نشان داده شدهاند. استقرا و اعداد حقیقی متعاقباً، گزینههای طراحی معمولی مورد بحث قرار میگیرند و از طریق مثالهای کار شده در مجموعه مجتمعهای ساده (تعمیم با ابعاد بالاتر نظریه گراف) به زندگی میرسند. در نهایت، این کتاب نشان میدهد که چگونه میتوان تحقیقات جاری در توپولوژی جبری و هندسی را با استفاده از لایههای انتزاعی مناسب رسمیت بخشید.
این کتاب با توجه به تجربه آموزشی و پژوهشی اخیر نویسنده، به دانشجویان و محققان اجازه میدهد تا به سرعت با رسمیسازی و بررسی شروع کنند. شواهد آنها مطالب اصلی کتاب برای دانش آموزان ریاضی با مهارت های اولیه برنامه نویسی در دسترس است. برای فصل آخر، آشنایی با نظریه مقوله ابتدایی و توپولوژی جبری توصیه می شود.
tag : دانلود کتاب کاوش رسمی سازی: آغازگری در ریاضیات قابل خواندن توسط انسان در ناب 3 با مثال هایی از توپولوژی ساده , Download کاوش رسمی سازی: آغازگری در ریاضیات قابل خواندن توسط انسان در ناب 3 با مثال هایی از توپولوژی ساده , دانلود کاوش رسمی سازی: آغازگری در ریاضیات قابل خواندن توسط انسان در ناب 3 با مثال هایی از توپولوژی ساده , Download Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology Book , کاوش رسمی سازی: آغازگری در ریاضیات قابل خواندن توسط انسان در ناب 3 با مثال هایی از توپولوژی ساده دانلود , buy کاوش رسمی سازی: آغازگری در ریاضیات قابل خواندن توسط انسان در ناب 3 با مثال هایی از توپولوژی ساده , خرید کتاب کاوش رسمی سازی: آغازگری در ریاضیات قابل خواندن توسط انسان در ناب 3 با مثال هایی از توپولوژی ساده , دانلود کتاب Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology , کتاب Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology , دانلود Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology , خرید Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology , خرید کتاب Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.