کتاب Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology اثر Clara Löh انتشارات مؤلفین طلایی
0%
(0 نفر) از خریداران، این کالا را پیشنهاد کرده اند
برند :
انتشارات مؤلفین طلاییویژگی ها
- نوع جلد : شومیز
- نوع کاغذ : تحریر
مشخصات محصول
این آغازگر در مورد رسمی سازی ریاضیات مقدمه ای سریع و عملی برای تأیید اثبات در Lean ارائه می دهد.
پس از مقدمه‌ای سریع بر Lean، تکنیک‌های اساسی رسمی‌سازی قابل خواندن توسط انسان معرفی می‌شوند که با مثال‌های ساده روی نقشه‌ها، استقراء و اعداد واقعی نشان داده شده‌اند. متعاقباً، گزینه‌های طراحی معمولی مورد بحث قرار می‌گیرند و از طریق مثال‌های کار شده در مجموعه مجتمع‌های ساده (تعمیم با ابعاد بالاتر نظریه گراف) به زندگی می‌رسند. در نهایت، این کتاب نشان می دهد که چگونه تحقیقات فعلی در توپولوژی جبری و هندسی می تواند با استفاده از لایه های انتزاعی مناسب رسمیت یابد.
این کتاب با توجه به تجربیات اخیر آموزشی و پژوهشی نویسنده، به دانشجویان و محققان این امکان را می دهد که به سرعت با رسمی کردن و بررسی مدارک خود شروع کنند. مطالب اصلی کتاب برای دانش آموزان ریاضی با مهارت های اولیه برنامه نویسی در دسترس است. برای فصل آخر آشنایی با نظریه مقوله ابتدایی و توپولوژی جبری توصیه می شود.
این کتاب آخرین ویرایش این کتاب میباشد که توسط انتشارات مؤلفین طلایی به صورت اختصاصی در کشور به چاپ و نشر رسیده است.
نویسنده
Clara Löh
ناشر
مؤلفین طلایی
موضوع
ریاضیات
قطع
وزیری
نوع جلد
شومیز
نوع کاغذ
تحریر
تعداد صفحه
152
