Связанные понятия
Знаки «плюс» и «минус» (+ и −) — математические символы, используемые для обозначения операций сложения и вычитания, а также положительных и отрицательных величин. Кроме того, они используются и для обозначения других понятий. Латинские термины plus и minus означают «более» и «менее» соответственно.
Цифры майя — запись чисел, основанная на двадцатеричной позиционной системе счисления, использовавшаяся цивилизацией майя в доколумбовой Мезоамерике.
Деление столбиком (также известное как деление уголком) — стандартная процедура в арифметике, предназначенная для деления простых или сложных многозначных чисел за счёт разбивания деления на ряд более простых шагов. Как и во всех задачах на деление, одно число, называемое делимым, делится на другое, называемое делителем, производя результат, называемый частным. Этот способ позволяет выполнять деление произвольно больших чисел, разбивая процесс на серию последовательных простых шагов.В Европу этот...
В математике деление на два, деление пополам — это математическая операция, частный случай деления. Древние египтяне отличали деление на два от деления на другие числа, поскольку их алгоритм умножения использовал деление на два как один из промежуточных этапов. В XVI веке некоторые математики предложили рассматривать деление на два как операцию, отличающуюся от деления на другие числа. В современном программировании также иногда выделяют деление именно на два.
Математические обозначения («язык математики») — сложная графическая система обозначений, служащая для изложения абстрактных математических идей и суждений в человеко-читаемой форме. Составляет (по своей сложности и разнообразию) значительную долю неречевых знаковых систем, применяемых человечеством. В данной статье описывается общепринятая международная система обозначений, хотя различные культуры прошлого имели свои собственные, и некоторые из них даже имеют ограниченное применение до сих пор...
При́знак дели́мости — алгоритм, позволяющий сравнительно быстро определить, является ли число кратным заранее заданному. Если признак делимости позволяет выяснить не только делимость числа на заранее заданное, но и остаток от деления, то его называют признаком равноостаточности.
Систе́ма счисле́ния (англ. numeral system или system of numeration) — символический метод записи чисел, представление чисел с помощью письменных знаков.
Позиционная систе́ма счисле́ния (позиционная нумерация) — система счисления, в которой значение каждого числового знака (цифры) в записи числа зависит от его позиции (разряда).
Индукция грамматики (или грамматический вывод) — это процесс в машинном обучении для обучения формальной грамматике (обычно в виде набора правил вывода или порождающих правил или, альтернативно, как конечный автомат или автомат другого вида) из набора наблюдений, то есть построение модели, которая описывает наблюдаемые объекты. Более обще, грамматический вывод — это такая ветвь машинного обучения, в которой пространство примеров состоит из дискретных комбинаторных объектов, таких как строки, деревья...
Соизмери́мые величи́ны — величины, для которых соответственно существует общая мера. Общей мерой величин называют величину, которая целое число раз содержится в каждой из них. Если такой меры, которая укладывается целое число раз в каждую величину, не существует, то такие величины называют несоизмери́мыми. Примером несоизмеримых величин могут служить диагональ квадрата и его сторона.
Элемента́рная а́лгебра — самый старый раздел алгебры, в котором изучаются алгебраические выражения и уравнения над вещественными и комплексными числами.
Данная статья — часть обзора История математики.Научные достижения индийской математики широки и многообразны. Уже в древние времена учёные Индии на своём, во многом оригинальном пути развития достигли высокого уровня математических знаний. В I тысячелетии н. э. индийские учёные подняли античную математику на новую, более высокую ступень. Они изобрели привычную нам десятичную позиционную систему записи чисел, предложили символы для 10 цифр (которые, с некоторыми изменениями, используются повсеместно...
Подробнее: История математики в Индии
Число ́ — основное понятие математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей. Письменными знаками для обозначения чисел служат цифры, а также символы математических операций. Возникнув ещё в первобытном обществе из потребностей счёта, понятие числа с развитием науки значительно расширилось.
Данная статья — часть обзора История математики.Статья посвящена состоянию и развитию математики в Древнем Египте в период примерно с XXX по III век до н. э.
Подробнее: Математика в Древнем Египте
Термин
рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций...
Идеи, сходные с теми, которые лежат в основании метрической системы, обсуждались в XVI и XVII столетиях. Симон Стевин опубликовал предложения по десятичной записи, а Джон Уилкинс опубликовал проект десятичной системы мер, основанной на естественных единицах. Первую практическую реализацию метрической системы осуществили в 1799 году, во время Великой Французской революции, когда существовавшая система мер, которая приобрела дурную репутацию, была временно заменена десятичной системой, основанной на...
Подробнее: История метрической системы
Говорят, что возникло
математическое совпадение , если два выражения дают почти одинаковые значения, хотя теоретически это совпадение никак объяснить нельзя.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Циклическое число — целое число, циклические перестановки цифр которого являются произведениями этого числа на последовательные числа. Наиболее известный пример такого числа — 142857...
Строковое ядро — это ядерная функция, определённая на строках, т.е. конечных последовательностях символов, которые не обязательно имеют одну и ту же длину. Строковые ядра можно интуитивно понимать как функции, измеряющие похожесть пар строк — чем больше похожи две строки a и b, тем больше значение строкового ядра K(a, b).
Магма (группоид) в общей алгебре — алгебра, состоящая из множества М с одной бинарной операцией M × M → M. Помимо требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется.
Диагра́ммы Э́йлера (круги́ Э́йлера) — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Первое их использование приписывают Леонарду Эйлеру (подробней см. ниже). Используется в математике, логике, менеджменте и других прикладных направлениях.
Табли́ца умноже́ния , она же табли́ца Пифаго́ра — таблица, где строки и столбцы озаглавлены множителями, а в ячейках таблицы находится их произведение. Используется для обучения школьников умножению.
Логическая вероятность — логическое отношение между двумя предложениями, степень подтверждения гипотезы H свидетельством E.
Праймориал (англ. Primorial, иногда именуется также «примориал») — в теории чисел функция над рядом натуральных чисел, схожая с функцией факториала, с разницей в том, что праймориал является последовательным произведением простых чисел, меньших или равных данному, в то время как факториал является последовательным произведением всех натуральных чисел, меньших или равных данному.
Оккамово обучение в теории вычислительного обучения является моделью алгоритмического обучения, где целью обучения является получение сжатого представления имеющихся тренировочных данных. Метод тесно связан с почти корректным обучением (ПК обучение, англ. Probably Approximately Correct learning, PAC learning), где учитель оценивает прогнозирующую способность тестового набора.
В математике конечное правило подразделения — это рекурсивный способ деления многоугольника и других двумерных фигур на всё меньшие и меньшие части. Правила подразделения в этом смысле является обобщением фракталов. Вместо повторения одного и того же узора снова и снова здесь имеются небольшие изменения на каждом шаге, что позволяет получить более богатые структуры, сохраняя при этом поддержку элегантного стиля фракталов . Правила подразделения используются в архитектуре, биологии и информатике...
Величина ́ — математическое понятие, описывающее объекты, для которых может быть определено отношение неравенства и смысл операции сложения, а также выполняется ряд свойств, включая аксиомы Архимеда и непрерывности. Величина является одним из основных понятий математики.
Двоичный алгоритм поиска подстроки (также bitap algorithm, shift-or algorithm) — алгоритм поиска подстроки, использующий тот факт, что в современных компьютерах битовый сдвиг и побитовое ИЛИ являются атомарными операциями. По сути, это примитивный алгоритм поиска с небольшой оптимизацией, благодаря которой за одну операцию производится до 32 сравнений одновременно (или до 64, в зависимости от разрядности машины). Легко переделывается на приблизительный поиск.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Формальное дифференцирование — операция над элементами кольца многочленов или кольцом формальных степенных рядов, повторяющая форму производных из математического анализа. Алгебраическое преимущество формального дифференцирования состоит в том, что оно не опирается на понятие предела, которое в общем случае невозможно определить для кольца. Многие свойства производной верны для формального дифференцирования, но некоторые, особенно касающиеся утверждений, содержащих числа, не верны. В основном формальное...
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Бесконечная группа — группа с бесконечным числом элементов, в противоположность конечным группам.
Демпстера-Шафера теория — математическая теория очевидностей (свидетельств) (), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части информации (свидетельства) для вычисления вероятности события. Теория была развита Артуром П. Демпстером и Гленном Шафером.
В настоящее время отсутствует единое определение точно решаемой задачи для всех разделов математики. Это обусловлено особенностями самих задач и методов поиска их решения. Вместе с тем базовые теоремы, определяющие наличие и единственность решений, строятся на общих принципах, что будет показано ниже.
Подробнее: Точнорешаемая задача
Квазигруппа — магма, в которой всегда возможно деление. В отличие от группы, квазигруппа не обязана быть ассоциативной.
Интервальная арифметика — математическая структура, которая для вещественных интервалов определяет операции, аналогичные обычным арифметическим. Эту область математики называют также интервальным анализом или интервальными вычислениями. Данная математическая модель удобна для исследования различных прикладных объектов...
Равномощность — отношение эквивалентности на множествах ключевое в определении мощности множества.
Псаммит (др.-греч. Ψαμμίτης) или Исчисление песчинок — работа древнегреческого ученого Архимеда, в которой он пытается определить верхнюю грань числа песчинок, которые занимает в своём объёме Вселенная. С этой целью он пробует вычислить размер Вселенной, основываясь на астрономических представлениях того времени, а также изобретает способ наименования очень больших чисел. Работа была написана в виде письма тирану Сиракуз Гелону.
Уравнение ренормгруппы (уравнение Каллана — Симанчика) — дифференциальное уравнение для корреляционных функций (пропагаторов), показывающее их независимость от масштаба рассмотрения. Оно имеет место, например, при рассмотрении динамики системы вблизи критической точки.
Пальцевый счёт , счёт на пальцах или дактилономия — математические вычисления, осуществляемые человеком с помощью сгибания, разгибания или указывания пальцев рук (иногда и ног). Пальцы рук считаются самым первым счётным инструментом древнего человека с эпохи верхнего палеолита. Счёт на пальцах широко применялся в древнем мире и в средневековье, в настоящее время используется ограниченно, арабскими и индийскими торговцами на Среднем Востоке, в европейских странах — в примитивном виде преимущественно...
Ноль (нуль, от лат. nullus — никакой) — название первой (по порядку) цифры в стандартных системах исчисления, а также математический знак, выражающий отсутствие значения данного разряда в записи числа в позиционной системе счисления. Цифра ноль, поставленная справа от другой цифры, увеличивает числовое значение всех левее стоящих цифр на разряд (например, в десятичной системе счисления, умножает на десять). Сравните, например, числа 410 и 4010; 416 и 4016 (нижний индекс означает основание системы...
Математическая формула (от лат. formula — уменьшительное от forma — образ, вид) — в математике, а также физике и прикладных науках, символическая запись высказывания (которое выражает логическое суждение), либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка.