bokomslag Computability and logic
Vetenskap & teknik

Computability and logic

Richard C Jeffrey

Pocket

329:- (409:-)

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 149:-

  • 366 sidor
  • 2007

Andra format:

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.
  • Författare: Richard C Jeffrey
  • Format: Pocket
  • ISBN: 9780521701464
  • Språk: Engelska
  • Antal sidor: 366
  • Utgivningsdatum: 2007-09-17
  • Förlag: Cambridge University Press