Proofs and Algorithms (e-bok)
Fler böcker inom
Format
E-bok
Filformat
PDF med Adobe-kryptering
Om Adobe-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 3 gånger.
Språk
Engelska
Utgivningsdatum
2011-01-11
Förlag
Springer London
ISBN
9780857291219

Du kanske gillar

Proofs and Algorithms (e-bok)

Proofs and Algorithms E-bok

An Introduction to Logic and Computability

av Gilles Dowek
E-bok (PDF - DRM), Engelska, 2011-01-11
415
Ladda ned
Spara som favorit
Ladda ned och läs i en e-boksläsare. Tips på appar
Finns även som
Visa alla 1 format & utgåvor
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Godel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Gilles Dowek

Visa alla böcker av Gilles Dowek »