مشخصات کتاب

Mathematical Reasoning with Diagrams

ویرایش:  
نویسندگان: Mateja Jamnik  
سری:  
ISBN (شابک) : 1575863243 
ناشر: CSLI Publications 
سال نشر: 2001 
تعداد صفحات: 206 
زبان: english 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Le vocabulaire de Platon

دانلود کتاب Attention Deficits, Learning Disabilities, and Ritalin™: A Practical Guide

دانلود کتاب Ashes of the Earth: A Mystery of Post-Apocalyptic America

دانلود کتاب Adressbuch Gruben, Hütten, Maschinenfabriken, mechan. Werkstätten und techn. Bureauxin Deutschland und der Österr.-ungar. Monarchie. Mit einem Spezialitäten-Register des Maschinenbaus und einem Verzeichnis der Brauereien, Brennereien und Zuckerfabriken

دانلود کتاب Oil and Gas Reservoir Prospecting and Exploration: High-Resolution Seismic (HRS) techniques and technology