Markedets billigste bøger
Gratis fragt fra 599,- kr
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Derivation and Computation

Derivation and Computation

- Taking the Curry-Howard Correspondence Seriously

af H. (University of Manchester) Simmons

indgår i Cambridge Tracts in Theoretical Computer Science serien

Derivation and Computation af H. (University of Manchester) Simmons
Bag om Derivation and Computation

The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521771733
  • Indbinding:
  • Hardback
  • Sideantal:
  • 412
  • Udgivet:
  • 18. Maj 2000
  • Størrelse:
  • 236x161x25 mm.
  • Vægt:
  • 668 g.
  Gratis fragt
Leveringstid: 2-3 uger
Forventet levering: 2. Juli 2024

Bag om H. (University of Manchester) Simmons

Vis alle bøger af H. (University of Manchester) Simmons

Beskrivelse af Derivation and Computation

The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

Brugerbedømmelser af Derivation and Computation



Andre købte også..
Find lignende bøger
Bogen Derivation and Computation findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.