Дискретная математика – область математики, занимающаяся изучением свойств дискретных структур, которые возникают как внутри математики, так и в ее приложениях.
Информационно-графовая модель данных – модель данных, основанная на представлении данных в виде функционально нагруженного графа, который, определяя по запросу вычислительный процесс, выдает нужный ответ.
Компьютерный решатель задач – произвольная компьютерная программа, предназначенная для решения задач определенного типа.
Математическая биология – это теоретическая дисциплина, основывающаяся на математических моделях биологических процессов и явлений.
Математическая экономика – совокупность проблем экономической теории и хозяйственной практики, описываемых, анализируемых и решаемых на основе средств и методов математического моделирования.
Многозначная логика – раздел математической логики, изучающий математические модели логики высказываний.
Поста класс – замкнутый относительно операции суперпозиции класс функций алгебры логики (ф. а. л.).
Автомат – управляющая система, являющаяся автоматом конечным или некоторой его модификацией, полученной путём изменения компонент или функционирования.
Управляющая система – центральное понятие кибернетики, представляющее собой объект, имеющий входные и выходные информационные каналы, схему строения и способность во времени перерабатывать входную информацию во внутреннюю и выходную.
Булева функция, функция алгебры логики, – функция, аргументы которой, равно как и сама функция, принимают значения из двухэлементного множества (обычно 0,1). Б. ф. являются одним из основных объектов дискретной математики, в особенности тех ее разделов, которые входят в математич. логику и математич. кибернетику.
База данных – формализованное представление информации, удобное для хранения и поиска данных в нем.
Автомата поведение – математическое понятие, описывающее взаимодействие автомата с внешней средой.
Автомат вероятностный – обобщение автомата конечного , в котором функции переходов и выходов являются случайными функциями.
Автоматов алгебраическая теория – направление в автоматов теории, характеризующееся использованием алгебраических средств в изучении автоматов.
Автоматов полные системы – специальные подмножества заданного класса M автоматов, на котором определено некоторое множество Ω операций со значениями в M.
Распознавание образов – раздел кибернетики, развивающий теоретические основы и методы классификации и идентификации предметов, явлений, сигналов, ситуаций, и т.п.
Реляционная база данных (РБД) – база данных, логическая представление которой описывается на языке алгебры отношений.
Понятие “алгоритм” является основным для математической кибернетики.
Теория интеллектуальных систем (т.и.с.) – фундаментальный раздел научного знания, занимающийся созданием математической теории и моделированием систем, обладающих интеллектуальным поведением.
Техническая кибернетика (Т.к.) – научное направление исследований в рамках общекибернетического подхода, связанное с изучением управления техническими системами и процессов, протекающих в них.
Автоматов теория – раздел теории управляющих систем, изучающий математич. модели преобразователей дискретной информации, называемые автоматами.
Автоматов эквивалентность – отношение эквивалентности на множестве автоматов, возникающее в связи с изучением тех или иных содержательных свойств автоматов. Обычно таким свойством является автоматов поведение, так что два автомата считаются эквивалентными, если они имеют одинаковое поведение.