# Электронная книга: George Tourlakis «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 Jin | Theory and Computation of Electromagnetic Fields | Reviews 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/Octave | Starting 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 Stefano | Genetic and Evolutionary Computation. Medical Applications | Genetic 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 Edsberg | Introduction to Computation and Modeling for Differential Equations | Uses 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 Tanaka | Time Series Analysis. Nonstationary and Noninvertible Distribution Theory | Reflects 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 Koichi | Introduction to Finite Strain Theory for Continuum Elasto-Plasticity | Comprehensive 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 Liu | Fundamentals of Computational Intelligence. Neural Networks, Fuzzy Systems, and Evolutionary Computation | Provides 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 Daniel | Financial Modelling. Theory, Implementation and Practice with MATLAB Source | Financial 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 GARCH | A 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 Introduction | Bayesian 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 Flusser | Moments and Moment Invariants in Pattern Recognition | Moments 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 Goos | Statistics with JMP. Graphs, Descriptive Statistics and Probability | Peter 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 Nazarian | Low-Frequency Electromagnetic Modeling for Electrical and Biological Systems Using MATLAB | Provides 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 Mark | The Phonological Enterprise | This 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 | бумажная книга |

### 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