دانلود کتاب Computer Science Logic: 8th Workshop, CSL ’94 Kazimierz, Poland, September 25–30, 1994 Selected Papers (به فارسی: منطق علوم کامپیوتر: کارگاه هشتم، CSL ’94 Kazimierz، لهستان، 25 تا 30 سپتامبر 1994 مقالات منتخب) نوشته شده توسط «David Aspinall (auth.) – Leszek Pacholski – Jerzy Tiuryn (eds.)»
اطلاعات کتاب منطق علوم کامپیوتر: کارگاه هشتم، CSL ’94 Kazimierz، لهستان، 25 تا 30 سپتامبر 1994 مقالات منتخب
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: David Aspinall (auth.) – Leszek Pacholski – Jerzy Tiuryn (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1995
تعداد صفحه: 553
حجم کتاب: 5 مگابایت
کد کتاب: 3540600175 , 9783540600176
نوبت چاپ: 1
توضیحات کتاب منطق علوم کامپیوتر: کارگاه هشتم، CSL ’94 Kazimierz، لهستان، 25 تا 30 سپتامبر 1994 مقالات منتخب
این جلد شامل نسخه های داوری اصلاح شده از بهترین مقالات ارائه شده در کنفرانس CSL ’94، که در Kazimierz، لهستان در سپتامبر 1994 برگزار شد، می باشد. CSL ’94 هشتمین رویداد از مجموعه کارگاه های آموزشی است که برای سومین بار به عنوان کنفرانس سالانه انجمن منطق علوم کامپیوتر اروپا برگزار می شود.
38 مقاله ارائه شده از مجموع 151 مقاله ارسالی انتخاب شدند. تمام جنبه‌های مهم روش‌های منطق ریاضی در علوم رایانه مورد بررسی قرار می‌گیرند: حساب لامبدا، نظریه اثبات، نظریه مدل محدود، برنامه‌نویسی منطق، معناشناسی، نظریه دسته‌بندی، و سایر سیستم‌های منطقی. این مقالات با هم یک تصویر فوری نماینده از حوزه مبانی منطقی علوم کامپیوتر ارائه می دهند.
This volume contains revised refereed versions of the best papers presented during the CSL ’94 conference, held in Kazimierz, Poland in September 1994; CSL ’94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.
The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.