دانلود کتاب The Calculus of Computation: Decision Procedures with Applications to Verification (به فارسی: حساب محاسباتی: رویه‌های تصمیم‌گیری با کاربردهایی برای تأیید) نوشته شده توسط «Aaron R. Bradley – Zohar Manna»
اطلاعات کتاب حساب محاسباتی: رویه‌های تصمیم‌گیری با کاربردهایی برای تأیید
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Aaron R. Bradley – Zohar Manna
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 375
حجم فایل: 2.62 مگابایت
کد کتاب: 3540741127 , 9783540741121
نوبت چاپ: 1
توضیحات کتاب حساب محاسباتی: رویه‌های تصمیم‌گیری با کاربردهایی برای تأیید
منطق محاسباتی زمینه‌ای است که به سرعت در حال رشد است و کاربردهایی در هوش مصنوعی، حل محدودیت‌ها و طراحی و تأیید سیستم‌های نرم‌افزاری و سخت‌افزاری دارد. این کتاب درسی که با در نظر گرفتن دانشجویان کارشناسی ارشد و پیشرفته نوشته شده است، منطق محاسباتی را از پایه های منطق مرتبه اول تا روش های تصمیم گیری پیشرفته برای حساب، ساختار داده ها و نظریه های ترکیبی معرفی می کند. این کتاب درسی همچنین یک رویکرد منطقی را ارائه می دهد. به مهندسی نرم افزار صحیح افزایش روزافزون رایانه ها در همه جا، اجرای سیستم های صحیح را مهم تر از همیشه می کند. تمرین‌های تأیید، تسهیلات خواننده را در تعیین و تأیید نرم‌افزار با استفاده از منطق توسعه می‌دهد. درمان تأیید با مقدمه ای بر تجزیه و تحلیل استاتیک نرم افزار، جزء مهم سیستم های تأیید مدرن به پایان می رسد. برای خوانندگانی که علاقه مند به یادگیری بیشتر در مورد منطق محاسباتی، رویه های تصمیم گیری، تأیید و سایر زمینه های روش های رسمی هستند، فصل آخر دوره ها را تشریح می کند. از مطالعه بیشتر
دانلود کتاب «حساب محاسباتی: رویه‌های تصمیم‌گیری با کاربردهایی برای تأیید»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.