Logic and Computation

Interactive Proof with Cambridge Lcf

By: No Information Available

Write A Review

Paperback | 24 September 1990

At a Glance

Paperback
320 Pages

Dimensions(cm)
24.61 x 18.9 x 1.7

Paperback

RRP $103.95

$91.99

12%OFF

or 4 interest-free payments of $23.00 with

or

Ships in 5 to 7 business days

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.

Industry Reviews

"This book is well-written: it is a good text for any reader who wants to become familiar with Cambridge LCF, or, in general, with machine assisted (formal) proof construction." Mathematical Reviews

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Theory of Computation

Swim Training Patterns : 1st Edition - Plan your Training Sessions with the Power of Mathematics - Christoph Bartneck

$81.75

38%
OFF

Discrete Mathematics for Computing

Grassroots

Paperback

RRP $130.00

$117.75

AI Engineering : Building Applications with Foundation Models - Chip Huyen

$73.75

51%
OFF

Mathematics for Artificial Intelligence

Textbooks in Mathematics

Paperback

RRP $90.99

$82.75

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Hardcover

RRP $242.00

$233.75

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

$123.99

Machine Learning Interviews

Kickstart Your Machine Learning Career

Paperback

RRP $152.00

$73.75

51%
OFF

Crypto Engine Design

Cyber Shorts

Hardcover

RRP $252.00

$219.75

13%
OFF

Crypto Engine Design

Cyber Shorts

Paperback

RRP $105.00

$92.75

12%
OFF

Formal Methods, Informally : How to Write Programs That Work - Carroll Morgan

$73.75

51%
OFF

Quantum Computing Cloth : Foundations and Practice - Steven Herbert

$73.75

51%
OFF

Preliminaries
Survey and history of LCF
Formal proof in first order logic
A logic of computable functions
Structural induction
Cambridge LCF
Syntactic operators for PPL
Theory structure
Axioms and interference rules
Tactics and tacticals
Rewriting and simplification
Sample proofs
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

Logic and Computation

Interactive Proof with Cambridge Lcf

At a Glance

Paperback

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

AI Engineering

Building Applications with Foundation Models

Effective Machine Learning Teams

Best Practices for ML Practitioners

Mathematics for Artificial Intelligence

Textbooks in Mathematics

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Introduction to Modern Cryptography

Revised Third Edition

Exploring Complex Networks with Quantum Walks

Machine Learning Interviews

Kickstart Your Machine Learning Career

Crypto Engine Design

Cyber Shorts

Crypto Engine Design

Cyber Shorts

Formal Methods, Informally

How to Write Programs That Work

Formal Methods, Informally

How to Write Programs That Work

AI Value Creators

Beyond the Generative AI User Mindset

Quantum Computing Cloth

Foundations and Practice

BIM Geometry with Julia Plasm—Functional Language for CAD Programming

Volume 1: Mathematics and Software Engineering

Computer Vision

Cognitive Models for Visual Commonsense

Rigorous Software Development

An Introduction to Program Verification

First Course in Algorithms Through Puzzles

The Business of Quantum Technologies

From Theory to Innovation Strategy

Hands-On Generative AI with Transformers and Diffusion Models

A Mathematical Introduction to Data Science with Python

Exploring Computational Geometry

Theory and Python Implementations

This product is categorised by