De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Lambda-Calculus and Combinators

Lambda-Calculus and Combinators

- An Introduction

af J. Roger (University of Wales Hindley
Lambda-Calculus and Combinators af J. Roger (University of Wales Hindley
Bag om Lambda-Calculus and Combinators

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521898850
  • Indbinding:
  • Hardback
  • Sideantal:
  • 358
  • Udgivet:
  • 24. juli 2008
  • Udgave:
  • 2
  • Størrelse:
  • 159x237x24 mm.
  • Vægt:
  • 676 g.
  • 8-11 hverdage.
  • 28. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om J. Roger (University of Wales Hindley

Vis alle bøger af J. Roger (University of Wales Hindley

Beskrivelse af Lambda-Calculus and Combinators

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Brugerbedømmelser af Lambda-Calculus and Combinators



Andre købte også..
Find lignende bøger
Bogen Lambda-Calculus and Combinators findes i følgende kategorier: