Тополо́гия — раздел математики, изучающий:
- в самом общем виде — явление непрерывности;
- в частности — свойства пространств, которые остаются неизменными при непрерывных деформациях. Например, связность, ориентируемость, компактность.
О́бщая тополо́гия — раздел топологии, в котором изучаются понятия непрерывности и предела в наиболее общем смысле.
Анато́лий Тимофе́евич Фоме́нко — советский и российский математик, специалист в области многомерного вариационного исчисления, дифференциальной геометрии и топологии, теории групп и алгебр Ли, симплектической и компьютерной геометрии, теории гамильтоновых динамических систем. Академик РАН (1994). Лауреат Государственной премии РФ в области науки и техники. Также известен как художник-график и один из художников-постановщиков мультфильма «Перевал».
Вычисли́тельная сло́жность — понятие в информатике и теории алгоритмов, обозначающее функцию зависимости объёма работы, которая выполняется некоторым алгоритмом, от размера входных данных. Раздел, изучающий вычислительную сложность, называется теорией сложности вычислений. Объём работы обычно измеряется абстрактными понятиями времени и пространства, называемыми вычислительными ресурсами. Время определяется количеством элементарных шагов, необходимых для решения задачи, тогда как пространство определяется объёмом памяти или места на носителе данных. Таким образом, в этой области предпринимается попытка ответить на центральный вопрос разработки алгоритмов: «как изменится время исполнения и объём занятой памяти в зависимости от размера входа?». Здесь под размером входа понимается длина описания данных задачи в битах, а под размером выхода — длина описания решения задачи.
Андре́й Никола́евич Ти́хонов — советский математик и геофизик, академик Академии наук СССР, дважды Герой Социалистического Труда. Основатель факультета вычислительной математики и кибернетики МГУ.
Па́вел Серге́евич Алекса́ндров — советский математик, академик АН СССР. Профессор МГУ. Лауреат Сталинской премии первой степени (1942), Герой Социалистического Труда (1969).
Компьютерная химия — сравнительно молодая область химии, основанная на применении компьютерных методов и дискретной математики, прежде всего, теории графов и комбинаторики, к химическим задачам фундаментального и прикладного характера. Исходя из общего определения химии как науки о веществах и превращениях их в друг друга, можно сказать, что вещества (молекулы) моделируются в компьютерной химии молекулярными графами, а превращения веществ — формальными операциями с графами. Такой подход в ряде случаев заметно упрощает алгоритмизацию химических задач, сводя их к типовым задачам комбинаторики и дискретной математики и позволяет искать решения с помощью компьютерных программ. При этом наряду со специальными программами в компьютерной химии могут применяться и универсальные программы: для работы с таблицами, математические программы и т. д.
Топологический индекс — инвариант молекулярного графа в задачах компьютерной химии, некоторое значение, характеризующее структуру молекулы. Обычно топологические индексы не отражают кратность химических связей и типы атомов, атомы водорода не учитываются. К наиболее известным топологическим индексам относятся индекс Хосои, индекс Винера, индекс Рандича, индекс Балабана и другие.
Леонард Макс Адлеман — американский учёный-теоретик в области компьютерных наук, профессор компьютерных наук и молекулярной биологии в Университете Южной Калифорнии. Он известен как соавтор системы шифрования RSA и ДНК-вычислений. RSA широко используется в приложениях компьютерной безопасности, включая протокол HTTPS.
TopoR — система автоматизированного проектирования (САПР), предназначенная для трассировки печатных плат, предварительно подготовленных в других системах в форматах Delta Design, P-CAD ASCII PCB, PADS ASCII PCB, DSN и др. Разрабатывается российской компанией Эремекс.
Тео́рия алгори́тмов — раздел математики, изучающий общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п. Вместе с математической логикой теория алгоритмов образует теоретическую основу вычислительных наук, теории передачи информации, информатики, телекоммуникационных систем и других областей науки и техники.
Топологический анализ данных — новая область теоретических исследований для задач анализа данных и компьютерного зрения.
Топологический дефект — решение системы дифференциальных уравнений в частных производных или уравнений квантовой теории поля, гомотопически отличное от вакуумного решения.
Топологическая комбинаторика — направление в топологии, возникшее в последней четверти XX века, занимающаяся применением методов топологии к задачам дискретной математики, топологическими обобщениями задач дискретной геометрии, а также дискретизацией топологических понятий.
Равиндран Каннан — индийский учёный, главный научный сотрудник Microsoft Research в Индии, где он руководит исследовательской группой алгоритмов. Он также является первым адъюнктом факультета информатики и автоматизации Индийского научного института.
Сергей Александрович Абрамов — советский и российский математик, специалист в области компьютерной алгебры, главный научный сотрудник Вычислительного центра РАН, профессор кафедры алгоритмических языков факультета ВМК МГУ.
Алгоритм заметающей прямой или алгоритм выметания плоскости — это алгоритмическая парадигма, которая использует умозрительную выметающую прямую или выметающую поверхность для решения различных задач в евклидовом пространстве. Это одна из ключевых техник в вычислительной геометрии.
Леонид Иванович Волгин — доктор технических наук (1974), профессор УлГТУ (1981), Заслуженный деятель науки и техники Российской Федерации (1995)
Сложность — характеристика, отражающая степень трудности для понимания, создания и верификации системы или элемента системы; степень трудности понимания и решения проблемы, задачи. Сложность системы или элемента системы может быть выражена через сложность соответствующих проблем и задач их понимания, создания и верификации.
Комбинаторная теория групп — раздел теории групп, изучающий группы с точки зрения их заданий образующими и соотношениями.
