برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب A Computational Logic Handbook

دانلود کتاب یک کتابچه منطق محاسباتی

مشخصات کتاب

A Computational Logic Handbook

دسته بندی: منطق
ویرایش:  
نویسندگان: Robert S. Boyer,  J. Strother Moore  
سری: Perspectives in Computing, Volume 23 (Formerly Notes and Reports in Computer Science and Applied Mathematics) 
ISBN (شابک) : 0121229521, 9780121229528 
ناشر: Academic Press 
سال نشر: 1988 
تعداد صفحات: 428 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 31,000

کلمات کلیدی مربوط به کتاب یک کتابچه منطق محاسباتی: ریاضیات، منطق ریاضی

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 7

در صورت تبدیل فایل کتاب A Computational Logic Handbook به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب یک کتابچه منطق محاسباتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب یک کتابچه منطق محاسباتی

این کتاب راهنمای کاربر برای منطق محاسباتی است. یک \"منطق محاسباتی\" یک منطق ریاضی است که هر دو به سمت بحث محاسبات گرایش دارد و مکانیزه شده است تا بتوان اثبات ها را با محاسبات بررسی کرد. را منطق محاسباتی مورد بحث در این کتابچه راهنمای بویر و مور توسعه یافته است. این کتاب حاوی توضیحات دقیق و کاملی از منطق ما و الف راهنمای مرجع دقیق برای سیستم اثبات قضیه مکانیکی مرتبط علاوه بر این، کتاب راهنما شامل یک آغازگر برای منطق به عنوان یک تابع است زبان برنامه نویسی، مقدمه ای بر اثبات در منطق، آغازگر برای اثبات قضیه مکانیکی، مشاوره سبک در مورد نحوه استفاده از منطق و قضیه اثبات موثر، و مثال های بسیاری. این منطق آخرین بار به طور کامل در کتاب محاسباتی ما توضیح داده شد منطق، [4]، منتشر شده در 1979. هدف اصلی کتاب توصیف در جزئیات نحوه کار اثبات قضیه، سازماندهی آن، تکنیک های اثبات، اکتشافی و غیره. یکی از معیارهای موفقیت کتاب این است که ما سه مورد را می شناسیم تلاش های مستقل موفق برای ساختن اثبات قضیه از کتاب.

توضیحاتی درمورد کتاب به خارجی

This book is a user's guide to a computational logic. A "computational logic" is a mathematical logic that is both oriented towards discussion of computation and mechanized so that proofs can be checked by computation. The computational logic discussed in this handbook is that developed by Boyer and Moore. This handbook contains a precise and complete description of our logic and a detailed reference guide to the associated mechanical theorem proving system. In addition, the handbook includes a primer for the logic as a functional programming language, an introduction to proofs in the logic, a primer for the mechanical theorem prover, stylistic advice on how to use the logic and theorem prover effectively, and many examples. The logic was last described completely in our book A Computational Logic, [4], published in 1979. The main purpose of the book was to describe in detail how the theorem prover worked, its organization, proof techniques, heuristics, etc. One measure of the success of the book is that we know of three independent successful efforts to construct the theorem prover from the book.

فهرست مطالب

Content: 
Inside Front Cover, Page ii
Front Matter, Page iii
Copyright, Page iv
Preface, Pages xi-xvi
1 - Introduction, Pages 3-13
2 - A Primer for the Logic, Pages 15-56
3 - Formalization Within the Logic, Pages 57-92
4 - A Precise Description of the Logic, Pages 93-141
5 - Proving Theorems in the Logic, Pages 143-164
6 - Mechanized Proofs in the Logic, Pages 167-175
7 - An Introduction to the System, Pages 177-185
8 - A Sample Session with the Theorem Prover, Pages 187-205
9 - How to Use the Theorem Prover, Pages 207-217
10 - How the Theorem Prover Works, Pages 219-229
11 - The Four Classes of Rules Generated from Lemmas, Pages 231-249
12 - Reference Guide, Pages 251-313
13 - Hints on Using the Theorem Prover, Pages 315-334
14 - Installation Guide, Pages 335-349
Appendix I - A Parser for the Syntax, Pages 351-382
Appendix II - The Primitive Shell Axioms, Pages 383-390
Appendix III - On the Difficulty of Proofs, Pages 391-395
References, Pages 397-399
Index, Pages 401-408
Perspectives in Computing, Pages ibc1-ibc2