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