Математику в Одесском университете изучал Моисей Шейнфинкель, в 1920 году создавший концепцию комбинаторной логики. Она стала основой для исследований в области информатики и теории программирования.
В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
03 марта 2016
ФАКТ ДНЯ: Об Одессе, логике и программировании
Математику в Одесском университете изучал Моисей Шейнфинкель, в 1920 году создавший концепцию комбинаторной логики. Она стала основой для исследований в области информатики и теории программирования.
В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.
Комментарии
