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

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Handbook of Logic in Computer Science. Volume 3: Semantic Structures

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

مشخصات کتاب

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

دسته بندی: منطق
ویرایش:  
نویسندگان: Samson Abramsky,  Dov M Gabbay,  Thomas S E Maibaum (eds.)  
سری:  
ISBN (شابک) : 019853762X, 9780198537625 
ناشر: Clarendon Press 
سال نشر: 1994 
تعداد صفحات: 507 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 32,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 8

در صورت تبدیل فایل کتاب Handbook of Logic in Computer Science. Volume 3: Semantic Structures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب راهنمای منطق در علوم کامپیوتر. دوره 3: ساختارهای معنایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

منطق اکنون به طور گسترده ای به عنوان یکی از رشته های اساسی محاسبات شناخته شده است و برنامه های کاربردی آن تقریباً به هر جنبه ای از موضوع، از مهندسی نرم افزار و سخت افزار گرفته تا زبان های برنامه نویسی و هوش مصنوعی می رسد. کتاب راهنمای منطق در علوم کامپیوتر یک اثر چند جلدی است که تمام زمینه های اصلی کاربرد منطق در علوم کامپیوتر نظری را پوشش می دهد. کتاب راهنما شامل شش جلد است که هر کدام شامل پنج یا شش فصل است که نمای کلی یکی از موضوعات اصلی در این زمینه را ارائه می دهد. این نتیجه سال‌ها تلاش مشترک برخی از برجسته‌ترین محققان خط مقدم در این زمینه است و بدون شک برای سال‌های آینده مرجع استاندارد در منطق و علوم کامپیوتر نظری خواهد بود. جلد 3: ساختارهای معنایی تمام موضوعات اساسی معناشناسی در منطق و محاسبات را پوشش می دهد. فصول گسترده حاصل چندین سال تحقیق هماهنگ است و هر یک دارای دیدگاه موضوعی است. آنها با هم، آخرین کارهای پژوهشی را به خواننده ارائه می دهند و کتاب برای هر کسی که به طور جدی در این موضوع دخیل است، ضروری خواهد بود.

توضیحاتی درمورد کتاب به خارجی

Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline researchers in the field, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 3: Semantic Structures covers all the fundamental topics of semantics in logic and computation. The extensive chapters are the result of several years of coordinated research, and each have a thematic perspective. Together, they offer the reader the latest in research work, and the book will be indispensable to anyone seriously involved in the subject.