|Statement||edited by F. Preparata|
|Series||C.I.M.E. Summer Schools -- 68|
|Contributions||SpringerLink (Online service)|
|The Physical Object|
|Format||[electronic resource] /|
|ISBN 10||9783642111181, 9783642111204|
As Sylvain Peyronnet already mentioned, logic is an important part of theoretical computer science. However, it is not enough to learn logic from textbooks tailored for pure mathematicians. In other words, it's also important to learn logic from a more "computer science" perspective. Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, . This selection contains titles in Theoretical Computer Science. Refine Search. Refine Search. Content Type. Book , Remove; Monogr; Contributed vol; Proceedi; Professional b; Textbook 8,; Briefs 6,; Handbook 2,; Reference work 2,; In this book, the authors first present an overview of. "If there is a single book on the theory of computing that should be in every college library collection, this is it. Although written as a text for an advanced undergraduate course in theoretical computer science, the book may serve as an introductory resource, or the foundation for independent study, in many areas of theoretical computing: grammars, automata theory, Cited by:
Theoretical Computer Science | Book | English. This selection contains titles in Theoretical Computer Science. Refine Search. Refine Search. Content Type This clearly written textbook presents an accessible introduction to discrete mathematics for computer science students, offering the reader an enjoyable and stimulating path to.