Компью́тер — функциональное устройство, способное выполнять значительный объём вычислений, включая многочисленные арифметические и логические операции, без вмешательства человека. Компьютер может быть как отдельным блоком, так и состоять из нескольких взаимосвязанных устройств. Является синонимом терминов «электронная вычислительная машина», «вычислительная система».
Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Коне́чный автома́т (КА) в теории алгоритмов — математическая абстракция, модель дискретного устройства, имеющего один вход, один выход и в каждый момент времени находящегося в одном состоянии из множества возможных. Является частным случаем абстрактного дискретного автомата, число возможных внутренних состояний которого конечно.
Автома́тное программи́рование — это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого-либо формального автомата.
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году.
Ричард Эрнест Бе́ллман — американский математик, один из ведущих специалистов в области математики и вычислительной техники.
Систе́ма управле́ния — систематизированный набор средств для управления подконтрольным объектом : возможность сбора показаний о его состоянии, а также средств воздействия на его поведение, предназначенный для достижения заданных целей. Объектом системы управления могут быть как технические объекты, так и люди. Объект системы управления может состоять из других объектов, которые могут иметь постоянную структуру взаимосвязей.
Анатолий Абрамович Шалыто — профессор, доктор технических наук. Специалист в области автоматного программирования и проектирования алгоритмов логического управления технологическими процессами. С 2004 года заведующий кафедрой Технологии программирования факультета Информационных технологий и программирования (ФИТиП) Университета ИТМО. Преподает на кафедре «Компьютерные технологии». В 2008 году награждён премией Правительства РФ в области образования. В 2018 году в числе первых по стране награждён государственной наградой — знаком отличия «За наставничество».
Ана́логовый компьютер или ана́логовая вычисли́тельная маши́на (АВМ) — вычислительная машина, которая представляет числовые данные при помощи аналоговых физических параметров, в чём и состоит его главное отличие от цифровой ЭВМ. Другим принципиальным отличием является отсутствие у АВМ хранимой программы, под управлением которой с помощью одной и той же вычислительной машины можно решать разнообразные задачи. Решаемая задача жёстко определяется внутренним устройством АВМ и выполненными настройками. Даже для универсальных АВМ для решения новой задачи требовалась перестройка внутренней структуры устройства.
Тео́рия автомати́ческого управле́ния (ТАУ) — научная дисциплина, которая изучает процессы автоматического управления объектами разной физической природы. При этом при помощи математических средств выявляются свойства систем автоматического управления и разрабатываются рекомендации по их проектированию.
Гибридный компьютер, гибридная вычислительная машина, аналого-цифровая система — вид гибридной вычислительной системы (ГВС), сочетающий в себе свойства аналоговых и цифровых вычислительных устройств.
Виктор Ильич Варшавский — советский инженер, ученый, кибернетик. Доктор технических наук (1970), профессор. Сыграл роль в становлении кибернетики и искусственного интеллекта в СССР.
Аркадий Дмитриевич Закревский — советский и белорусский кибернетик, специалист в области дискретной математики, алгоритмического и логического проектирования. Свой жизненный путь окончил в качестве главного научного сотрудника Объединённого института проблем информатики. Был членом-корреспондентом НАН Беларуси, академиком Международной академии информации, информационных процессов и технологий, доктором технических наук, профессором. Аркадий Дмитриевич, стоявший у истоков рождения кибернетики в Советском Союзе, являлся основателем одной из самых известных школ логического проектирования в Советском Союзе и в мире.
Оптимальное управление — задача проектирования системы, обеспечивающей для заданного объекта управления или процесса закон управления или управляющую последовательность воздействий, обеспечивающих максимум или минимум заданной совокупности критериев качества системы.
Граф-схема алгоритма (ГСА) — конечный связный ориентированный граф 
, вершины которого 
соответствуют операторам, а дуги 
задают порядок следования вершин (операторов) алгоритма, где 
— число вершин графа, 
— число дуг. В более широком смысле вершинам графа соответствуют не только операторные вершины, но и условные, начальная и конечная вершины и т. д. При рассмотрении параллельных алгоритмов вводится понятие параллельной граф-схемы алгоритма (ПарГСА), в состав которой входят вершины распараллеливания/синхронизации, функциональность которых обычно совмещается. Иногда в состав ГСА вводятся вершины дополнительных типов: объединения альтернативных дуг, фиктивные операторные вершины, вершины маркировки, ждущие вершины.
Институт кибернетики имени В. М. Глушкова НАН Украины — украинский научно-исследовательский институт, занимающийся решениями фундаментальных и прикладных проблем информатики и вычислительной техники, внедрения их методов и средств в различные сферы человеческой деятельности.
Владимир Георгиевич Миронов (1939—2007) — доктор наук, профессор, декан факультета автоматики и вычислительной техники Московского энергетического института.
Михаил Александрович Гаврилов — советский учёный, стоявший у истоков отечественных информатики и кибернетики; доктор технических наук (1946), профессор (1948), член-корреспондент Академии наук СССР (1964).
Па́вел Па́влович Пархо́менко — советский и российский учёный, специалист в области технической диагностики и теории дискретных устройств, доктор технических наук, профессор, член-корреспондент АН СССР (1984), основатель и заведующий (1964—1993) лаборатории технической диагностики и отказоустойчивости Института проблем управления РАН, главный научный сотрудник ИПУ РАН. Автор более 100 научных работ, изобретений, патентов, внедрений в области технической диагностики и методов анализа и синтеза дискретных устройств.
Вячеслав Афанасьевич Горбатов (19 апреля 1939 — 28 июня 2010 — советский и российский учёный-математик, специалист в области дискретных систем. Доктор технических наук, профессор кафедры САПР МГГУ. Автор теории характеризационного синтеза дискретных систем, заслуженный деятель науки Российской Федерации. Академик РАЕН.