مشخصات کتاب

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.

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

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

دانلود کتاب A Discourse on Inequality

دانلود کتاب Heavy Metals Release in Soils

دانلود کتاب Automated Verification of Concurrent Search Structures

دانلود کتاب Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

دانلود کتاب 28 Days to a Better Body, A Food and Fitness Plan for Health