دانلود کتاب Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings (به فارسی: منطق علوم کامپیوتر: نوزدهمین کارگاه بین المللی، CSL 2005، چهاردهمین کنفرانس سالانه EACSL، آکسفورد، انگلستان، 22-25 اوت 2005. مجموعه مقالات) نوشته شده توسط «Maarten Marx (auth.) – Luke Ong (eds.)»
اطلاعات کتاب منطق علوم کامپیوتر: نوزدهمین کارگاه بین المللی، CSL 2005، چهاردهمین کنفرانس سالانه EACSL، آکسفورد، انگلستان، 22-25 اوت 2005. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Maarten Marx (auth.) – Luke Ong (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 567
حجم کتاب: 5 مگابایت
کد کتاب: 3540282319 , 9783540282310
نوبت چاپ: 1
توضیحات کتاب منطق علوم کامپیوتر: نوزدهمین کارگاه بین المللی، CSL 2005، چهاردهمین کنفرانس سالانه EACSL، آکسفورد، انگلستان، 22-25 اوت 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری نوزدهمین کارگاه بین المللی منطق علوم کامپیوتر، CSL 2005 است که به عنوان چهاردهمین کنفرانس سالانه EACSL در آکسفورد، انگلستان در آگوست 2005 برگزار شد.
33 مورد بازبینی کامل شده است. مقالات ارائه شده همراه با 4 مشارکت دعوت شده به دقت بررسی و از بین 108 مقاله ارسال شده انتخاب شدند. تمام جنبه‌های فعلی منطق در علوم کامپیوتر از منطق ریاضی و مبانی منطقی گرفته تا مسائل روش‌شناختی و کاربردهای منطق در زمینه‌های محاسباتی مختلف پرداخته می‌شود. این جلد در بخش‌های موضوعی در معناشناسی و منطق، نظریه نوع و حساب لامبدا، منطق خطی و لودیک، محدودیت‌ها، مدل‌های محدود، تصمیم‌پذیری و پیچیدگی، تأیید و بررسی مدل، استدلال سازنده و ریاضیات محاسباتی، و پیچیدگی محاسباتی ضمنی و بازنویسی سازمان‌دهی شده است.
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005.
The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.