Computability and Logic

Name: Computability and Logic
Brand: Cambridge University Press
SKU: 9780521701464
Price: 240.78 RON
Availability: InStock

Autor: George S Boolos

Limbă:

Legare: Carte broșată

Editura: Cambridge University Press

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

240.78 lei

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

Informații despre carte

Autor

George S Boolos

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2007

Pagini

366

EAN

9780521701464

ISBN

0521701465

Enbook ID

04399100

Editura

Cambridge University Press

Greutate

690

Dimensiuni

177 x 254 x 19

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Computability and Logic

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și