Autori: Uspensky, Vladimir, Semenov, A.L.

idei

Cumpără această carte

  • ISBN 978-94-015-8232-2
  • Filigranat digital, fără DRM
  • Formatul inclus: PDF
  • cărțile electronice pot fi utilizate pe toate dispozitivele de citire
  • Descărcare imediată a cărții electronice după cumpărare
Hardcover 199,99 €
  • ISBN 978-0-7923-2210-8
  • Transport gratuit pentru persoane fizice din întreaga lume
  • Clienții instituționali ar trebui să ia legătura cu managerul de cont
  • Vă rugăm să fiți atenți la aplicarea restricțiilor de transport Covid-19 Vă rugăm să revizuiți înainte de a comanda
  • De obicei gata de expediere în termen de 3 până la 5 zile lucrătoare, dacă este în stoc
Copertă moale 199,99 €
  • ISBN 978-90-481-4256-9
  • Transport gratuit pentru persoane fizice din întreaga lume
  • Clienții instituționali ar trebui să ia legătura cu managerul de cont
  • Vă rugăm să fiți atenți la aplicarea restricțiilor de transport Covid-19 Vă rugăm să revizuiți înainte de a comanda
  • De obicei gata de expediere în termen de 3 până la 5 zile lucrătoare, dacă este în stoc

Astăzi noțiunea de algoritm este cunoscută nu numai matematicienilor. Formează o bază conceptuală pentru prelucrarea informațiilor; existența unui algoritm corespunzător face posibilă prelucrarea automată a informațiilor. Teoria algoritmilor (împreună cu logica matematică) formează baza oretică pentru informatica modernă (vezi [Sem Us 86]; acest articol se numește „Logica matematică în informatică și practica de calcul” și în titlul său logica matematică este înțeleasă într-un sens larg incluzând teoria algoritmilor). Cu toate acestea, nu toată lumea își dă seama că cuvântul „algoritm” include un toponim transformat Khorezm. Algoritmii au fost numiți după un mare științific al estului medieval, este al-Khwarizmi (unde al-Khwarizmi înseamnă „din Khorezm”). A trăit între c. 783 și 850 î.Hr. iar anul 1983 a fost ales pentru a sărbători 1200 de ani. O scurtă biografie a lui al-Khwarizmi compilată în secolul al X-lea începe astfel: "al-Khwarizmi. Numele său este Muhammad ibn Musa, el este din Khoresm" (citat conform [Bul Rozen Ah 83, p.8]).

Cuprins (30 de capitole)

Uspensky, Vladimir (și colab.)

Notatie si terminologie

Uspensky, Vladimir (și colab.)

Noțiuni preliminare ale teoriei algoritmilor: obiecte și agregate constructive; proprietăți locale și acțiuni locale

Uspensky, Vladimir (și colab.)

Noțiunea generală de algoritm ca concept independent (separat)

Uspensky, Vladimir (și colab.)

Modele de calcul reprezentative

Uspensky, Vladimir (și colab.)

Noțiunea generală de calcul ca concept independent (separat)

Uspensky, Vladimir (și colab.)

Modele generatoare reprezentative

Uspensky, Vladimir (și colab.)

Relațiile dintre algoritmi și calcule

Uspensky, Vladimir (și colab.)

Timpul și spațiul ca complexități de calcul și generare

Uspensky, Vladimir (și colab.)

Funcții calculabile și seturi generabile; seturi decizibile; seturi enumerabile

Uspensky, Vladimir (și colab.)

Conceptul unei funcții recursive μ

Uspensky, Vladimir (și colab.)

Posibilitatea unei reprezentări aritmetice și chiar diofantine a oricărui set enumerabil de numere naturale

Uspensky, Vladimir (și colab.)

Construirea unui set generabil indecidabil

Uspensky, Vladimir (și colab.)

Problema de reducibilitate a postării

Uspensky, Vladimir (și colab.)

Conceptul de algoritm relativ sau algoritm oracol

Uspensky, Vladimir (și colab.)

Conceptul unei operații calculabile

Uspensky, Vladimir (și colab.)

Conceptul de program; programe ca obiecte de calcul și generare

Uspensky, Vladimir (și colab.)

Conceptul unei numerotări și teoria numerotațiilor

Uspensky, Vladimir (și colab.)

Primii pași în teoria invariantă, sau independentă de mașini, a complexității calculelor

Uspensky, Vladimir (și colab.)

Teoria complexității și entropiei obiectelor constructive

Uspensky, Vladimir (și colab.)

Modele de calcul convenabile

Uspensky, Vladimir (și colab.)

Investigații ale problemelor de masă

Uspensky, Vladimir (și colab.)

Aplicații la fundamentele matematicii: semantică constructivă

Uspensky, Vladimir (și colab.)

Aplicații la logica matematică: limbaje formalizate de logică și aritmetică

Uspensky, Vladimir (și colab.)

Uspensky, Vladimir (și colab.)

Uspensky, Vladimir (și colab.)

Aplicații la teoria probabilității: definiții ale unei secvențe aleatorii

Uspensky, Vladimir (și colab.)

Aplicații la teoria informației: abordarea algoritmică a conceptului de cantitate de informații

Uspensky, Vladimir (și colab.)

Limitele de complexitate pentru anumite probleme

Uspensky, Vladimir (și colab.)

Influența teoriei algoritmilor asupra practicii algoritmice