مشخصات کتاب

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

ویرایش: 2nd ed 
نویسندگان: Davis. Martin, Sigal. Ron, Weyuker. Elaine J  
سری: Computer science and scientific computing 
ISBN (شابک) : 9780080502465, 0080502466 
ناشر: Elsevier Science;Academic Press, Harcourt, Brace 
سال نشر: 1994 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : AZW3 (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

کلمات کلیدی مربوط به کتاب محاسبه پذیری ، پیچیدگی و زبان ها: مبانی علوم رایانه ای نظری: ریاضیات -- بی نهایت ، ریاضیات -- منطق ، نظریه ماشین ، پیچیدگی محاسباتی ، زبان های رسمی ، کتاب های الکترونیکی ، ریاضیات -- بی نهایت ، ریاضیات -- منطق

در صورت تبدیل فایل کتاب Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب محاسبه پذیری ، پیچیدگی و زبان ها: مبانی علوم رایانه ای نظری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب محاسبه پذیری ، پیچیدگی و زبان ها: مبانی علوم رایانه ای نظری

این متن مقدماتی حوزه‌های کلیدی علوم کامپیوتر از جمله تئوری توابع بازگشتی، زبان‌های رسمی و خودکار را پوشش می‌دهد. حداقل پیشینه در ریاضیات رسمی را در نظر می گیرد. این کتاب به پنج بخش قابل محاسبه، گرامر و خودکار، منطق، پیچیدگی و حل نشدنی تقسیم شده است. * تئوری محاسبه پذیری به شیوه ای معرفی شده است که حداکثر استفاده را از تجربه برنامه نویسی قبلی، از جمله برنامه \"جهانی\" که کمتر از یک صفحه را اشغال می کند، می کند. * تعداد تمرینات گنجانده شده بیش از سه برابر شده است. * تئوری اتومات، منطق محاسباتی و نظریه پیچیدگی به شیوه ای انعطاف پذیر ارائه شده اند و می توانند در انواع ترتیبات مختلف پوشش داده شوند. محاسبه‌پذیری، پیچیدگی و زبان‌ها: مبانی علوم کامپیوتر نظری. صفحه حق چاپ فداکاری؛ فهرست مطالب؛ پیشگفتار؛ قدردانی ها؛ نمودار وابستگی؛ فصل 1. مقدمات; 1. مجموعه ها و n-tuples; 2. توابع; 3. الفبا و رشته; 4. محمولات; 5. کمیت کننده ها; 6. اثبات با تناقض; 7. استقراء ریاضی; بخش 1: قابلیت محاسبه فصل 2. برنامه ها و توابع قابل محاسبه. 1. یک زبان برنامه نویسی. 2. چند نمونه از برنامه ها. 3. نحو; 4. توابع قابل محاسبه. 5. اطلاعات بیشتر در مورد ماکروها. فصل 3. توابع بازگشتی اولیه.

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

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page. * The number of exercises included has more than tripled. * Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.;Front Cover; Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science; Copyright Page; Dedication; Table of Contents; Preface; Acknowledgments; Dependency Graph; Chapter 1. Preliminaries; 1. Sets and n-tuples; 2. Functions; 3. Alphabets and Strings; 4. Predicates; 5. Quantifiers; 6. Proof by Contradiction; 7. Mathematical Induction; Part 1: Computability; Chapter 2. Programs and Computable Functions; 1. A Programming Language; 2. Some Examples of Programs; 3. Syntax; 4. Computable Functions; 5. More about Macros; Chapter 3. Primitive Recursive Functions.

فهرست مطالب

Front Cover
 Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
 Copyright Page
 Dedication
 Table of Contents
 Preface
 Acknowledgments
 Dependency Graph
 Chapter 1. Preliminaries
 1. Sets and n-tuples
 2. Functions
 3. Alphabets and Strings
 4. Predicates
 5. Quantifiers
 6. Proof by Contradiction
 7. Mathematical Induction
 Part 1: Computability
 Chapter 2. Programs and Computable Functions
 1. A Programming Language
 2. Some Examples of Programs
 3. Syntax
 4. Computable Functions
 5. More about Macros
 Chapter 3. Primitive Recursive Functions. 1. Composition2. Recursion
 3. PRC Classes
 4. Some Primitive Recursive Functions
 5. Primitive Recursive Predicates
 6. Iterated Operations and Bounded Quantifiers
 7. Minimalization
 8. Pairing Functions and Gödel Numbers
 Chapter 4. A Universal Program
 1. Coding Programs by Numbers
 2. The Halting Problem
 3. Universality
 4. Recursively Enumerable Sets
 5. The Parameter Theorem
 6. Diagonalization and Reducibility
 7. Rice's Theorem
 *8. The Recursion Theorem
 *9. A Computable Function That Is Not Primitive Recursive
 Chapter 5. Calculations on Strings. 1. Numerical Representation of Strings2. A Programming Language for String Computations
 3. The Languages L and Ln
 4. Post-Turing Programs
 5. Simulation of Ln in F
 6. Simulation of F in L
 Chapter 6. Turing Machines
 1. Internal States
 2. A Universal Turing Machine
 3. The Languages Accepted by Turing Machines
 4. The Halting Problem for Turing Machines
 5. Nondeterministic Turing Machines
 6. Variations on the Turing Machine Theme
 Chapter 7. Processes and Grammars
 1. Semi-Thue Processes
 2. Simulation of Nondeterministic Turing Machines by Semi-Thue Processes. 3. Unsolvable Word Problems4. Post's Correspondence Problem
 5. Grammars
 6. Some Unsolvable Problems Concerning Grammars
 *7. Normal Processes
 Chapter 8. Classifying Unsolvable Problems
 1. Using Oracles
 2. Relativization of Universality
 3. Reducibility
 4. Sets r.e. Relative to an Oracle
 5. The Arithmetic Hierarchy
 6. Post's Theorem
 7. Classifying Some Unsolvable Problems
 8. Rice's Theorem Revisited
 9. Recursive Permutations
 Part 2: Grammars and Automata
 Chapter 9. Regular Languages
 1. Finite Automata
 2. Nondeterministic Finite Automata
 3. Additional Examples. 4. Closure Properties5. Kleene's Theorem
 6. The Pumping Lemma and Its Applications
 7. The Myhill-Nerode Theorem
 Chapter 10. Context-Free Languages
 1. Context-Free Grammars and Their Derivation Trees
 2. Regular Grammars
 3. Chomsky Normal Form
 4. Bar-Hillel's Pumping Lemma
 5. Closure Properties
 *6. Solvable and Unsolvable Problems
 7. Bracket Languages
 8. Pushdown Automata
 9. Compilers and Formal Languages
 Chapter 11. Context-Sensitive Languages
 1. The Chomsky Hierarchy
 2. Linear Bounded Automata
 3. Closure Properties
 Part 3: Logic
 Chapter 12. Propositional Calculus.

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

کتاب های تصادفی

دانلود کتاب Buddhist Teaching of Totality: The Philosophy of Hwa Yen Buddhism

دانلود کتاب Articulated Motion and Deformable Objects: 4th International Conference, AMDO 2006, Port d’Andratx, Mallorca, Spain, July 11-14, 2006. Proceedings

دانلود کتاب Great Britain Green Guide Michelin

دانلود کتاب Essentials of Statistics for Scientists and Technologists

دانلود کتاب La Trêve