دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computability, Complexity, Logic
دانلود کتاب محاسبه پذیری، پیچیدگی، منطق
مشخصات کتاب
Computability, Complexity, Logic
ویرایش: 1
نویسندگان: E. Boerger
سری: SLFM 128
ISBN (شابک) : 0444874062, 9780444874061
ناشر: North Holland
سال نشر: 1989
تعداد صفحات: 616
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب محاسبه پذیری، پیچیدگی، منطق: تئوری اطلاعات، علوم کامپیوتر، کامپیوتر و فناوری، طراحی کامپیوتر، ریزپردازنده ها و طراحی سیستم، سخت افزار و DIY، کامپیوتر و فناوری، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، فلسفه، زیبایی شناسی، فلسفه تحلیلی، آگاهی و اندیشه، انتقاد، شرق، معرفت شناسی، اخلاق و اخلاق، اراده آزاد و جبر، خیر و شر، یونان و روم، تاریخ و بررسی ها، فیلسوفان فردی، منطق و زبان، اندیشه قرون وسطی، متافیزیک، روش شناسی، مدرن، رنسانس مدرن، جنبش ها، پولی
در صورت تبدیل فایل کتاب Computability, Complexity, Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه پذیری، پیچیدگی، منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه پذیری، پیچیدگی، منطق
موضوع این کتاب از دو مفهوم تشکیل شده است: مفهوم زبان رسمی به عنوان حامل بیان دقیق معنا، حقایق و مسائل، و مفهوم الگوریتم یا حساب دیفرانسیل و انتگرال، یعنی رویه ای رسمی برای حل مواردی که دقیقا توصیف شده اند. پرسش‌ها و مسائل. این کتاب مقدمه‌ای یکپارچه برای نظریه مدرن این مفاهیم، به روشی است که آنها ابتدا در منطق ریاضی و نظریه محاسبه‌پذیری و بعداً در نظریه خودکار، و نظریه زبان‌های رسمی و نظریه پیچیدگی توسعه دادند. جدای از در نظر گرفتن مضامین بنیادی و جنبه های کلاسیک این حوزه ها، موضوع به گونه ای انتخاب شده است که به جنبه های جدید پرسش ها، نتایج و روش های سنتی که برگرفته از نیازها یا دانش علوم کامپیوتر و به ویژه نظریه پیچیدگی است، اولویت داده شود. این کتاب هم یک کتاب درسی برای دروس مقدماتی رشته های فوق الذکر است و هم یک تک نگاری که در آن نتایج تحقیقات جدید به طور سیستماتیک ارائه شده است و در آن سعی شده است تا ارتباطات و تشابهات بین مفاهیم و ساختارهای مختلف به وضوح بیان شود. .
توضیحاتی درمورد کتاب به خارجی
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems.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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Bevatron and its Place in Nuclear Physics
دانلود کتاب Together on Top of the World: The Remarkable Story of the First Couple to Climb the Fabled Seven Summits
