Rýchle dodanie
Po celej SR
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This model led to both the development of actual computers and to computability theory, the study of what machines can and cannot compute. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic. The author presents the subject as an art to be practiced, and an art in the aesthetic sense of inherent beauty which all mathematicians recognize in their subject. Part I gives a thorough development of the foundations of computability, from the definition of Turing machines up to finite injury priority arguments. Key topics include relative computability, and computably enumerable sets, those which can be effectively
V našej podkategórii Knihy nájdete široký výber literatúry určenej pre všetkých nadšencov čítania. Ponúkame diela svetových autorov, bestsellery, ale aj menšie knižky, ktoré Vás oslovia svojou jedinečnou tematikou. Okrem bežne známej beletrie sa samozrejme venujeme aj odbornej literatúre, kde môžete nájsť návody a tipy na zlepšenie svojej práce, ale aj knihy so spoločenským či histórickým zameraním. Naši zákazníci oceňujú nielen širokú ponuku, ale aj rýchle dodanie a vždy kvalitné knihy. Vyberte si aj Vy z našej kategórie Knihy a rozšírte si obzory.
Po celej SR
100% zabezpečenie platby
Jednoduchá reklamácia tovaru
Podpora na telefóne a emaile