mayak

ФАКТ ДНЯ: Об Одессе, логике и программировании

03.03.2016

ЦИМЕС

030316Математику в Одесском университете изучал Моисей Шейнфинкель, в 1920 году создавший концепцию комбинаторной логики. Она стала основой для исследований в области информатики и теории программирования.
В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.

 

Поделиться


Оставить комментарий: