Lawrence C. Paulson: Logic and Computation | preigu

Cover: 9780521395601 | Logic and Computation | Interactive Proof with Cambridge Lcf | Paulson

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

74,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

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.

Inhaltsverzeichnis

Part I. Preliminaries: 1. Survey and history of LCF; 2. Formal proof in first order logic; 3. A logic of computable functions; 4. Structural induction; Part II. Cambridge LCF: 5. Syntactic operators for PPL; 6. Theory structure; 7. Axioms and interference rules; 8. Tactics and tacticals; 9. Rewriting and simplification; 10. Sample proofs; Bibliography; Index.

Details

Erscheinungsjahr:	2003
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521395601
ISBN-10:	0521395607
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Paulson, Lawrence C.
Redaktion:	Rijsbergen, C. J. van Abramsky, Samson
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	246 x 189 x 17 mm
Von/Mit:	Lawrence C. Paulson
Erscheinungsdatum:	09.06.2003
Gewicht:	0,622 kg

Artikel-ID: 101147528

Inhaltsverzeichnis

Part I. Preliminaries: 1. Survey and history of LCF; 2. Formal proof in first order logic; 3. A logic of computable functions; 4. Structural induction; Part II. Cambridge LCF: 5. Syntactic operators for PPL; 6. Theory structure; 7. Axioms and interference rules; 8. Tactics and tacticals; 9. Rewriting and simplification; 10. Sample proofs; Bibliography; Index.

Details

Erscheinungsjahr:	2003
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521395601
ISBN-10:	0521395607
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Paulson, Lawrence C.
Redaktion:	Rijsbergen, C. J. van Abramsky, Samson
Hersteller:	Cambridge University Press
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	246 x 189 x 17 mm
Von/Mit:	Lawrence C. Paulson
Erscheinungsdatum:	09.06.2003
Gewicht:	0,622 kg

Artikel-ID: 101147528

Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Buch

Cover: 9783503182916 | Digitale Medien in Deutsch als Fremd- und Zweitsprache | Buch | 196 S.

Digitale Medien in Deutsch als Fremd- und Zweitsprache

EAN: 9783503182916

Sprache: Deutsch

Von/Mit: Katrin Biebighäuser (u. a.)

59,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781484251737 | Machine Learning with the Raspberry Pi | Donald J Norris | Taschenbuch

Machine Learning with the Raspberry Pi

Experiments with Data and Computer Vision

EAN: 9781484251737

Sprache: Englisch

Von/Mit: Donald J Norris

48,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9780136627524 | Mos Study Guide for Microsoft Excel Expert Exam Mo-201 | McFedries

Mos Study Guide for Microsoft Excel Expert Exam Mo-201

EAN: 9780136627524

Sprache: Englisch

Von/Mit: Paul McFedries

24,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781260474824 | CDPSE Certified Data Privacy Solutions Engineer All-in-One Exam Guide

CDPSE Certified Data Privacy Solutions Engineer All-in-One Exam Guide

EAN: 9781260474824

Sprache: Englisch

Von/Mit: Peter Gregory

57,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781801071000 | Managing Microsoft Teams MS-700 Exam Guide | Peter Rising (u. a.)

Managing Microsoft Teams MS-700 Exam Guide

Configure and manage Microsoft Teams workloads and achieve Microsoft 365 certification with ease

EAN: 9781801071000

Sprache: Englisch

Von/Mit: Peter Rising (u. a.)

75,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783964692009 | Das Praxisbuch Samsung Galaxy A03 - Anleitung für Einsteiger | Gievers

Das Praxisbuch Samsung Galaxy A03 - Anleitung für Einsteiger

EAN: 9783964692009

Sprache: Deutsch

Von/Mit: Rainer Gievers

21,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783990131145 | Windows 11 für Umsteiger | Steffen Haubner | Taschenbuch | Deutsch

Windows 11 für Umsteiger

So wechseln Sie stressfrei aufs neue System. Tipps für Alltag, Sicherheit und Datenschutz

EAN: 9783990131145

Sprache: Deutsch

Von/Mit: Steffen Haubner

25,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783662673164 | Logische und Methodische Grundlagen der Entwicklung verteilter Systeme

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme

Unter Mitarbeit von Alexander Malkis

EAN: 9783662673164

Sprache: Deutsch

Von/Mit: Manfred Broy

44,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781484298985 | Pro Oracle Database 23c Administration | Michelle Malcher (u. a.)

Pro Oracle Database 23c Administration

Manage and Safeguard Your Organization's Data

EAN: 9781484298985

Sprache: Englisch

Von/Mit: Michelle Malcher (u. a.)

64,19 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9781578200733 | Embedded Systems Design | Arnold S. Berger | Taschenbuch | Englisch

Embedded Systems Design

An Introduction to Processes, Tools, and Techniques

EAN: 9781578200733

Sprache: Englisch

Von/Mit: Arnold S. Berger

80,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783658441487 | Mathematik für die Informatik | Rudolf Berghammer | Taschenbuch | xiv

Mathematik für die Informatik

Grundlegende Begriffe, Strukturen und Anwendungen

EAN: 9783658441487

Sprache: Deutsch

Von/Mit: Rudolf Berghammer

49,99 €*

Lieferzeit 1-2 Werktage