Новинки C. J. van Rijsbergen
-
Nonmonotonic Reasoning : From Theoretical Foundation to Efficient Computation (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 0521383943 Язык: Русский In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in -
Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 0521602742 Язык: Русский 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 -
Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 0521602807 Язык: Русский Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, -
Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 0521585333 Язык: Русский The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Godel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems -
Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 052154565X Язык: Русский This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major -
Logic and Computation : Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 0521395607 Язык: Русский Logic and Computation 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 methods of -
Derivation and Computation : Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 0521771730 Язык: Русский The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory. -
Topology via Logic (Cambridge Tracts in Theoretical Computer Science) C. J. van Rijsbergen
ISBN: 0521576512 Язык: Русский 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 -
The Geometry of Information Retrieval C. J. van Rijsbergen
ISBN: 0521838053 Язык: Русский Keith Van Rijsbergen demonstrates how different models of information retrieval (IR) can be combined in the same framework used to formulate the general principles of quantum mechanics. All the standard results can be applied to address problems in
