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

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

Logic in computer science: modelling and reasoning about systems

دانلود کتاب Logic in computer science: modelling and reasoning about systems (به فارسی: منطق در علوم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها) نوشته شده توسط «Michael Huth – Mark Ryan – M. Huth – M. Ryan»

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

موضوع اصلی: سخنرانی ها، تک نگاری ها

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

ناشر: Cambridge University Press

نویسنده: Michael Huth – Mark Ryan – M. Huth – M. Ryan

زبان: English

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

سال انتشار: 1999

تعداد صفحه: 407

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

کد کتاب: 9780521656023 , 0521656028

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

در سال های اخیر ابزارهای قدرتمندی برای تایید سیستم های سخت افزاری و نرم افزاری توسعه یافته اند. شرکت های بزرگی مانند اینتل، زیمنس، BT، AT&T و IBM به طور فزاینده ای به این فناوری علاقه مند شده اند. دانش آموزان به یک آموزش رسمی اولیه نیاز دارند که به آنها امکان می دهد در استفاده از روش های تأیید مبتنی بر منطق مهارت کافی کسب کنند. این کتاب با ارائه یک مبنای صحیح در منطق و مقدمه‌ای بر چارچوب‌های منطقی مورد استفاده در مدل‌سازی، تعیین و تأیید سیستم‌های رایانه‌ای به این نیازها می‌پردازد. Coverage ارائه ساده و واضحی را ارائه می دهد و منطق گزاره ای و محمولی را به تفصیل شرح می دهد و همچنین برخی از منطق های تخصصی که برای استدلال در مورد درستی سیستم های رایانه ای استفاده می شود. نویسندگان یک هسته با دقت انتخاب شده از اصطلاحات ضروری را معرفی می کنند. موارد فنی بیشتر فقط در مواردی که برنامه ها مورد نیاز هستند معرفی می شوند. مثال‌های متعددی ارائه شده است، و همچنین توضیح کاملی از یک تکنیک رو به رشد سریع برای مدل‌سازی و تأیید سیستم‌های کامپیوتری، که به عنوان بررسی مدل نمادین شناخته می‌شود، ارائه شده است. این یک مقدمه ایده آل برای دانشجویان مقطع کارشناسی خواهد بود. یک آموزش وب در سراسر جهان که از فعالیت‌های دوره پشتیبانی می‌کند و راه‌حل‌هایی برای نمونه تمرین‌ها ارائه می‌کند، در دسترس مربیان است.

In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modeling, specifying and verifying computer systems. Coverage provides a simple and clear presentation, detailing propositional and predicate logic as well as some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology; further technicalities are introduced only where they are required by the applications. Numerous examples are given, as well as a full exposition of a fast-growing technique for modeling and verifying computer systems, known as symbolic model checking. It will be an ideal introduction for undergraduate students. A worldwide web tutorial that supports the course activities and provides solutions to the sample exercises is available to instructors.

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

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

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