Computability and Logic

Name: Computability and Logic
Brand: Cambridge University Press
SKU: 9780521877527
Price: 634.07 RON
Availability: InStock

Autor: George S. BoolosJohn P. BurgessRichard C. Jeffrey

Limbă:

Legare: Copertă tare

Editura: Cambridge University Press

Disponibilitate: În depozitul extern

Expediem în 10-18 zile

634.07 lei

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

Informații despre carte

Autor

George S. BoolosJohn P. BurgessRichard C. Jeffrey

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2007

Pagini

366

EAN

9780521877527

ISBN

0521877520

Enbook ID

02048628

Editura

Cambridge University Press

Greutate

798

Dimensiuni

184 x 253 x 25

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