Bezmaksas piegāde pasūtījumiem virs 29€

  • check 10+ miljoni grāmatu
  • check Jaunumi katru dienu
  • check Vairāk nekā 1 miljons klientu mums uzticas
  • check Labas cenas un atlaides
  • check Piegāde visā Eiropā

Computability and Logic - Richard C. Jeffrey,George S. Boolos,John P. Burgess

angļu valoda
2012-01-18
183,90 € 262,72 €

-30% ar kodu BOOKS

Piegādātāja noliktavā

Piegāde 17-23 darba dienu laikā

30 dienu atgriešanas politika

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, ... Pilns apraksts

Jums varētu patikt arī

Aprašymas

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.

Vairāk informācijas

Autors Richard C. Jeffrey, George S. Boolos, John P. Burgess
Izdevējs Cambridge University Press
Izlaides gads 2012
Vāka tips Cietais vāks
EAN 9780521877527
Rakstiet savu atsauksmi
Jūs vērtējat: Computability and Logic
Jūsu novērtējums:

Goodreads atsauksmes

183,90 € 262,72 €