دانلود کتاب Handbook of practical logic and automated reasoning (به فارسی: راهنمای منطق عملی و استدلال خودکار) نوشته شده توسط «John Harrison»
اطلاعات کتاب راهنمای منطق عملی و استدلال خودکار
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Cambridge University Press
نویسنده: John Harrison
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2009
تعداد صفحه: 703
حجم کتاب: 4 مگابایت
کد کتاب: 0521899575 , 9780521899574
نوبت چاپ: 1
توضیحات کتاب راهنمای منطق عملی و استدلال خودکار
این کتاب پاسخگوی تقاضا برای یک گزارش مستقل و گسترده از مفاهیم، ماشین آلات و استفاده از استدلال خودکار است. مبانی منطق ریاضی در ارتباط با کاربرد عملی، همه با حداقل پیش نیازها، توصیف می شوند. رویکرد سازنده، مشخص و الگوریتمی است: یک ویژگی کلیدی این است که روش‌ها با ارجاع به پیاده‌سازی‌های واقعی (که کد ارائه شده است) توصیف می‌شوند که خوانندگان می‌توانند از آن‌ها استفاده کنند، اصلاح کنند و آزمایش کنند. این کتاب ایده آل برای کسانی است که به دنبال یک منبع یک مرحله ای برای منطقه کلی استدلال خودکار هستند. می‌توان از آن به عنوان مرجع یا مکانی برای یادگیری اصول، در ارتباط با دوره‌های پیشرفته یا برای مطالعه شخصی استفاده کرد.
دانلود کتاب «راهنمای منطق عملی و استدلال خودکار»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.