Verwandte Artikel zu Logic and Computation Paperback: Interactive Proof...
Logic and Computation Paperback: Interactive Proof with Cambridge Lcf: 2 (Cambridge Tracts in Theoretical Computer Science, Series Number 2) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 57,05
EUR 7,65 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Logic and Computation Paperback: Interactive Proof...
Beispielbild für diese ISBN
Logic and Computation : Interactive Proof with Cambridge LCF
Verlag:
Cambridge University Press, 1990
ISBN 10: 0521395607
ISBN 13: 9780521395601
Gebraucht
Softcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. New Ed. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Bestandsnummer des Verkäufers 53412177-20
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9780521395601
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190001544
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521395601
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic and Computation: Interactive Proof with Cambridge Lcf (Paperback)
Verlag:
Cambridge University Press, Cambridge, 1990
ISBN 10: 0521395607
ISBN 13: 9780521395601
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780521395601
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic and Computation: Interactive Proof with Cambridge LCF
Verlag:
Cambridge University Press, 1990
ISBN 10: 0521395607
ISBN 13: 9780521395601
Gebraucht
Paperback
Anbieter: Lady Lisa's Bookshop, Chester, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Used: Acceptable. Paperback - 1990 - good condition - - used books, secondhand books, out of print books, hard to find books, for sale, second-hand books, college books, student books, nonfiction, first edition, exlibrary books sold, signed copies, non-fiction books delivered world wide. 0-521-39560-7. Isbn 0-521395607. 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. Bestandsnummer des Verkäufers 9744
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521395601_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic and Computation
Verlag:
Cambridge University Press CUP, 1990
ISBN 10: 0521395607
ISBN 13: 9780521395601
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 320 Index. Bestandsnummer des Verkäufers 26520346
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logic and Computation: Interactive Proof with Cambridge LCF
Verlag:
Cambridge University Press, 1990
ISBN 10: 0521395607
ISBN 13: 9780521395601
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 610. Bestandsnummer des Verkäufers C9780521395601
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic and Computation
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand pp. 320 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 7360325
Anzahl: 4 verfügbar