Articoli correlati a Computational Logic: 165
Sinossi
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Game Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study.- Propositional Proof Complexity – An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Computational Logic: 165
Immagini fornite dal venditore
Computational Logic (Nato ASI Subseries F: (165)).
Da: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. orig. ed. 457 p. In very good condition. ISBN: 9783540645894 Sprache: Englisch Gewicht in Gramm: 788 15,6 x 2,5 x 23,4 cm, hardcover. Codice articolo 59679
Compra usato
EUR 46,35
Spedizione EUR 37,88
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Computational Logic - Proceedings Of The Nato Advanced Study Institute On Computational Logic, Held In Marktoberdorf, Germany, July 29-august 10, 1997
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABBB-154441
Compra nuovo
EUR 104,94
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computational Logic - Proceedings Of The Nato Advanced Study Institute On Computational Logic, Held In Marktoberdorf, Germany, July 29-august 10, 1997
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-242019
Compra nuovo
EUR 104,94
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computational Logic
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 460. Codice articolo 263061903
Compra usato
EUR 145,86
Spedizione EUR 3,55
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computational Logic
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 460 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 5834576
Compra usato
EUR 150,41
Spedizione EUR 7,66
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computational Logic
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 460. Codice articolo 183061893
Compra usato
EUR 149,77
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Computational Logic
Editore:
Springer Berlin Heidelberg Apr 1999, 1999
ISBN 10: 3540645896
ISBN 13: 9783540645894
Nuovo
Buch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski). 460 pp. Englisch. Codice articolo 9783540645894
Compra nuovo
EUR 160,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Computational Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997|World-class research on the interplay of mathematical logic and computer scienceHigh-level introduction to proof-theoretic. Codice articolo 4896824
Compra nuovo
EUR 136,16
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computational Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 917805-n
Compra nuovo
EUR 170,51
Spedizione EUR 17,68
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Computational Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 917805-n
Compra nuovo
EUR 190,90
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili