Информа́тика — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Андре́й Никола́евич Колмого́ров — советский математик, один из крупнейших математиков XX века. Один из основоположников современной теории вероятностей, им получены фундаментальные результаты в топологии, геометрии, математической логике, классической механике, теории турбулентности, теории сложности алгоритмов, теории информации, теории функций, теории тригонометрических рядов, теории меры, теории приближения функций, теории множеств, теории дифференциальных уравнений, теории динамических систем, функциональном анализе и в ряде других областей математики и её приложений. Автор новаторских работ по философии, истории, методологии и преподаванию математики, известны его работы в статистической физике.
Теория информации — раздел прикладной математики, радиотехники и информатики, относящийся к измерению количества информации, её свойств и устанавливающий предельные соотношения для систем передачи данных. Как и любая математическая теория, теория оперирует математическими моделями, а не реальными физическими объектами. Использует, главным образом, математический аппарат теории вероятностей и математической статистики.
В алгоритмической теории информации колмогоровская сложность объекта есть мера вычислительных ресурсов, необходимых для точного определения этого объекта.
Тео́рия приня́тия реше́ний — область исследования, вовлекающая понятия и методы математики, статистики, экономики, менеджмента и психологии с целью изучения закономерностей выбора людьми путей решения проблем и задач, а также способов достижения желаемого результата.
Петер Наур — датский учёный в области информатики, один из пионеров компьютерной науки. Более всего известен как один из разработчиков первого языка структурного программирования Алгол 60 и, совместно с Бэкусом, как изобретатель формы Бэкуса — Наура.
Грегори Джон Хайтин — аргентино-американский математик и информатик, внёс вклад в метаматематику, совместно с Андреем Колмогоровым считается основателем алгоритмической теории информации. В частности, он известен своей новой теоремой о неполноте, схожей по духу с теоремой Гёделя о неполноте.
В разделе информатики — алгоритмической теории информации, константа Хайтина или вероятность остановки — вещественное число, которое, неформально говоря, является вероятностью того, что произвольно выбранная программа остановится. Существование таких чисел было продемонстрировано Грегори Хайтином.
В теории вычислимости алгоритмически неразрешимой задачей называется задача, имеющая ответ да или нет для каждого объекта из некоторого множества входных данных, для которой (принципиально) не существует алгоритма, который бы, получив любой возможный в качестве входных данных объект, останавливался и давал правильный ответ после конечного числа шагов.
Леони́д Анато́льевич Ле́вин — советский и американский математик, специалист в области теории вычислительной сложности. Профессор информатики в Бостонском университете.
Пер Мартин-Лёф — шведский логик, статистик и философ. Член Шведской королевской академии наук.
Александр Ханиевич Шень — российский и французский математик, учёный в области информатики, педагог, популяризатор науки.
Паул Михаэл Бела Витани — выдающийся нидерландский учёный в области теоретической информатики, теории алгоритмов и вычислительной сложности, профессор университета Амстердама и научный сотрудник Центра математики и информатики. Витани по матери голландец, а по отцу венгр.
Андрей Альбертович Мучник — советский и российский математик, лауреат премии имени А. Н. Колмогорова (2006).
Индукция грамматики — процедура машинного обучения, которая восстанавливает формальную грамматику языка на основе набора наблюдений (примеров) с известной принадлежностью этому языку. В результате процедуры строится модель наблюдаемых объектов в виде набора правил вывода или порождающих правил, конечного автомата или автомата другого вида. В более общем смысле, грамматический вывод — это одно из направлений машинного обучения, в котором пространство примеров состоит из дискретных комбинаторных объектов, таких как строки, деревья, графы.
Теория вычислительного обучения — это подобласть теории искусственного интеллекта, посвящённая разработке и анализу алгоритмов машинного обучения.
Принцип минимальной длины описания — это формализация бритвы Оккама, в которой лучшая гипотеза для данного набора данных это та, которая ведёт к лучшему сжиманию данных. Принцип MDL предложил Йорма Риссанен в 1978 году. Принцип является важной концепцией в теории информации и теории вычислительного обучения.
Сложность — характеристика, отражающая степень трудности для понимания, создания и верификации системы или элемента системы; степень трудности понимания и решения проблемы, задачи. Сложность системы или элемента системы может быть выражена через сложность соответствующих проблем и задач их понимания, создания и верификации.
Николай Константинович Верещагин — российский математик, профессор кафедры математической логики и теории алгоритмов Механико-математического факультета МГУ, доктор физико-математических наук (1996). Автор и соавтор более 100 публикаций в международных рецензируемых научных изданиях и 8 книг.
Владимир Вячеславович Вьюгин — советский и российский математик, доктор физико-математических наук, профессор, заведующий лабораторией теории передачи информации и управления Институт проблем передачи информации имени А. А. Харкевича РАН.