31 янв 1936 г. - формализация алгоритмов

Описание:

Алан Тьюринг и Алонзо Черч параллельно друг с другом представили формализацию алгоритмов с определением пределов того, что может быть вычислено, и «чисто механическую» модель для вычисления.

Добавлено на ленту времени:

Дата: