libcats.org
Главная

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

Обложка книги Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

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.
Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb

Сплавы палладия.

Автор:
Размер книги: 4.48 Mb
Только что пользователи скачали эти книги:

Носатый и Фавн

Автор:
Размер книги: 34 Kb

Княжа доба, Сб. Ст

Автор:
Размер книги: 36.19 Mb

Возвращение домой

Автор:
Категория: Поэзия
Размер книги: 3 Kb

Environmental Engineering: Designing a Sustainable Future (Green Technology)

Автор:
Категория: Техника
Размер книги: 16.75 Mb

A 24 Hour Skywatcher Guide

Автор:
Категория: fiction
Размер книги: 2.33 Mb