Минутка истории.

Становление программирования в СССР
Начальной точкой возникновения отечественного программирования следует считать 1950 год, когда появился макет первой советской ЭВМ МЭСМ (и первой ЭВМ в континентальной Европе).
Андрей Петрович Ершов был одним из пионеров отечественного программирования и стал его лидером—ученым, влияние которого на становление и развитие отечественного программирования было значительным и определяющим. Первой областью программирования были языки и системы программирования. Ершов был одним из основных разработчиков программирующей программы для БЭСМ —одного из первых отечественных трансляторов. Его идеи стали составляющими фундамента концепций языков и методов трансляции. Им были предложены такая языковая конструкция, как цикл, и такой метод, как функция расстановки (хэш-функция). Им была написана первая в мировой практике монография по трансляции, ставшая широко известной — русское издание 1958 год, английское издание 1959 г., китайское 1960 г. Ершов также был автором первого оптимизирующего транслятора с языков типа Алгол Альфа, первого кросстранслятора АЛГИБР, транслятора Альфа-6 для ЭВМ БЭСМ-6, многоязыковой транслирующей системы Бета.
Михаил Романович Шура-Бура руководил созданием базового программного обеспечения М-20, и был автор знаменитой в своё время системы ИС-2. Работы отдела М. Р. Шура-Бура по языкам и системам программирования были начаты еще в 1950-х годах. Здесь использовалось операторное программирование на основе теории схем программ А. А. Ляпунова. В 1963 году под руководством М. Р. Шура-Бура был создан первый транслятор с языка АЛГОЛ−60 для М-20 и транслятор ТА-2 с полной версии языка АЛГОЛ−60. За ним последовали системы программирования для БЭСМ 6 и других ЭВМ. В 1980-х годах М. Р. Шура-Бура успешно решил проблему создания системного и прикладного программного обеспечения для космического челнока «Буран».
Борис Борисович Тимофеев разрабатывал автоматическое обеспечение для систем управления производствами и технологическими процессами, информационные и технические средства. Его работы посвящены разработке новых средств вычислительной техники, в частности, специальных процессоров и накопителей на магнитно-стрикционных линиях задержки, разработке математических, информационных и технических средств автоматизированных систем управления промышленного назначения, радиотехники и кибернетики.
Дмитрий Александрович Поспелов (60-е годы XX-го века) проводил исследования в области проблем теории и приложений многозначных логик, включая развитие полиномиальных представлений в многозначных логиках, разработку вероятностной логики. Затем, им (совместно с И. В. Ежковой) были рассмотрены нечеткие шкалы, построены теория нечетких квантификаторов и нечеткая частотная логика, позволяющая создавать модели рассуждений с нечеткой информацией, обоснован ряд интересных соображений о взаимосвязи нечетких оценок типа «размер — расстояние». Он внес большой вклад в логический подход к развитию интеллектуальных систем, разработав псевдофизические логики — специальные логики для описания восприятия человеком процессов, протекающих в реальном мире.
Главное и общепризнанное достижение Д. А. Поспелова состоит в создании в конце 60-годов XX-го века комплекса новых методов построения систем управления, в основе которых лежат семиотические модели представления объектов управления и описания процедур управления. Им был создан аппарат ярусно-параллельных форм, позволивший ставить и решать многие проблемы, связанные с организацией параллельных вычислений в вычислительных комплексах и сетях. На его основе в 70-е годы были решены такие проблемы как синхронное и асинхронное распределение программ по машинам компьютерной системы, оптимальная сегментация программ, оптимизация информационных обменов.
Финн Виктор Константинович — специалист в области логики, интеллектуальных систем и приложений логических методов в интеллектуальных системах для наук о жизни (медицина, фармакология, биохимия) и наук о поведении (социология, социальная психология). Он предложил способ формализации многозначных логик, который использует два типа пропозициональных переменных (для булевских и небулевских значений). Финн разработал концепцию представления интеллектуальной деятельности посредством квазиаксиоматических (открытых) теорий, а также сформулировал новый класс многозначных логик, являющихся формализациями процедур аргументации. Основной идеей ДСМ-метода является синтез трех познавательных процедур — индукции, аналогии, абдукции, реализуемый посредством ДСМ-рассуждений в интеллектуальных системах.