Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 06-Feb-2025, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9781108835466)
Providing an in-depth treatment of an exciting research area, this texts central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of theoretical computer science connected to semantics. It contains a thoroug...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 07-Mar-2024, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9781009349697)
Introducing StonePriestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 01-Aug-2019, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9781108485418)
This text for graduate students and researchers gives a complete coverage of the field with mathematical rigour, from basics to advanced topics. It closes the gap between theory and real practice by providing full proofs and executable code for all a...Lasīt vairāk
Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first book on the subject that attempts to provide a rigorous introduction to the topic in a manner acces...Lasīt vairāk
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools...Lasīt vairāk
An introduction to type theory for computer scientists. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one partic...Lasīt vairāk
Petri nets are a model for the analysis of concurrent systems. Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to unde...Lasīt vairāk
An introduction to many-sorted logic as an extension of first-order logic. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to...Lasīt vairāk
Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 30-Jun-2005, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521834490)
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving. The automation of mathematical reasoning has been an important topic of research almost since computers were inve...Lasīt vairāk
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödels incompleteness theorem, using an information theoretic approach based on the size of computer programs....Lasīt vairāk
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison o...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 28-Aug-1999, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521630177)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This account concentrates on the algorithmic translation of important methods, especially of decision procedures for (subclasses of) propositional logic. The algorithms presented can be applied to VLSI design, deductive databases and other areas. Th...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 02-Jul-1998, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521622776)
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 31-Jul-1997, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521465182)
An introduction to type theory for computer scientists. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one partic...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 05-Sep-1996, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521572231)
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison o...Lasīt vairāk
This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting pr...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 29-Mar-1996, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521354356)
A textbook for an introductory graduate or senior course, assuming at least a modest knowledge of first-order logic and set theory. Also suitable for computer scientists, philosophers, and linguists who have or are willing to acquire the prerequisite...Lasīt vairāk
Sērija : Cambridge Tracts in Theoretical Computer Science
(Izdošanas datums: 24-Nov-1995, Hardback, Izdevniecība: Cambridge University Press, ISBN-13: 9780521460149)
A broad introduction to the subject; many exercises with full solutions are provided. Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledg...Lasīt vairāk
