دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
دانلود کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2016، Deerfield Beach، FL، ایالات متحده آمریکا، 4-7 ژانویه 2016. مجموعه مقالات
مشخصات کتاب
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
ویرایش: 1
نویسندگان: Sergei Artemov. Anil Nerode (eds.)
سری: Lecture Notes in Computer Science 9537
ISBN (شابک) : 9783319276823, 2022192362
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 417
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 64,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2016، Deerfield Beach، FL، ایالات متحده آمریکا، 4-7 ژانویه 2016. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2016، Deerfield Beach، FL، ایالات متحده آمریکا، 4-7 ژانویه 2016. مجموعه مقالات
این کتاب مجموعه مقالات داوری سمپوزیوم بینالمللی مبانی منطقی علوم کامپیوتر، LFCS 2016 است که در دیرفیلد بیچ، فلوریدا، ایالات متحده آمریکا در ژانویه 2016 برگزار شد. 27 مقاله کامل اصلاح شده با دقت بررسی و از 46 مقاله انتخاب شدند. ارسالی ها دامنه سمپوزیوم گسترده است و شامل ریاضیات سازنده و نظریه نوع است. نظریه نوع هموتوپی; منطق، اتوماتا و ساختارهای خودکار؛ محاسبه پذیری و تصادفی بودن؛ مبانی منطقی برنامه نویسی؛ جنبه های منطقی پیچیدگی محاسباتی؛ پیچیدگی پارامتری؛ برنامه نویسی منطقی و محدودیت ها؛ استنتاج خودکار و اثبات قضیه تعاملی؛ روش های منطقی در تأیید پروتکل و برنامه؛ روش های منطقی در مشخصات و استخراج برنامه؛ منطق تئوری دامنه; مبانی منطقی نظریه پایگاه داده; منطق معادله و بازنویسی اصطلاح. لامبدا و محاسبات ترکیبی؛ منطق طبقه بندی و معناشناسی توپولوژیک. منطق خطی؛ منطق معرفتی و زمانی; منطق سیستم هوشمند و چند عاملی؛ منطق اثبات و توجیه; استدلال غیر یکنواخت؛ منطق در نظریه بازی ها و نرم افزارهای اجتماعی; منطق سیستم های ترکیبی; منطق های سیستم توزیع شده؛ منطق فازی ریاضی؛ منطق طراحی سیستم؛ و منطق های دیگر در علوم کامپیوتر.
