2 Jan 1930 Jahr - Математические абстракции

Beschreibung:

А. Чёрч, А. Тьюринг, А. Марков разработали математические абстракции (лямбда-исчисление, машину Тьюринга, нормальные алгоритмы соответственно) — для формализации алгоритмов.

Zugefügt zum Band der Zeit:

28 Sep 2017

0

0

353

New timeline

математические абстракции

Datum: