Cantitate/Preț
Produs
Total produse
Vezi coșul
Semantics and Logics of Computation de A. Pitts

Semantics and Logics of Computation

Editat de A. Pitts, P. Dybjer, Andrew M. Pitts
en Limba Engleză Hardback – 24 apr 2007
The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.
Citește tot Restrânge

Preț: 87647 lei

Preț vechi: 109558 lei
-20%

Puncte Express: 1315

Carte tipărită la comandă

Livrare economică 24 august-07 septembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780521580571
ISBN-10: 0521580579
Pagini: 376
Dimensiuni: 157 x 235 x 27 mm
Greutate: 0.76 kg
Editura: Cambridge University Press
Locul publicării:Cambridge, United Kingdom

Cuprins

List of contributors; Preface; 1. Semantics of interaction: an introduction to game semantics Samson Abramsky; 2. Computational content of classical logic Thierry Coquand; 3. Syntax and semantics of dependent types Martin Hofmann; 4. Game semantics Martin Hyland; 5. Metalanguages and applications Eugenio Moggi; 6. Operationally-based theories of program equivalence Andrew Pitts; 7. Categories in concurrency Glynn Winskel and Mogens Nielsen; Index.

Recenzii

Review of the hardback: '… the book gives an attractive thematic overview of recent advances in the semantics and logics of computation. Students and researchers alike will find the book valuable as a reference and a pleasure to read.' The Computer Journal

Descriere

Summer school lecture courses on modern logic and computation are presented here.