Комбинаторная логика
|
Непейвода Николай Николаевич
Доктор физико-математических наук, профессор Удмуртского государственного университета. Логик, математик, информатик, философ. Автор более 150 научных работ, в том числе книг "Логика и компьютер", "Прикладная логика", "Основания программирования", "Стили и методы программирования".
|
Мы продолжаем цикл статей, посвящённых функциональному программированию. Комбинаторная логика, о которой идёт речь, представляет собой правила преобразования и соединения загадочных объектов, называемых комбинаторами. Порой кажется, что комбинаторы являются некоторыми мистическими объектами, которые таят в себе ответы на множество вопросов и дают ключ к решению многих задач, но понять заключённую в них мистическую силу дано не каждому. В эту игру любят играть информатики-теоретики и профессиональные математики, они получают через это великое понимание…
Ворожцов Артём
Непейвода Н.Н.
Комментарии читателей
© Журнал "Потенциал", 2005-2012. Все права защищены. Воспроизведение материалов сайта и журнала "Потенциал" в любом виде, полностью или частично, допускается только с письменного разрешения редакции.
Отзывы и пожелания шлите почтой.
Подготовка к ЕГЭ
ЕГЭ по математике
login
|
