Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Геоме́трия — раздел математики, изучающий пространственные структуры и отношения, а также их обобщения. В практических задачах геометрия позволяет предсказывать геометрические размеры тела, зная другие геометрические размеры этого тела с помощью известных геометрических законов.
Вероя́тность — степень возможности наступления некоторого события. Когда основания для того, чтобы какое-нибудь возможное событие произошло в действительности, перевешивают противоположные основания, то это событие называют вероятным, в противном случае — маловероятным или невероятным. Перевес положительных оснований над отрицательными, и наоборот, может быть в различной степени, вследствие чего вероятность бывает большей либо меньшей. Поэтому часто вероятность оценивается на качественном уровне, особенно в тех случаях, когда более или менее точная количественная оценка невозможна или крайне затруднена. Возможны различные градации «уровней» вероятности.
Джузе́ппе Пеа́но — итальянский математик. Внёс вклад в математическую логику, аксиоматику, философию математики. Создатель вспомогательного искусственного языка латино-сине-флексионе. Более всего известен как автор стандартной аксиоматизации натуральной арифметики — арифметики Пеано.
Арифме́тика — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа и его свойства. В арифметике рассматриваются измерения, вычислительные операции и приёмы вычислений. Изучением свойств отдельных целых чисел занимается высшая арифметика, или теория чисел. Теоретическая арифметика уделяет внимание определению и анализу понятия числа, в то время как формальная арифметика оперирует логическими построениями предикатов и аксиом. Арифметика является древнейшей и одной из основных математических наук; она тесно связана с алгеброй, геометрией и теорией чисел.
Комбинато́рика — раздел математики, посвящённый решению задач, связанных с выбором и расположением элементов некоторого множества в соответствии с заданными правилами. Каждое такое правило определяет некоторую выборку из элементов исходного множества, которая называется комбинаторной конфигурацией. Простейшими примерами комбинаторных конфигураций являются перестановки, сочетания и размещения.
Надёжность — свойство объекта сохранять во времени в установленных пределах значения всех параметров, характеризующих способность выполнять требуемые функции в заданных условиях применения, технического обслуживания, хранения и транспортирования.
Энтропи́я — широко используемый в естественных и точных науках термин, обозначающий меру необратимого рассеивания энергии или бесполезности энергии. Для понятия энтропии в данном разделе физики используют название термодинамическая энтропия; термодинамическая энтропия обычно применяется для описания равновесных (обратимых) процессов.
Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:
Белый шум — стационарный шум, спектральные составляющие которого равномерно распределены по всему диапазону задействованных частот. Примерами белого шума являются шум близкого водопада, или дробовой шум на клеммах большого сопротивления, или шум стабилитрона, через который протекает очень малый ток. Название получил от белого света, содержащего электромагнитные волны частот всего видимого диапазона электромагнитного излучения. Кроме белого, существуют шумы многих цветов.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Меха́ника сплошны́х сред — раздел механики, физики сплошных сред и физики конденсированного состояния, посвящённый движению газообразных, жидких и деформируемых твёрдых тел, а также силовым взаимодействиям в таких телах.
То́чка — один из фундаментальных (неопределяемых) математических объектов, свойства которого задаются системой аксиом. Нестрого можно представлять точку как неделимый элемент соответствующего математического пространства, определяемого в геометрии, математическом анализе и других разделах математики. В классической геометрии и в большинстве её обобщений все геометрические фигуры считаются состоящими из точек.
Свобо́да сло́ва — право человека свободно выражать своё мнение.
Незави́симость систе́мы аксио́м ― свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
В разделе информатики — алгоритмической теории информации, константа Хайтина или вероятность остановки — вещественное число, которое, неформально говоря, является вероятностью того, что произвольно выбранная программа остановится. Существование таких чисел было продемонстрировано Грегори Хайтином.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой системы уравнений или задачи оптимизации для 2208 неизвестных предугадать невозможно, но такое решение может быть не только практическим, но и собственно математическим результатом.
