Product Details
In 1936, dupa ce au urmat cai separate si independente, Alan Turing si Alonzo Church au propus o teorie pentru ceea ce poate fi calculat si ce nu. Prezentul volum este o introducere in aceasta teorie, cunoscuta sub numele de teoria computatiei . La aproape un secol dupa studiile lui Turing si ale lui Church, dar si dupa contributiile lui Kurt Godel si Stephen C. Kleene, printre altii, unele constructii matematice folosite in teoria mentionata anterior, in conformitate cu cerintele formale ale vremii, pot fi inlocuite cu altele, mult mai simple. Astfel, prezentarea aspectelor-cheie devine mai accesibila, dar nu mai putin generala si nici mai putin riguroasa. Aceasta a fost alegerea autorului cartii de fata, care utilizeaza concepte moderne de programare pentru a explica rezultatele relevante ale teoriei calcululuiUseful links
Carti LiteraCarti fabricate de BookzoneCarti Reduceri de la 50%Carti NegruCarti Negru LiteraYou`ve viewed 48 of 76388 products
Reviews (16 Reviews)
General rating
4.5 (16 Reviews)