ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logics for Computer Science: Classical and Non-Classical

دانلود کتاب منطق برای علوم کامپیوتر: کلاسیک و غیر کلاسیک

Logics for Computer Science: Classical and Non-Classical

مشخصات کتاب

Logics for Computer Science: Classical and Non-Classical

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 9783319925905 
ناشر: Springer 
سال نشر: 2018 
تعداد صفحات: 539 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



کلمات کلیدی مربوط به کتاب منطق برای علوم کامپیوتر: کلاسیک و غیر کلاسیک: علوم کامپیوتر، منطق



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Logics for Computer Science: Classical and Non-Classical به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق برای علوم کامپیوتر: کلاسیک و غیر کلاسیک

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


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

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework.



فهرست مطالب

Front Matter ....Pages I-X
 Introduction: Paradoxes and Puzzels  (Anita Wasilewska)....Pages 1-13
 Introduction to Classical Logic  (Anita Wasilewska)....Pages 15-63
 Propositional Semantics: Classical and Many Valued  (Anita Wasilewska)....Pages 65-143
 General Proof Systems: Syntax and Semantics  (Anita Wasilewska)....Pages 145-177
 Hilbert Proof Systems Completeness of Classical Propositional Logic  (Anita Wasilewska)....Pages 179-232
 Automated Proof Systems Completeness of Classical Propositional Logic  (Anita Wasilewska)....Pages 233-304
 Introduction to Intuitionistic and Modal Logics  (Anita Wasilewska)....Pages 305-348
 Classical Predicate Semantics and Proof Systems  (Anita Wasilewska)....Pages 349-400
 Hilbert Proof Systems Completeness of Classical Predicate Logic  (Anita Wasilewska)....Pages 401-440
 Predicate Automated Proof Systems Completeness of Classical Predicate Logic  (Anita Wasilewska)....Pages 441-487
 Formal Theories and Gödel Theorems  (Anita Wasilewska)....Pages 489-535




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی