Hoy en día es bastante fácil encontrar libros de texto escolares sin escrúpulos, en particular, libros de texto de ciencias de la computación. En los capítulos sobre algoritmos, puede encontrar la definición de un algoritmo directamente. No una explicación de qué se trata, no una historia sobre un tema, sino una definición. Además, está resaltado en negrita, cuidadosamente enmarcado y marcado con algún pictograma notable en forma de signo de exclamación. Por lo general, todo esto se sazona con una salsa de un montón de propiedades obligatorias y opcionales, formando como resultado un desorden encantador. Intentemos entender qué es un algoritmo, por qué no podemos darle una definición específica y averiguar qué propiedades son necesarias y cuáles no.
Los compiladores de los libros de texto son fáciles de entender, porque de hecho no existe una definición estricta del algoritmo y, además, no puede haber tal definición. Pero en lugar de tratar de explicar qué es qué, los autores les dan a los estudiantes pobres otra tarea de abarrotar términos inútiles e incorrectos. Para no ser infundado, daré un extracto de un libro de texto muy común:
Las cosas van mejor en las universidades, pero el autor de estas líneas en el curso de lógica matemática y teoría de algoritmos tuvo que afrontar la misma vinagreta desde la definición de un algoritmo y sus propiedades. Averigüemos qué está mal aquí.
Hasta el infinito y más allá
. , — , . . , : , -. ( 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-, .