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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Computational Logic: 165
Foto dell'editore
Computational Logic (NATO ASI Series F: Computer and Systems Sciences) (Volume 165)
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. Volume 165. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540645894. Codice articolo 4313516
Compra usato
EUR 24,06
Spese di spedizione:
EUR 14,67
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computational Logic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 460. Codice articolo 263061903
Compra nuovo
EUR 45,35
Spese di spedizione:
EUR 3,47
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: New. 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 nuovo
EUR 44,28
Spese di spedizione:
EUR 7,37
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: New. pp. 460. Codice articolo 183061893
Compra nuovo
EUR 44,05
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
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 50,78
Spese di spedizione:
EUR 26,30
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: 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 101,99
Spese di spedizione:
GRATIS
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: 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 ABNR-84001
Compra nuovo
EUR 101,99
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computational Logic (NATO ASI Subseries F:, 165)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020173414
Compra nuovo
EUR 160,75
Spese di spedizione:
EUR 3,47
In 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 161,96
Spese di spedizione:
EUR 2,30
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computational Logic (NATO ASI Subseries F:, 165)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540645894_new
Compra nuovo
EUR 156,63
Spese di spedizione:
EUR 13,58
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili