03 марта 2016

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

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


Комментарии