Heutzutage ist es ziemlich leicht, auf skrupellose Schulbücher zu stoßen, insbesondere auf Lehrbücher der Informatik. In den Kapiteln zu Algorithmen finden Sie die Definition eines Algorithmus direkt. Keine Erklärung dessen, worum es geht, keine Geschichte über ein Thema, sondern eine Definition. Darüber hinaus ist es fett hervorgehoben, sorgfältig gerahmt und mit einem auffälligen Piktogramm in Form eines Ausrufezeichens gekennzeichnet. Normalerweise wird all dies mit einer Sauce aus einer Reihe erforderlicher und optionaler Eigenschaften gewürzt, was zu einem bezaubernden Durcheinander führt. Versuchen wir zu verstehen, was ein Algorithmus ist, warum wir ihm keine spezifische Definition geben können, und herauszufinden, welche Eigenschaften erforderlich sind und welche nicht.
Die Compiler der Lehrbücher sind leicht zu verstehen, da es tatsächlich keine strenge Definition des Algorithmus gibt und es darüber hinaus keine solche Definition geben kann. Aber anstatt zu erklären, was was ist, geben die Autoren den armen Schülern eine weitere Aufgabe, nutzlose und falsche Begriffe zu stopfen. Um nicht unbegründet zu sein, werde ich einen Auszug aus einem sehr verbreiteten Lehrbuch geben:
An den Universitäten sieht es besser aus, aber der Autor dieser Zeilen im Kurs über mathematische Logik und Theorie der Algorithmen musste sich bei der Definition eines Algorithmus und seiner Eigenschaften derselben Vinaigrette stellen. Lassen Sie uns herausfinden, was hier falsch ist.
Zur Unendlichkeit und darüber hinaus
. , — , . . , : , -. ( 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-, .