Hoje é muito fácil encontrar livros didáticos sem escrúpulos, em particular livros didáticos de ciência da computação. Nos capítulos sobre algoritmos, você pode encontrar a definição de um algoritmo diretamente. Não é uma explicação do que se trata, não é uma história sobre um assunto, mas uma definição. Além disso, é destacado em negrito, cuidadosamente emoldurado e marcado com algum pictograma visível na forma de um ponto de exclamação. Normalmente tudo isso é temperado com um molho de uma série de propriedades obrigatórias e opcionais, formando como resultado uma bagunça encantadora. Vamos tentar entender o que é um algoritmo, por que não podemos dar a ele uma definição específica e descobrir quais propriedades são necessárias e quais não são.
Os compiladores dos livros didáticos são fáceis de entender, porque na verdade não existe uma definição estrita do algoritmo e, além disso, não pode haver tal definição. Mas, em vez de tentar explicar o que é o quê, os autores escapam aos pobres alunos de outra tarefa de amontoar termos inúteis e incorretos. Para não ser infundado, darei um trecho de um livro muito comum:
As coisas são melhores nas universidades, mas o autor dessas linhas no curso de lógica matemática e teoria dos algoritmos teve que enfrentar o mesmo vinagrete a partir da definição de um algoritmo e de suas propriedades. Vamos descobrir o que há de errado aqui.
Ao infinito e além
. , — , . . , : , -. ( 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-, .