عنوان
پدید آورنده
موضوع
رده
QA267 .D38 1994
QA267
.
D38
1994
کتابخانه
محل استقرار
شابک
شابک
0122063821
شابک
9780122063824
شماره کتابشناسی ملی
شماره
b535241
عنوان و نام پديدآور
عنوان اصلي
Computability, complexity, and languages :
نام عام مواد
[Book]
ساير اطلاعات عنواني
fundamentals of theoretical computer science /
نام نخستين پديدآور
Martin D. Davis, Ron Sigal, Elaine J. Weyuker
وضعیت ویراست
وضعيت ويراست
2nd ed
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston :
نام ناشر، پخش کننده و غيره
Academic Press, Harcourt, Brace,
تاریخ نشرو بخش و غیره
1994
مشخصات ظاهری
نام خاص و کميت اثر
xix, 609 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm
فروست
عنوان فروست
Computer science and scientific computing
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 593-594) and index
یادداشتهای مربوط به مندرجات
متن يادداشت
pt. 1. Computability -- 1. Preliminaries -- 2. Programs and computable functions -- 3. Primitive rescursive functions -- 4. A universal program -- 5. Calculations on strings -- 6. Turing machines -- 7. Processes and grammars -- 8. Classifying unsolvable problems
متن يادداشت
pt. 2. Grammars and automata -- 9. Regular languages -- 10. Context-free languages -- 11. Context-sensitive languages
متن يادداشت
pt. 3. Logic -- 12. Propositional calculus -- 13. Quantification theory
متن يادداشت
pt. 4. Complexity -- 14. Abstract complexity -- 15. Polynomial -- time computability
متن يادداشت
pt. 5. Semantics -- 16. Approximation orderings -- 17. Denotational semantics of recursion equations -- 18. Operational semantics of recursion equations
بدون عنوان
0
بدون عنوان
0
بدون عنوان
0
بدون عنوان
0
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes very little background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computational complexity
موضوع مستند نشده
Formal languages
موضوع مستند نشده
Machine theory
رده بندی ديویی
شماره
511
.
3
ويراست
20
رده بندی کنگره
شماره رده
QA267
نشانه اثر
.
D38
1994
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Davis, Martin,1928-
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Sigal, Ron
مستند نام اشخاص تاييد نشده
Weyuker, Elaine J
مبدا اصلی
تاريخ عمليات
20150422101950.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
