Програ́ммное обеспе́чение (ПО) — программа или множество программ, используемых для управления компьютером.
А́лан Мэ́тисон Тью́ринг — британский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Офицер ордена Британской империи, член Лондонского королевского общества (1951).
Те́зис Чёрча — Тью́ринга — логико-математический принцип, устанавливающий эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин, «эффективно вычислимый» для описания функций, которые можно вычислить с помощью «бумажно-карандашных» методов.
Клод Э́лвуд Ше́ннон — американский инженер, криптоаналитик и математик. Считается «отцом информационного века».
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. В наши дни поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической логикой, где вместо вычислимости и невычислимости идёт речь о доказуемости и недоказуемости утверждений в рамках каких-либо теорий.
Проблема остановки — одна из проблем в теории алгоритмов, которая может неформально быть поставлена в виде:
- Даны описание процедуры и её начальные входные данные. Требуется определить: завершится ли когда-либо выполнение процедуры с этими данными; либо, что процедура всё время будет работать без остановки.
Проблема разрешения — задача из области оснований математики, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости — и, после конечного числа шагов, останавливался бы и выдавал один из двух ответов: «Истина!» или «Ложь!», — в зависимости от того, истинно или ложно утверждение «
». Ответ не требует обоснований, но должен быть верным.
Квантовая машина Тьюринга — абстрактная машина, используемая для моделирования квантового компьютера; простая модель, которая, в то же время, может описать любые квантовые вычисления: любой квантовый алгоритм может быть формально описан как некоторая квантовая машина Тьюринга. Впервые построена в 1985 году Дэвидом Дойчем, обратившим внимание на аналогию между квантовыми вентилями и логическими вентилями в цифровых схемах.
Полиэдральный граф — неориентированный граф, образованный из вершин и рёбер выпуклого многогранника, или, в контексте теории графов — вершинно 3-связный планарный граф.
Олаус Магнус Фридрих Эрдман Хенрици, 1840—1918) — английский математик немецкого происхождения. Труды по геометрии, прикладной математике.
Сверхсоставное число — натуральное число с бо́льшим числом делителей, чем любое меньшее натуральное число.
Непредикати́вность определения в математике и логике, нестрого говоря, означает, что осмысленность определения предполагает наличие определяемого объекта. Пример: объект 
определяется как такой элемент некоторого множества, который удовлетворяет определённому отношению между ним и всеми элементами этого множества. В некоторых случаях непредикативное определение может привести к недоразумениям или даже противоречиям. Противоположное по смыслу понятие — предикативность.
Группа Рудвалиса Ru — это спорадическая простая группа порядка
- 214 · 33 · 53 · 7 · 13 · 29
- = 145926144000
- ≈ 1⋅1011.
Группа перестановок ранга 3 действует транзитивно на множестве так, что стабилизатор точки имеет 3 орбиты. Изучение этих групп начал Дональд Хигман. Некоторые спорадические простые группы были открыты как группы перестановок ранга 3.
Филипп Холл — английский математик. Член Лондонского королевского общества, профессор Кембриджского университета. Наиболее известен работами по теории групп, в особенности по конечным группам и разрешимым группам. В течение многих лет Холл был единственным алгебраистом, работающим в Англии.
Конформная группа пространства — это группа преобразований пространства в себя с сохранением углов. Более формально, это группа преобразований, сохраняющая конформную геометрию пространства.
Многочлен Боллобаша — Риордана — это инвариантный многочлен графов на ориентируемых поверхностях от трех переменных или инвариант ленточных графов от четырех переменных, обобщающий многочлен Татта.
Рубен Луис Гудстейн — английский математик. Серьёзно интересовался философией, преподавал математику.
Формула Сильвестра, матричная теорема Сильвестера или интерполяция Лагранжа — Сильвестера выражает аналитическую функцию 
матрицы A как многочлен от A в терминах собственных значений и векторов матрицы A. Теорема гласит, что
