Computability and Logic

Name: Computability and Logic
Brand: Cambridge University Press
SKU: 9780521701464
Price: 961 CZK
Availability: InStock

Autor: George S Boolos

Jazyk:

Vazba: Brožovaná

Vydavatel: Cambridge University Press

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

961 Kč

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

Informace o knize

Autor

George S Boolos

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2007

Stránek

366

EAN

9780521701464

ISBN

0521701465

Enbook ID

04399100

Vydavatel

Cambridge University Press

Hmotnost

690

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Computability and Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také