18
/
en
AIzaSyCYaC8UkdPkQKLFUmpasLV5eC3M802CrcA
80235
7364
2

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

Description:

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

Added to timeline:

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

Date:

jan 1, 1930
Now
~ 89 years ago
PayPal - The safer, easier way to pay online!logo
About & FeedbackTermsPrivacy