C. J. van Rijsbergen – författare
Visar alla böcker från författaren C. J. van Rijsbergen. Handla med fri frakt och snabb leverans.
24 produkter
Programs, Recursion and Unbounded Choice
Av Wim H. Hesselink, C. J. van Rijsbergen
Häftad, 2005
804 kr
Lägg i varukorg
This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of …
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
Av E. -R. Olderog, C. J. Van Rijsbergen m. fl.
Häftad, 2005
804 kr
Lägg i varukorg
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent …
Two-Level Functional Languages
Av Flemming Nielson, Hanne Riis Nielson m. fl.
Häftad, 2005
885 kr
Lägg i varukorg
The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently the ability to specify code and verify program correctness can be improved. …
Extensions of First-Order Logic
Av Maria Manzano, C. J. Van Rijsbergen m. fl.
Häftad, 2005
1188 kr
Lägg i varukorg
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 …
Free Choice Petri Nets
Av Jorg Desel, Javier Esparza m. fl.
Häftad, 2005
716 kr
Lägg i varukorg
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 undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free …
The Logic of Typed Feature Structures
With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Av Robert L. Carpenter, C. J. Van Rijsbergen m. fl.
Häftad, 2005
804 kr
Lägg i varukorg
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 …
Deductive and Declarative Programming
Av Peter Padawitz, C. J. van Rijsbergen
Häftad, 2006
804 kr
Lägg i varukorg
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, …
The Uncertain Reasoner's Companion
A Mathematical Perspective
Av J. B. Paris, C. J. Van Rijsbergen m. fl.
Häftad, 2006
838 kr
Lägg i varukorg
Reasoning under uncertainty, that is, making judgements with only partial knowledge, is a major theme in artificial intelligence. Professor Paris provides here an introduction to the mathematical foundations of the subject. It is suited for readers with some knowledge of undergraduate mathematics …
Logic and Computation
Interactive Proof with Cambridge LCF
Av Lawrence C. Paulson, C. J. Van Rijsbergen m. fl.
Häftad, 1990
911 kr
Lägg i varukorg
This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the …
Formal Methods in Artificial Intelligence
Av Allan M. Ramsay, C. J. Van Rijsbergen m. fl.
Häftad, 1991
737 kr
Lägg i varukorg
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection …
Basic Simple Type Theory
Av J. Roger Hindley, C. J. van Rijsbergen
Inbunden, 1997
1742 kr
Lägg i varukorg
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 particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved …
Topology via Logic
Av Steven Vickers, C. J. Van Rijsbergen m. fl.
Häftad, 1996
860 kr
Lägg i varukorg
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by …
Information Flow
The Logic of Distributed Systems
Av Jon Barwise, Jerry Seligman m. fl.
Inbunden, 1997
1163 kr
Lägg i varukorg
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 …
Metamathematics, Machines and Gödel's Proof
Av N. Shankar, C. J. van Rijsbergen
Häftad, 1997
764 kr
Lägg i varukorg
Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Gödel's proof of his incompleteness theorem showed that no computer program could automatically prove true all the theorems of mathematics. In practice, however, …
Computational Learning Theory
Av M. H. G. Anthony, N. Biggs m. fl.
Häftad, 1997
787 kr
Lägg i varukorg
Computational learning theory is a subject which has been advancing rapidly in the last few years. The authors concentrate on the probably approximately correct model of learning, and gradually develop the ideas of efficiency considerations. Finally, applications of the theory to artificial neural …
Formal Semantics and Pragmatics for Natural Language Querying
Av James Clifford, C. J. van Rijsbergen
Häftad, 2004
804 kr
Lägg i varukorg
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the …
Algorithmic Information Theory
Av Gregory. J. Chaitin, C. J. Van Rijsbergen m. fl.
Häftad, 2004
905 kr
Lägg i varukorg
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of …
Predicate Transformer Semantics
Av Ernest. G. Manes, C. J. van Rijsbergen
Häftad, 2004
951 kr
Lägg i varukorg
A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean …
Action Semantics
Av Peter D. Mosses, C. J. van Rijsbergen
Häftad, 2005
972 kr
Lägg i varukorg
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its …
Updating Logical Databases
Av Marianne Winslett, C. J. Van Rijsbergen m. fl.
Häftad, 2005
670 kr
Lägg i varukorg
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? The author has …
The Optimal Implementation of Functional Programming Languages
Av Andrea Asperti, Stefano Guerrini m. fl.
Inbunden, 1998
1394 kr
Lägg i varukorg
All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction …
The Geometry of Information Retrieval
Inbunden, 2004
1358 kr
Lägg i varukorg
Information retrieval, IR, the science of extracting information from any potential source, can be viewed in a number of ways: logical, probabilistic and vector space models are some of the most important. In this book, the author, one of the leading researchers in the area, shows how these views …
Adaptive Multimedia Retrieval: User, Context, and Feedback
Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers
Av Marcin Detyniecki, Joemon M. Jose m. fl.
Häftad, 2006
569 kr
Lägg i varukorg
This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 28-29, 2005, at the U- versity of Glasgow, UK, as part of an information retrieval research …
Adaptive Multimedia Retrieval: User, Context, and Feedback
Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers
Av C. J. van Rijsbergen, Andreas Nurnberger m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
This book is an extended collection of revised contributions that were initially submitted to the International Workshop on Adaptive Multimedia Retrieval (AMR 2005). This workshop was organized during July 28-29, 2005, at the U- versity of Glasgow, UK, as part of an information retrieval research …
