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