کتاب الکترونیکی

راهنمای منطق عملی و استدلال خودکار

Handbook of practical logic and automated reasoning

دانلود کتاب Handbook of practical logic and automated reasoning (به فارسی: راهنمای منطق عملی و استدلال خودکار) نوشته شده توسط «John Harrison»

اطلاعات کتاب راهنمای منطق عملی و استدلال خودکار

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: John Harrison

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2009

تعداد صفحه: 703

حجم کتاب: 4 مگابایت

کد کتاب: 0521899575 , 9780521899574

نوبت چاپ: 1

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

این کتاب پاسخگوی تقاضا برای یک گزارش مستقل و گسترده از مفاهیم، ​​ماشین آلات و استفاده از استدلال خودکار است. مبانی منطق ریاضی در ارتباط با کاربرد عملی، همه با حداقل پیش نیازها، توصیف می شوند. رویکرد سازنده، مشخص و الگوریتمی است: یک ویژگی کلیدی این است که روش‌ها با ارجاع به پیاده‌سازی‌های واقعی (که کد ارائه شده است) توصیف می‌شوند که خوانندگان می‌توانند از آن‌ها استفاده کنند، اصلاح کنند و آزمایش کنند. این کتاب ایده آل برای کسانی است که به دنبال یک منبع یک مرحله ای برای منطقه کلی استدلال خودکار هستند. می‌توان از آن به عنوان مرجع یا مکانی برای یادگیری اصول، در ارتباط با دوره‌های پیشرفته یا برای مطالعه شخصی استفاده کرد.

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.

دانلود کتاب «راهنمای منطق عملی و استدلال خودکار»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان