Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

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

englanti
2012-01-18
197,04 € 262,72 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 17-23 arkipäivässä

30 päivän palautusoikeus

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, ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

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.

Lisätietoja

Kirjoittaja Richard C. Jeffrey, George S. Boolos, John P. Burgess
Julkaisija Cambridge University Press
Julkaisuvuosi 2012
Kannen tyyppi Kovakantinen
EAN 9780521877527
Kirjoita oma arvostelusi
Arvostelet: Computability and Logic
Arvostelusi:

Goodreads-arvostelut

197,04 € 262,72 €