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

Semantics and Logics of Computation: Publications of the Newton Institute, cartea 14

Editat de Andrew M. Pitts, P. Dybjer
en Limba Engleză Paperback – 19 aug 2009
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

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 30769 lei  6-8 săpt.
  Cambridge University Press – 19 aug 2009 30769 lei  6-8 săpt.
Hardback (1) 85602 lei  6-8 săpt.
  Cambridge University Press – 29 ian 1997 85602 lei  6-8 săpt.

Din seria Publications of the Newton Institute

  • Solar and Planetary Dynamos
    Preț: 43177 lei
  • 14% Worldwide Asset and Liability Modeling
    Preț: 103450 lei
  • 11% Idempotency
    Preț: 43117 lei
  • 20% Higher Order Operational Techniques in Semantics
    Preț: 61955 lei
  • 11% Numerical Methods in Finance
    Preț: 41449 lei
  • 14% Mathematics of Derivative Securities
    Preț: 151307 lei
  • 14% Representations of Reductive Groups
    Preț: 80526 lei
  • 20% On-Line Learning in Neural Networks
    Preț: 31470 lei
  • Duality and Supersymmetric Theories
    Preț: 43794 lei
  • Lectures on Solar and Planetary Dynamos
    Preț: 41331 lei
  • Geometry of Constrained Dynamical Systems
    Preț: 38811 lei
  • 20% Real-Time Computer Vision
    Preț: 74340 lei
  • 11% Epidemic Models: Their Structure and Relation to Data
    Preț: 49506 lei
  • 11% Models for Infectious Human Diseases: Their Structure and Relation to Data
    Preț: 47178 lei
  • 11% Ecology of Infectious Diseases in Natural Populations
    Preț: 49967 lei
  • 14% Contact and Symplectic Geometry
    Preț: 81034 lei
  • 14% Security Market Imperfections in Worldwide Equity Markets
    Preț: 116479 lei

Preț: 30769 lei

Preț vechi: 38462 lei
-20% Nou

Puncte Express: 462
Preț estimativ în valută:
5444€ • 6400$ • 4768£

Carte tipărită la comandă

Livrare economică 28 ianuarie-11 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780521118460
ISBN-10: 0521118468
Pagini: 376
Dimensiuni: 152 x 229 x 21 mm
Greutate: 0.55 kg
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Publications of the Newton Institute

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.