2 janv. 1930 - Математические абстракции
Description:
А. Чёрч, А. Тьюринг, А. Марков разработали математические абстракции (лямбда-исчисление, машину Тьюринга, нормальные алгоритмы соответственно) — для формализации алгоритмов.
Ajouté au bande de temps:
Date: