Hoppa till sidans huvudinnehåll

Del 2

Logic and Computation

Interactive Proof with Cambridge LCF

Häftad, Engelska, 1990

AvLawrence C. Paulson,Lawrence C. (University of Cambridge) Paulson,C. J. Van Rijsbergen,C. J. van Rijsbergen,Samson Abramsky

869 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


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 denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.

Produktinformation

Hoppa över listan

Mer från samma författare

Isabelle/HOL

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Häftad

759 kr

Isabelle

Lawrence C. Paulson

Häftad

689 kr

Hoppa över listan

Mer från samma serie

Del 23

Nets, Terms and Formulas

E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, C. J. van Rijsbergen

Häftad

859 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 149 kr

Del 40

Free Choice Petri Nets

Jorg Desel, Javier Esparza, Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza, C. J. van Rijsbergen

Häftad

689 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr

Del 3

Understanding Z

J. M. Spivey, J. M. (University of Oxford) Spivey, Spivey J. M.

Häftad

599 kr

Hoppa över listan

Du kanske också är intresserad av

Del 29

Belief Revision

Peter Gärdenfors, Peter Gärdenfors, Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 069 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 149 kr

Del 5

Topology via Logic

Steven Vickers, London) Vickers, Steven (Imperial College of Science, Technology and Medicine, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

799 kr

Del 9

Updating Logical Databases

Marianne Winslett, Urbana-Champaign) Winslett, Marianne (University of Illinois, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

639 kr

Del 10

Theoretical Foundations of VLSI Design

K. McEvoy, J. V. Tucker, K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

819 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr