29
/
en
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
April 1, 2024
80235
7364
2

jan 1, 1930 - Математические абстракции

Description:

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

Added to timeline:

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

Date:

jan 1, 1930
Now
~ 94 years ago
PremiumAbout & FeedbackTermsPrivacy
logo
© 2022 Selected Technologies LLC – Morgan Hill, California