Непейвода Николай Николаевич
Доктор физико-математических наук, профессор Удмуртского государственного университета.
Выпускник мехмата МГУ.
Комбинаторная логика
Мы продолжаем цикл статей, посвящённых функциональному программированию. Комбинаторная логика, о которой идёт речь, представляет собой правила преобразования и соединения загадочных объектов, называемых комбинаторами. Порой кажется, что комбинаторы являются некоторыми мистическими объектами, которые таят в себе ответы на множество вопросов и дают ключ к решению многих задач, но понять заключённую в них мистическую силу дано не каждому. В эту игру любят играть информатики*теоретики и профессиональные математики, они получают через это великое понимание... Так оно и есть.