دانلود کتاب Handbook of Logic in Computer Science 5 (به فارسی: راهنمای منطق در علوم کامپیوتر 5) نوشته شده توسط «S. Abramsky – Dov. M. Gabbay – T. S. E. Maibaum»
اطلاعات کتاب راهنمای منطق در علوم کامپیوتر 5
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Oxford University Press, USA
نویسنده: S. Abramsky – Dov. M. Gabbay – T. S. E. Maibaum
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 555
حجم کتاب: 28 مگابایت
کد کتاب: 9780198537816 , 0198537816
نوبت چاپ: 1st
توضیحات کتاب راهنمای منطق در علوم کامپیوتر 5
منطق اکنون به طور گسترده ای به عنوان یکی از رشته های اساسی محاسبات شناخته شده است و برنامه های کاربردی آن تقریباً به هر جنبه ای از موضوع، از مهندسی نرم افزار و سخت افزار گرفته تا زبان های برنامه نویسی و هوش مصنوعی می رسد. کتاب راهنمای منطق در علوم کامپیوتر یک اثر چند جلدی است که تمام زمینه های اصلی کاربرد منطق در علوم کامپیوتر نظری را پوشش می دهد. کتاب راهنما شامل شش جلد است که هر کدام شامل پنج یا شش فصل است که نمای کلی یکی از موضوعات اصلی در این زمینه را ارائه می دهد. این نتیجه سال‌ها تلاش مشترک برخی از برجسته‌ترین محققان خط مقدم در این زمینه است و بدون شک برای سال‌های آینده مرجع استاندارد در منطق و علوم کامپیوتر نظری خواهد بود. جلد 5: ساختارهای جبری و منطقی تمام مباحث اساسی معناشناسی در منطق و محاسبات را پوشش می دهد. فصول گسترده حاصل چندین سال تحقیق هماهنگ است و هر کدام دارای دیدگاه موضوعی هستند. آنها با هم، آخرین کارهای پژوهشی را به خواننده ارائه می دهند و کتاب ضروری خواهد بود
دانلود کتاب «راهنمای منطق در علوم کامپیوتر 5»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.