13
/
en
AIzaSyCYaC8UkdPkQKLFUmpasLV5eC3M802CrcA
80235
7364
2

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

Description:

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

Added to timeline:

10 months ago
0
0
214
Лента времени
Языки программирования

Date:

jan 1, 1930
Now
~ 88 years ago
FeedbackAboutTermsPrivacy