‘Теоретическая информатика’

Вики

Лямбда-исчисление

/

Лямбда-исчисление История и происхождение Лямбда-исчисление введено Алонсо Черчем в 1930-х годах.   В 1936 году Черч выделил нетипизированное лямбда-исчисление.   В 1940

Вики

Премия за лекцию Флажоле

/

Приз за лекцию Флайоле История премии Лекционная премия имени Филиппа Флайоле присуждается с 2014 года.   Премия названа в память о

Прокрутить вверх