Электронная книга: George Tourlakis «Theory of Computation»

Theory of Computation

Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow explanations build the general theory gradually, which guides readers through the modeling and mathematical analysis of computational phenomena andprovides insights on what makes things tick and also what restrains the ability of computational processes. Recognizing the importance of acquired practical experience, the book begins with the metatheory of general purpose computer programs, using URMs as a straightforward, technology-independentmodel of modern high-level programming languages while also exploring the restrictions of the URM language. Once readers gain an understanding of computability theory—including the primitive recursive functions—the author presents automata and languages, covering the regular and context-free languages as well as the machines that recognize these languages. Several advanced topics such as reducibilities, the recursion theorem, complexity theory, and Cook's theorem are also discussed. Features of the book include: A review of basic discrete mathematics, covering logic and induction while omitting specialized combinatorial topics A thorough development of the modeling and mathematical analysis of computational phenomena, providing a solid foundation of un-computability The connection between un-computability and un-provability: Gödel's first incompleteness theorem The book provides numerous examples of specific URMs as well as other programming languages including Loop Programs, FA (Deterministic Finite Automata), NFA (Nondeterministic Finite Automata), and PDA (Pushdown Automata). Exercises at the end of each chapter allow readers to test their comprehension of the presented material, and an extensive bibliography suggests resources for further study. Assuming only a basic understanding of general computer programming and discrete mathematics, Theory of Computation serves as a valuable book for courses on theory of computation at the upper-undergraduate level. The book also serves as an excellent resource for programmers and computing professionals wishing to understand the theoretical limitations of their craft.

Издательство: "John Wiley&Sons Limited"

ISBN: 9781118315330

электронная книга

Купить за 10302.26 руб и скачать на Litres

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Jian-Ming JinTheory and Computation of Electromagnetic FieldsReviews the fundamental concepts behind the theory and computation of electromagnetic fields The book is divided in two parts. The first part covers both fundamental theories (such as vector… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
11196.4электронная книга
G. McBain D.Theory of Lift. Introductory Computational Aerodynamics in MATLAB/OctaveStarting from a basic knowledge of mathematics and mechanics gained in standard foundation classes, Theory of Lift: Introductory Computational Aerodynamics in MATLAB/Octave takes the reader… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
9209.59электронная книга
Cagnoni StefanoGenetic and Evolutionary Computation. Medical ApplicationsGenetic and Evolutionary Computation: Medical Applications provides an overview of the range of GEC techniques being applied to medicine and healthcare in a context that is relevant not only for… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
11707.11электронная книга
Lennart EdsbergIntroduction to Computation and Modeling for Differential EquationsUses mathematical, numerical, and programming tools to solve differential equations for physical phenomena and engineering problems Introduction to Computation and Modeling for Differential… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
7717.99электронная книга
Katsuto TanakaTime Series Analysis. Nonstationary and Noninvertible Distribution TheoryReflects the developments and new directions in the field since the publication of the first successful edition and contains a complete set of problems and solutions This revised and expanded edition… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
10424.97электронная книга
Hashiguchi KoichiIntroduction to Finite Strain Theory for Continuum Elasto-PlasticityComprehensive introduction to finite elastoplasticity, addressing various analytical and numerical analyses&including state-of-the-art theories Introduction to Finite Elastoplasticity presents… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
12487.58электронная книга
Derong LiuFundamentals of Computational Intelligence. Neural Networks, Fuzzy Systems, and Evolutionary ComputationProvides an in-depth and even treatment of the three pillars of computational intelligence and how they relate to one another This book covers the three fundamental topics that form the basis of… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
9265.99электронная книга
Wetterau DanielFinancial Modelling. Theory, Implementation and Practice with MATLAB SourceFinancial modelling Theory, Implementation and Practice with Matlab Source Jörg Kienitz and Daniel Wetterau Financial Modelling – Theory, Implementation and Practice with MATLAB Source is a unique… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
10536.4электронная книга
Marc Paolella S.Linear Models and Time-Series Analysis. Regression, ANOVA, ARMA and GARCHA comprehensive and timely edition on an emerging new trend in time series Linear Models and Time-Series Analysis: Regression, ANOVA, ARMA and GARCH sets a strong foundation, in terms of distribution… — @John Wiley&Sons Limited (USD), @ @ @ @ Подробнее...
11707.11электронная книга
Peter Lee M.Bayesian Statistics. An IntroductionBayesian Statistics is the school of thought that combines prior beliefs with the likelihood of a hypothesis to arrive at posterior beliefs. The first edition of Peter Lee’s book appeared in 1989… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
4991.13электронная книга
Jan FlusserMoments and Moment Invariants in Pattern RecognitionMoments as projections of an image’s intensity onto a proper polynomial basis can be applied to many different aspects of image processing. These include invariant pattern recognition, image… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
10733.4электронная книга
Peter GoosStatistics with JMP. Graphs, Descriptive Statistics and ProbabilityPeter Goos, Department of Statistics, University of Leuven, Faculty of Bio-Science Engineering and University of Antwerp, Faculty of Applied Economics, Belgium David Meintrup, Department of… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
7335.57электронная книга
Ara NazarianLow-Frequency Electromagnetic Modeling for Electrical and Biological Systems Using MATLABProvides a detailed and systematic description of the Method of Moments (Boundary Element Method) for electromagnetic modeling at low frequencies and includes hands-on, application-based MATLAB®… — @John Wiley&Sons Limited, @ @ @ @ Подробнее...
11582.49электронная книга
Hale MarkThe Phonological EnterpriseThis book scrutinizes recent work in phonological theory from the perspective of Chomskyan generative linguistics and argues that progress in the field depends on taking seriously the idea that… — @Oxford University Press, @ @- @ @ Подробнее...2008
3312бумажная книга
Другие книги по запросу «Theory of Computation» >>

Look at other dictionaries:

  • Theory of computation — In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata… …   Wikipedia

  • Journal of Chemical Theory and Computation — 200px País Idioma Inglés …   Wikipedia Español

  • Journal of Chemical Theory and Computation —   Titre abrégé J. Chem. Theory Comput. Discipline Chimie théorique …   Wikipédia en Français

  • Introduction to the Theory of Computation — (ISBN 0 534 95097 3) is a standard textbook in theoretical computer science, written by Michael Sipser …   Wikipedia

  • Computation — is defined as any type of calculation.[1] Also defined as use of computer technology in Information processing.[2][3]Computation is a process following a well defined model understood and expressed in an algorithm, protocol, network topology, etc …   Wikipedia

  • Computation in the limit — In computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable in the limit and limit recursive are also used. One can think of limit computable functions as …   Wikipedia

  • Computation history — In computer science, a computation history is a sequence of steps taken by an abstract machine in the process of computing its result. Computation histories are frequently used in proofs about the capabilities of certain machines, and… …   Wikipedia

  • Theory-based semantics — is a phrase used by Richard L. Ballard to describe knowledge representations that are based on the premise that the binding element of human thought is theory, and that theory constrains the meaning of concepts, ideas and thought patterns… …   Wikipedia

  • Computation time — In computational complexity theory, computation time is a measure of how many steps are used by some abstract machine in a particular computation. For any given model of abstract machine, the computation time used by that abstract machine is a… …   Wikipedia

  • Computation tree — A computation tree is a representation for the computation steps of a non deterministic Turing machine on a specified input. A computation tree is a rooted tree of nodes and edges. Each node in the tree represents a single computational state,… …   Wikipedia

  • Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… …   Wikipedia