|
| This new text offers a comprehensive and accessible treatment of the theory of algorithms and complexity - the elegant body of concepts and... This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to...
From the Reviews: .,."He (the author) uses the language and notation of ordinary informal mathematics to state the basic set-theoretic facts... An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper...
The contributions in the book examine the historical and contemporary manifestations of organized crime, the symbiotic relationship between... This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in...
Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and... New corrected printing of a well-established text on logic at the introductory level.
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians... Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary...
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this... This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book...
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It... A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of...
New edition of successful and unique textbook for students in mathematics or theoretical computer science. Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations...
|
Top Libri Inglesi |
1. | 2. | 3. | 4. | 5. | 6. | 7. | 8. | 9. | 10. |
|
|
Carrello
![English Grammar in Use with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English [With CDROM]](http://img4.libreriauniversitaria.it/BUS/100/939/9780521189392.jpg "English Grammar in Use with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English [With CDROM]")
![Essential Grammar in Use: A Self-Study Reference and Practice Book for Elementary Students of English with Answers [With CDROM]](http://img3.libreriauniversitaria.it/BUS/100/543/9780521675437.jpg "Essential Grammar in Use: A Self-Study Reference and Practice Book for Elementary Students of English with Answers [With CDROM]")
