Produktnummer:
18e82ece4d405b4765a39fd8b7e5a6be7b
| Themengebiete: | Complexity theory Komplexitätstheorie Program specification Program verification Typentheorie Type theory complexity computer logic proof theory |
|---|---|
| Veröffentlichungsdatum: | 29.10.2012 |
| EAN: | 9783642636707 |
| Sprache: | Englisch |
| Seitenzahl: | 448 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Berger, Ulrich Schwichtenberg, Helmut |
| Verlag: | Springer Berlin |
Produktinformationen "Computational Logic"
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).
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen