دانلود کتاب Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods (به فارسی: راهنمای منطق در علوم کامپیوتر. جلد 5: منطق و روشهای جبری) نوشته شده توسط «Samson Abramsky – Dov M Gabbay – Thomas S E Maibaum (eds.)»
اطلاعات کتاب راهنمای منطق در علوم کامپیوتر. جلد 5: منطق و روشهای جبری
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Clarendon Press
نویسنده: Samson Abramsky – Dov M Gabbay – Thomas S E Maibaum (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 555
حجم کتاب: 3 مگابایت
کد کتاب: 0198537816 , 9780198537816
توضیحات کتاب راهنمای منطق در علوم کامپیوتر. جلد 5: منطق و روشهای جبری
منطق اکنون به طور گسترده ای به عنوان یکی از رشته های اساسی محاسبات شناخته شده است و برنامه های کاربردی آن تقریباً به هر جنبه ای از موضوع، از مهندسی نرم افزار و سخت افزار گرفته تا زبان های برنامه نویسی و هوش مصنوعی می رسد. کتاب راهنمای منطق در علوم کامپیوتر یک اثر چند جلدی است که تمام زمینه های اصلی کاربرد منطق در علوم کامپیوتر نظری را پوشش می دهد. کتاب راهنما شامل شش جلد است که هر کدام شامل پنج یا شش فصل است که نمای کلی یکی از موضوعات اصلی در این زمینه را ارائه می دهد. این نتیجه سالها تلاش مشترک برخی از برجستهترین محققان خط مقدم در این زمینه است و بدون شک برای سالهای آینده مرجع استاندارد در منطق و علوم کامپیوتر نظری خواهد بود. جلد 5: ساختارهای جبری و منطقی تمام مباحث اساسی معناشناسی در منطق و محاسبات را پوشش می دهد. فصول گسترده حاصل چندین سال تحقیق هماهنگ است و هر کدام دارای دیدگاه موضوعی هستند. آنها با هم، آخرین کارهای پژوهشی را به خواننده ارائه می دهند و کتاب ضروری خواهد بود
جلد 5 حاضر با روش شناسی منطقی و جبری پایه برای علوم کامپیوتر ادامه می یابد. فصل 1 نظریه نوع مارتین-لوف را پوشش می دهد، که در ابتدا برای روشن کردن مبانی ریاضیات سازنده توسعه یافت و اکنون نقش عمده ای در علوم کامپیوتر نظری ایفا می کند. فصل دوم منطق مقوله ای، حوزه تعامل بین نظریه مقوله و منطق ریاضی را پوشش می دهد. این بر اساس مفاهیم اساسی معرفی شده در فصل “تئوری دسته بندی پایه” در جلد 1 این مجموعه راهنما است. فصل سوم روش هایی را برای به دست آوردن مرزهای پایین تر در پیچیدگی محاسباتی نظریه های منطقی ارائه می کند. بسیاری از این نظریه ها در چشم انداز منطق و محاسبات ظاهر می شوند. فصل چهارم مشخصات و انواع جبری را پوشش می دهد. این موضوع تنها با استفاده از مفاهیم نظری مجموعه ای مورد بررسی قرار می گیرد و بنابراین برای طیف گسترده ای از خوانندگان قابل دسترسی است. فصل آخر (پنجم) به قابلیت محاسبه در انواع داده های انتزاعی می پردازد. این تئوری توابع قابل محاسبه را بر روی جبرهای انتزاعی چند مرتبه توسعه می دهد، یک مفهوم کلی به اندازه کافی برای نیازهای علوم کامپیوتر.
The present Volume 5 continues with logical and algebraic methodologies basic to computer science. Chapter 1 covers Martin-Lof’s type theory, originally developed to clarify the foundations of constructive mathematics it now plays a major role in theoretical computer science. The second chapter covers categorial logic, the interaction area between category theory and mathematical logic. It builds on the basic concepts introduced in the chapter ‘Basic Category Theory’ in Volume 1 of this Handbook series. The third chapter presents methods for obtaining lower bounds on the computational complexity of logical theories. Many such theories show up in the landscape of logic and computation. The fourth chapter covers algebraic specification and types. It treats the subject using set theoretical notions only and is thus accessible to a wide range of readers. The last (fifth) chapter deals with computability on abstract data types. It develops a theory of computable functions on abstract many-sorted algebras, a general enough notion for the needs of computer science.
دانلود کتاب «راهنمای منطق در علوم کامپیوتر. جلد 5: منطق و روشهای جبری»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.