24.0%OFF
Download App
| >> | LShop | >> | Book | >> | Computing & Informat... | >> | Computer Science | >> | Logic And Computatio... |
24.0%OFF
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
-
ISBN
:
9780521395601
-
Publisher
:
Cambridge University Press
-
Subject
:
Computer Science, Education, Computer Programming / Software Development
-
Binding
:
PAPERBACK
-
Pages
:
320
-
Year
:
1990
₹
9576.0
24.0% OFF
₹
7277.0
7277.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 15-18 Business Days
View Details
-
Description
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 mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough 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.
Related Items
-
of
-
OFFER
JFLAP: An Interactive Formal Languages and Automata Package
Susan H. Rodger
Starts At
5823.0
7190.0
19% OFF
-
OFFER
Service Assurance for Voice over WiFi and 3G Networks
Richard Lau
Starts At
7229.0
8406.0
14% OFF
-
OFFER
Formal Semantics and Pragmatics for Natural Language Querying (Cambridge Tracts in Theoretical Computer Science)
James Clifford
Starts At
3679.0
4841.0
24% OFF
-
OFFER
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science)
J. C. M. Baeten
Starts At
5947.0
6916.0
14% OFF
-
OFFER
Default Reasoning: Causal and Conditional Theories (ACM Doctoral Dissertation Award)
Hector Geffner
Starts At
6749.0
7848.0
14% OFF
-
OFFER
The Semantic Sphere 1: Computation, Cognition and Information Economy
Pierre Levy
Starts At
12617.0
14672.0
14% OFF
-
OFFER
Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge (Artificial Intelligence)
Benjamin Kuipers
Starts At
5502.0
6398.0
14% OFF
-
OFFER
Introduction to Random Signals and Applied Kalman Filtering, 2nd Edition
Robert Grover Brown
Starts At
6459.0
7511.0
14% OFF
-
OFFER
Discrete Event Systems: Sensitivity Analysis and Stochastic Optimization by the Score Function Method (Wiley Series in Probability and Mathematical Statistics)
Reuven Y. Rubinstein
Starts At
13864.0
16122.0
14% OFF
-
OFFER
Nondestructive Evaluation of Materials and Composites II: 31 March-1 April 1998 San Antonio, Texas (Proceedings of Spie, Volume 3396)
Steven R. Doctor
Starts At
6235.0
7251.0
14% OFF
-
OFFER
The Cross-Entropy Method: A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation and Machine Learning
Dirk P. Kroese Reuven Y. Rubinstein
Starts At
16376.0
17059.0
4% OFF
-
OFFER
Handbook of Nature-Inspired and Innovative Computing: Integrating Classical Models with Emerging Technologies
Albert Y. Zomaya
Starts At
16376.0
17059.0
4% OFF
-
OFFER
Cooperative Communications and Networking: Technologies and System Design
Y.-W. Peter Hong
Starts At
16376.0
17059.0
4% OFF
