Articoli correlati a Logic and Computation: Interactive Proof with Cambridge...

Logic and Computation: Interactive Proof with Cambridge LCF - Brossura

 
9780521395601: Logic and Computation: Interactive Proof with Cambridge LCF

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

"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

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
Ships from the UK. Former library...
Visualizza questo articolo

EUR 5,73 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

EUR 7,63 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9780521346320: Logic and Computation: Interactive Proof with Cambridge LCF

Edizione in evidenza

ISBN 10:  0521346320 ISBN 13:  9780521346320
Casa editrice: Cambridge University Press, 1987
Rilegato

Risultati della ricerca per Logic and Computation: Interactive Proof with Cambridge...

Foto dell'editore

Paulson, L. C.
ISBN 10: 0521395607 ISBN 13: 9780521395601
Antico o usato Brossura

Da: Better World Books Ltd, Dunfermline, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 53412177-20

Contatta il venditore

Compra usato

EUR 46,06
Convertire valuta
Spese di spedizione: EUR 5,73
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Lawrence C. Paulson
ISBN 10: 0521395607 ISBN 13: 9780521395601
Antico o usato Paperback

Da: Lady Lisa's Bookshop, Chester, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: 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. Codice articolo 9744

Contatta il venditore

Compra usato

EUR 67,85
Convertire valuta
Spese di spedizione: EUR 8,02
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Paulson, Lawrence C.
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9780521395601

Contatta il venditore

Compra nuovo

EUR 69,82
Convertire valuta
Spese di spedizione: EUR 7,63
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Paulson, Lawrence C.
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9780521395601_new

Contatta il venditore

Compra nuovo

EUR 68,54
Convertire valuta
Spese di spedizione: EUR 10,30
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Lawrence C. Paulson
Editore: Cambridge Univ Pr, 1990
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Paperback
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 320 pages. 9.75x7.50x0.75 inches. In Stock. This item is printed on demand. Codice articolo __0521395607

Contatta il venditore

Compra nuovo

EUR 67,76
Convertire valuta
Spese di spedizione: EUR 11,45
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Paulson, Lawrence C.
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Brossura
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.InhaltsverzeichnisP. Codice articolo 446934062

Contatta il venditore

Compra nuovo

EUR 72,40
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Paulson, Lawrence C.
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Brossura

Da: Best Price, Torrance, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9780521395601

Contatta il venditore

Compra nuovo

EUR 56,78
Convertire valuta
Spese di spedizione: EUR 25,40
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Lawrence C. Paulson
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Paperback / softback
Print on Demand

Da: THE SAINT BOOKSTORE, Southport, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 610. Codice articolo C9780521395601

Contatta il venditore

Compra nuovo

EUR 71,87
Convertire valuta
Spese di spedizione: EUR 10,73
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Lawrence C. Paulson
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. pp. 320 Index. Codice articolo 26520346

Contatta il venditore

Compra nuovo

EUR 79,51
Convertire valuta
Spese di spedizione: EUR 7,63
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Paulson Lawrence C.
ISBN 10: 0521395607 ISBN 13: 9780521395601
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 7360325

Contatta il venditore

Compra nuovo

EUR 80,35
Convertire valuta
Spese di spedizione: EUR 10,13
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Vedi altre 6 copie di questo libro

Vedi tutti i risultati per questo libro