دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic in Computer Science: Modelling and Reasoning about Systems
دانلود کتاب منطق در علوم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها
مشخصات کتاب
Logic in Computer Science: Modelling and Reasoning about Systems
ویرایش: نویسندگان: M Huth, Mark Ryan سری: ISBN (شابک) : 0521652006, 9780521656023 ناشر: Cambridge University Press سال نشر: 1999 تعداد صفحات: 407 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Logic in Computer Science: Modelling and Reasoning about Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق در علوم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق در علوم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها
1. منطق گزاره ای; 2. منطق محمول; 3. تأیید با بررسی مدل. 4. تأیید برنامه; 5. منطق و عوامل مدال; 6. بررسی مدل نمودار تصمیم باینری. کتابشناسی - فهرست کتب؛ فهرست مطالب
توضیحاتی درمورد کتاب به خارجی
1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagram model checking; Bibliography; Index
