16
/
en
AIzaSyCYaC8UkdPkQKLFUmpasLV5eC3M802CrcA
80175
7357
2

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

Description:

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

Added to timeline:

28 Sep 2017
0
0
101
New timeline
математические абстракции

Date:

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