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

2 gen 1930 anni - Математические абстракции

Descrizione:

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

Aggiunto al nastro di tempo:

28 set 2017

Data:

2 gen 1930 anni
Adesso
~ 94 years ago