Конструктивные модели в информационных и интеллектуальных системах

Промышленная разработка программных систем, а тем более комплексов, существенным образом опирается на необходимость комбинирования ранее созданных элементов: модулей, подсистем, сервисов, хотя бывает, что требуется построить сопряжение, или, по иной терминологии, интеграцию, нескольких независимых систем в еще более сложное целое. Конструктивный подход проистекает из фундаментальных идей логики и теории вычислений и, упрощенно, предполагает формализованное описание компонентов, их свойств, требований к окружению и выбор (или иногда разработку) подходящих комбинационных схем, обеспечивающих требуемые свойства конечного результата.

Реальные проекты, конечно, обычно достаточно сложные, чтобы их можно было описать всего лишь несколькими выражениями, но получающиеся модели помогают найти нужные концептуальные, архитектурные, алгоритмические решения, подсказывают, какой должен получиться программный код, какими свойствами он должен обладать. 

Предлагаемая образовательная программа позволяет погрузиться в захватывающий мир, в котором программирование неотделимо от математики, абстрактные построения плавно перетекают в работающий программный код, а теория и практика соединяются, так что «все работает, и даже понятно, как и почему».