29
/it/
it
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
April 1, 2024
80235
7364
2

1 gen 1930 anni - Математические абстракции

Descrizione:

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

Aggiunto al nastro di tempo:

28 set 2017
0
0
519
Лента времени
Языки программирования

Data:

1 gen 1930 anni
Adesso
~ 94 years ago
PremiumAbout & FeedbackAccordoPrivatezza
logo
© 2022 Selected Technologies LLC – Morgan Hill, California