سایت CEB:ترجمه تخصصی رشته کامپیوتر - معرفی و دانلود کتب انگلیسی رشته کامپیوتر

امتیاز کاربران

ستاره فعالستاره فعالستاره فعالستاره فعالستاره فعال
 

انتشارات: Academic Press, Inc.

اثر: Martin D. Davis & Ron Sigal & Elaine J. Weyuker

تعداد صفحه: 628

حجم: 3.79MB

جلد کتاب

توضیحات کتاب (خلاصه پیشگفتار):

Theoretical computer science is the mathematical study of models of computation. As such, it originated in the 1930s, well before the existence of modern computers, in the work of the logicians Church, Godel, Kleene, Post, and Turing. This early work has had a profound influence on the practical and theoretical development of computer science. Not only has the Turing machine model proved basic for theory, but the work of these pioneers presaged many aspects of computational practice that are now commonplace and whose intellectual antecedents are typically unknown to users. Included among these are the existence in principle of all-purpose (or universal) digital computers, the concept of a program as a list of instructions in a formal language, the possibility of interpretive programs, the duality between software and hardware, and the representation of languages by formal structures. based on productions. While the spotlight in computer science has tended to fall on the truly breathtaking technological advances that have been taking place, important work in the foundations of the subject has continued as well. It is our purpose in writing this book to provide an introduction to the various aspects of theoretical computer science for undergraduate and graduate students that is sufficiently comprehensive that the professional literature of treatises and research papers will become accessible to our readers.

We are dealing with a very young field that is still finding itself. Computer scientists have by no means been unanimous in judging which parts of the subject will turn out to have enduring significance. In this situation, fraught with peril for authors, we have attempted to select topics that have already achieved a polished classic form, and that we believe will play an important role in future research. In this second edition, we have included new material on the subject of programming language semantics, which we believe to be established as an important topic in theoretical computer science.

We have assumed that many of our readers will have had little experience with mathematical proof, but that almost all of them have had substantial programming experience. We take advantage of the reader's background by developing computability theory in the context of an extremely simple abstract programming language. By systematic use of a macro expansion technique, the surprising power of the language is demonstrated. This culminates in a universal program, which is written in all detail on a single page. By a series of simulations, we then obtain the equivalence of various different formulations of computability, including Turing's.

This material, in various preliminary forms, has been used with undergraduate and graduate students at New York University, Brooklyn College, The Scuola Matematica lnteruniversitaria-Perugia, The University of California- Berkeley, The University of California-Santa Barbara, Worcester Polytechnic Institute, and Yale University. Because many of the chapters are independent of one another, this book can be used in various ways. There is more than enough material for a full-year course at the graduate level on theory of computation. We have used the unstarred sections of Chapters 1-6 and Chapter 9 in a successful one-semester junior-level course, Introduction to Theory of Computation, at New York University. A course on finite automata and forma/languages could be based on Chapters 1, 9, and 10. A semester or quarter course on logic for computer scientists could be based on selections from Parts 1 and 3. Part 5 could be used for a third semester on the theory of computation or an introduction to programming language semantics. Many other arrangements and courses are possible, as should be apparent from the dependency graph.

آیکن نشانگر نوع فایل در سایت CEBدانلود (کیفیت بهتر با حجم 3.79MB)

آیکن نشانگر نوع فایل در سایت CEBدانلود (PDF با حجم 8.08MB)


برای دانلود کتاب، ثبت درخواست ترجمه، و دریافت رایگان خبرنامه‌های سایت نیاز به ثبت نام دارید.

آیا از خواندن متون ترجمه‌ای بی سر و ته خسته شده‌اید؟ و بدنبال راهی برای بهره‌گیری از یک متن اصیل برای یادگیری هستید؟
آیا وقت کافی برای فهم و یا ترجمه‌ی مطلب خود در اختیار ندارید؟
از خواندن متنی که کارتان گیر آن است کلافه شده‌اید؟
کار را به ما بسپارید، خیالتان راحت!

هم اکنون! سايت CEB را به چند نفر از دوستان خود هم معرفی کنيد؛ با اين کار علاوه بر حمايت از ما، به بالا رفتن کيفيت خدمات و پايين ماندن تعرفه‌ی دانلود هم کمک کرده‌ايد.



dear author and publishers!
If you do not agree that your books be freely available through this site to Iranians - Those who are not subject to the Copy Right law - please contact us through your official email address so that we can identify you as the author or publisher of that books and remove all your books that you don't like to be accessible through this site. Note that only downloadable material can be appeared on this website. Also note that this site is not the source of illegal publication of the books; We only gathered the books accessible via the Internet together and maked these books more accessible to Iranians.


Valid XHTML 1.0 Transitional