Marknadens största urval
Snabb leverans

Böcker i Cambridge Tracts in Theoretical Computer Science-serien

Filter
Filter
Sortera efterSortera Serieföljd
  • av Subrata (University of Southwestern Louisiana) Dasgupta
    960 - 2 140,-

    The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. The question is whether we can construct a theory of design.

  • av Peter Padawitz
    666,-

    Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

  • - A Specification Language and its Formal Semantics
    av J.M. Spivey
    556,-

    The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.

  • av Allan M. Ramsay
    610,-

    Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving, including Bibel's connection method.

  • av G. E. Revesz
    756,-

    Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated.

  • - A Mathematical Perspective
    av J. B. (University of Manchester) Paris
    690,-

    An introduction to the mathematical foundations of the subject. This work will be welcomed by graduate students and research workers in logic, philosophy and computer science as a textbook for beginners.

  • - With Applications to Unification Grammars, Logic Programs and Constraint Resolution
    av Robert L. (Carnegie Mellon University Carpenter
    666,-

    This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.

  • av Jorg (Humboldt-Universitat zu Berlin) Desel
    610,-

    Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.

  • av Maria (Universitat de Barcelona) Manzano
    976,-

    Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.

  • av Wim H. Hesselink
    666,-

    A complete account of the predicate transformation calculus semantics of sequential programs.

  • av Ernest. G. (University of Massachusetts Manes
    786,-

    This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

  • - The Logic of Distributed Systems
    av Jon Barwise & Jerry Seligman
    810 - 976,-

    Information is a central topic in computer science, cognitive science and philosophy. In spite of its importance in the 'information age', there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science and philosophy, this book addresses the definition and place of information in society. The authors, observing that information flow is possible only within a connected distribution system, provide a mathematically rigorous, philosophically sound foundation for a science of information. They illustrate their theory by applying it to a wide range of phenomena, from file transfer to DNA, from quantum mechanics to speech act theory.

  • av A. S. Troelstra & H. Schwichtenberg
    696,-

    This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

  • av Swansea) Hindley & J. Roger (University of Wales
    586 - 1 386,-

    This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

  • av Denmark) Nielson, Flemming (Aarhus Universitet & Hanne Riis (Aarhus Universitet
    730 - 1 740,-

    The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.

  • - Three Views of Concurrent Processes and their Relationship
    av Germany) Olderog & E. -R. (Carl V. Ossietzky Universitat Oldenburg
    666 - 1 566,-

    The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.

  • - Introduction to Compositional and Non-compositional Methods
    av Enschede, Willem-Paul de Roever, Frank de Boer, m.fl.
    1 070 - 3 120,-

    This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

  • av T. F. (University of Glasgow) Melham
    586 - 1 566,-

    This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

  • av Terese
    2 720,-

    A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.

  • av W. van der Hoek & J.-J. Ch. Meyer
    866,-

    This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included with their solutions.

  • av Roberto M. (Universite de Provence) Amadio, Paris) Curien & Pierre-Louis (Ecole Normale Superieure
    826 - 1 910,-

    This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

  • - Interactive Proof with Cambridge LCF
    av Lawrence C. (University of Cambridge) Paulson
    840,-

    A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.

  • av Peter D. (Aarhus Universitet Mosses
    786,-

    Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.

  • av Marianne (University of Illinois Winslett
    586,-

    This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database?

  •  
    1 240,-

    This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS).

  • av N. (SRI International Shankar
    666,-

    Describes the use of computer programs to check several proofs in the foundations of mathematics.

  •  
    820,-

    Recent research on the physical technologies of very large scale integration (VLSI).

  •  
    1 040,-

    Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. This book contains a collection of research articles on belief revision that are right up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory.

  • av Patrick Blackburn, Maarten de Rijke & Yde Venema
    1 260,-

    This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.

  • av L. M. G. Feijs & H. B. M. Jonkers
    736,-

    The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.