دانلود کتاب Computability, complexity, logic (به فارسی: قابلیت محاسبه، پیچیدگی، منطق) نوشته شده توسط «E. Börger»
اطلاعات کتاب قابلیت محاسبه، پیچیدگی، منطق
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: North-Holland
نویسنده: E. Börger
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1989
تعداد صفحه: 612
حجم کتاب: 4 مگابایت
کد کتاب: 0444874062 , 9780444874061 , 9780080887043
نوبت چاپ: 1
توضیحات کتاب قابلیت محاسبه، پیچیدگی، منطق
موضوع این کتاب از دو مفهوم تشکیل شده است: مفهوم زبان رسمی به عنوان حامل بیان دقیق معنا، حقایق و مسائل، و مفهوم الگوریتم یا حساب دیفرانسیل و انتگرال، یعنی رویه ای رسمی برای حل مواردی که دقیقا توصیف شده اند. پرسشها و مسائل.
این کتاب مقدمهای یکپارچه برای نظریه مدرن این مفاهیم، به روشی است که آنها ابتدا در منطق ریاضی و نظریه محاسباتی و بعداً در تئوری خودکار، و به نظریه زبانهای رسمی و پیچیدگی توسعه دادند. تئوری. جدای از در نظر گرفتن مضامین اساسی و جنبه های کلاسیک این حوزه ها، موضوع انتخاب شده است تا به جنبه های جدید سؤالات سنتی، نتایج و روش هایی که برگرفته از نیازها یا دانش علوم رایانه و به ویژه نظریه پیچیدگی است، اولویت داده شود. .
این کتاب هم یک کتاب درسی برای دروس مقدماتی در رشته های فوق الذکر است و هم یک تک نگاری است که در آن نتایج بیشتر تحقیقات جدید به طور سیستماتیک ارائه شده است و در آن تلاش می شود تا ارتباطات و تشابهات بین انواع مختلف را به وضوح بیان کند. مفاهیم و سازه ها
The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory.
It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions.
دانلود کتاب «قابلیت محاسبه، پیچیدگی، منطق»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.