دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Mathematical Reasoning with Diagrams
دانلود کتاب استدلال ریاضی با نمودار
مشخصات کتاب
Mathematical Reasoning with Diagrams
ویرایش:
نویسندگان: Mateja Jamnik
سری:
ISBN (شابک) : 1575863243
ناشر: CSLI Publications
سال نشر: 2001
تعداد صفحات: 206
زبان: english
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Mathematical Reasoning with Diagrams به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال ریاضی با نمودار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال ریاضی با نمودار
ریاضیدانان در هر سطحی از نمودارها برای اثبات قضایا استفاده می کنند. استدلال ریاضی با نمودارها احتمالات مکانیزه کردن این نوع استدلال نموداری را در یک سیستم اثبات رسمی رایانه ای بررسی می کند، حتی یک سیستم اثبات رسمی نیمه خودکار - به نام الماس - ارائه می دهد که به کاربران امکان می دهد قضایای حسابی را با استفاده از نمودارها اثبات کنند.
توضیحاتی درمورد کتاب به خارجی
Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams.
فهرست مطالب
Cover\nContents\nForeword\nPreface\n1. Introduction\n2. The History of Diagrammic Systems\n3. Diagrammatic Theorems and the Problem Domain\n4. The Constructive w-Rule and Schematic Proofs\n5. Designing a Diagrammatic Reasoning System\n6. Diagrammatic Operations\n7. The Construction of Schematic Proofs\n8. The Verification of Schematic Proofs\n9. DIAMOND in Action\n10. Complete Automation\nAppendix A: More Examples of Diagrammatic Theorems\nAppendix B: The w-Rule\nGlossary\nReferences\nIndex\nBack Cover
نظرات کاربران
کتاب های تصادفی
دانلود کتاب 2D Game Development: From Zero To Hero: A compendium of the community knowledge on game design and development (Javascript Edition)
دانلود کتاب The Short Happy Life of the Brown Oxford and Other Classic Stories (The Collected Stories of Philip K. Dick, Vol. 1)
دانلود کتاب OECD science, technology and industry scoreboard.
