Computability and Logic

Name: Computability and Logic
Brand: Cambridge University Press
SKU: 9780521701464
Price: 39.74 EUR
Availability: InStock

Autor: George S Boolos

Jazyk:

Väzba: Brožovaná

Vydavateľ: Cambridge University Press

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

39.74 €

Computability and Logic has become a classic because of its accessibility to students without a math...

Informácie o knihe

Autor

George S Boolos

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2007

Stránok

366

EAN

9780521701464

ISBN

0521701465

Enbook ID

04399100

Vydavateľ

Cambridge University Press

Hmotnosť

690

Rozmery

177 x 254 x 19

Kompletný popis

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. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Computability and Logic

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež