30
/fr/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
April 1, 2024
80175
7357
2

2 janv. 1930 - Математические абстракции

Description:

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

Ajouté au bande de temps:

28 sept. 2017

Date:

2 janv. 1930
Maintenaint
~ Il y a 94 ans