مشخصات کتاب

Symbolic logic and mechanical theorem proving

ویرایش:  
نویسندگان: Chang C.-L.,  Lee R.C.-T.  
سری: Computer Science and Applied Mathematics 
ISBN (شابک) : 0121703509, 9780121703509 
ناشر: AP 
سال نشر: 1973 
تعداد صفحات: 351 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb 

در صورت تبدیل فایل کتاب Symbolic logic and mechanical theorem proving به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

این کتاب شامل مقدمه ای بر منطق نمادین و بحث کاملی در مورد اثبات قضیه مکانیکی و کاربردهای آن است. کتاب از سه بخش عمده تشکیل شده است. فصل 2 و 3 مقدمه ای بر منطق نمادین است. فصل‌های 4-9 چندین تکنیک در اثبات قضیه مکانیکی معرفی می‌کنند و فصل‌های 10 و 11 نشان می‌دهند که چگونه اثبات قضیه را می‌توان در زمینه‌های مختلفی مانند پاسخ به سؤال، حل مسئله، تجزیه و تحلیل برنامه و ترکیب برنامه اعمال کرد.

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

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

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

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

دانلود کتاب Strukturelle Entwicklungsmuster in Markt- und Planwirtschaften: Vergleich der sektoralen Erwerbstätigenstrukturen von BRD und DDR

دانلود کتاب Defoe and Economics: The Fortunes of Roxana in the History of Interpretation

دانلود کتاب World War II in the Pacific: An Encyclopedia (Military History of the United States)

دانلود کتاب Teaching IELTS

دانلود کتاب Lukian Band II. Philosophische Schriften: Griechisch - deutsch