Aujourd'hui, il est assez facile de trouver des manuels scolaires sans scrupules, en particulier des manuels d'informatique. Dans les chapitres sur les algorithmes, vous pouvez trouver directement la définition d'un algorithme. Pas une explication de ce dont il s'agit, pas une histoire sur un sujet, mais une définition. De plus, il est mis en évidence en gras, soigneusement encadré et marqué d'un pictogramme visible sous la forme d'un point d'exclamation. Habituellement, tout cela est assaisonné d'une sauce à partir d'un tas de propriétés requises et facultatives, formant en conséquence un désordre enchanteur. Essayons de comprendre ce qu'est un algorithme, pourquoi nous ne pouvons pas lui donner une définition spécifique, et découvrons quelles propriétés sont requises et lesquelles ne le sont pas.
Les compilateurs des manuels sont faciles à comprendre, car en fait il n'y a pas de définition stricte de l'algorithme, et de plus, il ne peut y avoir une telle définition. Mais au lieu d'essayer d'expliquer ce qui est quoi, les auteurs glissent aux pauvres étudiants une autre tâche de bourrer des termes inutiles et incorrects. Afin de ne pas être infondé, je vais donner un extrait d'un manuel très courant:
Les choses vont mieux dans les universités, mais l'auteur de ces lignes dans le cours sur la logique mathématique et la théorie des algorithmes a dû affronter la même vinaigrette de la définition d'un algorithme et de ses propriétés. Voyons ce qui ne va pas ici.
Vers l'infini et au-delà
. , — , . . , : , -. ( 1 , 2 ..), - ( , - 1, - -1, k 2k, -m 2m + 1). - , ( m/n, m - , n - ). , , , , , , . «» () ℵ0 (-).
, . , m/n. 1/3 2/7 , «" . 21 , , , 1/2 ().
, , ℵ1 (-). . ( ). A*. , , ( ).
?
: , , .. - , , , (, ). , , , 12- . , , , ! , ? ? , . , , , — . , .
. , , , N, N+1. , « »: , .
— . , , . . , , A*. . , . , . , . , . , A* -> A* . , , .
, , , . , , . , , .
, . , , , , — . .
-
, 1900 . , ( ) , . , , , , , .
, , ( « » ). , , , - . , (, , ) , ( , ). «» , . . - , , , -. , , , :
- .
. , . -, , « », -, , . , , , - . , .
. , ( ) . , A*->A*. , , , « ». , . - , . , , , . :
, , , .
: ( , , ) . -, .
, , -, , .
, . , . , . .
. . , , , . .
— . , , . , , .
. , . , — , , .
. , . , . . , .
, , . . , , . , , «Hello world». , .
, . . , . , , , . . «« — , , , . , , , , . , . .
, , - — - . . . « » while , , , - -.
. , (- , , - ..). . . . , ( Haskell ), , , -, « », .
, . , , . , , , , .
1- «: » . . . , , , , « » . .
- ITSOFT — - . UPTIME 100%. GPU- ASIC-, GPU-, , SSL-, .