Proof and Computation
Produktnummer:
1866eae9ca5b82461c83cf756b2b5967cb
Themengebiete: | Abstract data types Deduction Deduktion Konstruktive Methoden Lineare Logik Nebenläufigkeit Prolog Verteilte Systeme computer computer science |
---|---|
Veröffentlichungsdatum: | 13.12.2011 |
EAN: | 9783642793639 |
Sprache: | Englisch |
Seitenzahl: | 470 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Schwichtenberg, Helmut |
Verlag: | Springer Berlin |
Produktinformationen "Proof and Computation"
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

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