Добавление - Addition

Для использования в других целях см. Дополнение (значения).

«Добавьте» сюда перенаправления. Для использования в других целях см. ДОБАВИТЬ (значения).

3 + 2 = 5 с яблоки, популярный выбор в учебниках^[1]

Добавление (обычно обозначается плюс символ +) является одним из четырех основных операции из арифметика, остальные три вычитание, умножение и разделение. Добавление двух целые числа приводит к общей сумме или сумма этих ценностей вместе взятых. Пример на соседнем рисунке показывает комбинацию из трех яблок и двух яблок, в результате чего получается пять яблок. Это наблюдение эквивалентно математическое выражение "3 + 2 = 5" (т. е. "3 Добавить 2 это равный до 5 дюймов).

Помимо подсчета элементов, добавление также может быть определено и выполнено без ссылки на конкретные объекты, используя абстракции, называемые числа вместо этого, например целые числа, действительные числа и сложные числа. Дополнение принадлежит арифметика, раздел математики. В алгебра, еще одна область математики, сложение также может выполняться для абстрактных объектов, таких как векторов, матрицы, подпространства и подгруппы.^[2]

Дополнение имеет несколько важных свойств. это коммутативный, что означает, что порядок не имеет значения, и это ассоциативный, что означает, что при добавлении более двух чисел порядок, в котором выполняется сложение, не имеет значения (см. Суммирование ). Повторное добавление 1 такой же как подсчет; добавление 0 не меняет номер. Добавление также подчиняется предсказуемым правилам в отношении связанных операций, таких как вычитание и умножение.

Выполнение сложения - одна из простейших числовых задач. Малышам доступно добавление очень маленьких номеров; самая основная задача, 1 + 1, могут выполняться младенцами в возрасте от пяти месяцев и даже некоторыми представителями других видов животных. В начальное образование, студентов учат складывать числа в десятичный система, начиная с однозначных чисел и постепенно решая более сложные проблемы. Механические средства варьируются от древних счеты к современному компьютер, где исследования наиболее эффективных реализаций сложения продолжаются и по сей день.

Обозначения и терминология

Знак плюс

Дополнение пишется с использованием знак плюс «+» между терминами;^[2][3] то есть в инфиксная запись. Результат выражается знак равенства. Например,

${\displaystyle 1+1=2}$ («один плюс один равен двум»)

${\displaystyle 2+2=4}$ ("два плюс два равняется четыре")

${\displaystyle 1+2=3}$ («один плюс два равно трем»)

${\displaystyle 5+4+2=11}$ (см. «ассоциативность» ниже )

${\displaystyle 3+3+3+3=12}$ (см. «умножение» ниже )

Сложение по столбцу - числа в столбце складываются, сумма записывается под подчеркнутый номер.

Также существуют ситуации, когда добавление «понимается», даже если символ не появляется:

• Целое число, за которым сразу следует дробная часть обозначает сумму двух, называемую смешанное число.^[4] Например,
        3½ = 3 + ½ = 3.5.
  Это обозначение может вызвать путаницу, поскольку в большинстве других контекстов сопоставление обозначает умножение вместо.^[5]

Сумма серии связанных чисел можно выразить через прописная сигма, что компактно обозначает итерация. Например,

${\displaystyle \sum _{k=1}^{5}k^{2}=1^{2}+2^{2}+3^{2}+4^{2}+5^{2}=55.}$

Номера или объекты, добавляемые при общем добавлении, вместе именуются термины,^[6] то добавляет^[7][8][9] или слагаемые;^[10]эта терминология применяется к суммированию нескольких терминов. факторы, которые умноженный.Некоторые авторы называют первое дополнение огромный.^[7][8][9] Фактически, во время эпоха Возрождения, многие авторы вообще не считали первое дополнение "дополнением". Сегодня в связи с коммутативная собственность Кроме того, слово «augend» используется редко, и оба термина обычно называют дополнениями.^[11]

Вся приведенная выше терминология происходит от латинский. "Добавление " и "Добавить " находятся английский слова, происходящие от латинского глагол Addere, что, в свою очередь, сложный из объявление "к" и смею "давать", от Протоиндоевропейский корень * deh₃- "давать"; таким образом, чтобы Добавить должен дать.^[11] С использованием герундий суффикс -й приводит к "добавлению", "добавляемой вещи".^[а] Аналогично от Augere «увеличивать» - значит «увеличивать», «увеличивать».

Перерисованная иллюстрация из Искусство Номбринга, один из первых английских арифметических текстов, в 15 веке.^[12]

«Сумма» и «слагаемое» происходят от латинского имя существительное сумма «самый высокий, самый высокий» и связанный глагол подведение итогов. Это уместно не только потому, что сумма двух положительных чисел больше любого, но и потому, что это было общим для древние греки и Римляне складывать в большую сторону, в отличие от современной практики добавления в меньшую сторону, так что сумма была буквально больше, чем добавляемая.^[13]Аддере и подведение итогов датироваться по крайней мере Боэций, если не более ранним римским писателям, таким как Витрувий и Frontinus; Боэций также использовал несколько других терминов для операции сложения. Позже Средний английский термины "добавление" и "добавление" были популяризированы Чосер.^[14]

В знак плюс "+" (Unicode: U + 002B; ASCII: +) - это сокращение от латинского слова et, что означает «и».^[15] Он появляется в математических трудах, датируемых по крайней мере 1489 годом.^[16]

Интерпретации

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

Комбинирование наборов

Возможно, наиболее фундаментальная интерпретация сложения заключается в объединении множеств:

• Когда две или несколько непересекающихся коллекций объединяются в одну коллекцию, количество объектов в одной коллекции является суммой количества объектов в исходных коллекциях.

Эту интерпретацию легко визуализировать с небольшой опасностью двусмысленности. Он также полезен в высшей математике (строгое определение, которое он вдохновляет, см. § Натуральные числа ниже). Однако не очевидно, как следует расширить эту версию сложения, включив в нее дробные или отрицательные числа.^[17]

Одно из возможных исправлений - рассмотреть набор объектов, которые можно легко разделить, например пироги или, что еще лучше, сегментированные стержни.^[18] Вместо того, чтобы просто комбинировать наборы сегментов, стержни можно соединить встык, что иллюстрирует другую концепцию сложения: добавление не стержней, а длины стержней.

Увеличение длины

Числовая визуализация алгебраического сложения 2 + 4 = 6. Перевод на 2 с последующим переводом на 4 такой же, как перевод на 6.

Числовая визуализация унарного сложения 2 + 4 = 6. Перевод на 4 эквивалентен четырем переводам на 1.

Вторая интерпретация сложения заключается в увеличении начальной длины на заданную длину:

• Когда исходная длина увеличивается на заданную величину, окончательная длина представляет собой сумму исходной длины и длины удлинения.^[19]

Сумма а + б можно интерпретировать как бинарная операция это объединяет а и б, в алгебраическом смысле, или его можно интерпретировать как добавление б больше единиц для а. В последней интерпретации части суммы а + б играть асимметричные роли, а операция а + б рассматривается как применение унарная операция +б к а.^[20] Вместо того, чтобы звонить обоим а и б дополнения, правильнее называть а то огромный в этом случае, поскольку а играет пассивную роль. Унарное представление также полезно при обсуждении вычитание, потому что каждая операция унарного сложения имеет обратную операцию унарного вычитания, и наоборот.

Характеристики

Коммутативность

4 + 2 = 2 + 4 с блоками

Дополнение коммутативный, что означает, что можно изменить порядок членов в сумме, но все равно получить тот же результат. Символически, если а и б любые два числа, то

а + б = б + а.

Тот факт, что сложение является коммутативным, известен как «коммутативный закон сложения» или «коммутативное свойство сложения». Некоторые другие бинарные операции являются коммутативными, например умножение, но многие другие нет, например вычитание и деление.

Ассоциативность

2 + (1 + 3) = (2 + 1) + 3 с сегментированными стержнями

Дополнение ассоциативный, что означает, что при сложении трех или более чисел порядок действий не меняет результат.

Например, должно ли выражение а + б + c быть определенным как означающее (а + б) + c или же а + (б + c)? Учитывая, что сложение ассоциативно, выбор определения не имеет значения. Для любых трех чисел а, б, и c, правда, что (а + б) + c = а + (б + c). Например, (1 + 2) + 3 = 3 + 3 = 6 = 1 + 5 = 1 + (2 + 3).

Когда сложение используется вместе с другими операциями, порядок действий становится важным. В стандартном порядке операций сложение имеет более низкий приоритет, чем возведение в степень, энные корни, умножение и деление, но вычитанию дается равный приоритет.^[21]

Элемент идентичности

5 + 0 = 5 с мешками точек

При добавлении нуль на любое количество количество не меняется; ноль - это элемент идентичности для дополнения, также известный как аддитивная идентичность. В символах для любых а,

а + 0 = 0 + а = а.

Этот закон был впервые обнаружен в Брахмагупта с Брахмаспхутасиддханта в 628 году нашей эры, хотя он написал его как три отдельных закона, в зависимости от того, а отрицательно, положительно или равно нулю, и он использовал слова, а не алгебраические символы. Потом Индийские математики доработали концепцию; около 830 года, Махавира писал: «ноль становится таким же, как то, что к нему добавлено», что соответствует унарному утверждению 0 + а = а. В 12 веке Бхаскара писал: «При добавлении шифра или его вычитании количество, положительное или отрицательное, остается неизменным», что соответствует унарному утверждению а + 0 = а.^[22]

Преемник

В контексте целых чисел добавление один тоже играет особую роль: для любого целого а, целое число (а + 1) наименьшее целое число больше, чем а, также известный как преемник из а.^[23] Например, 3 является преемником 2, а 7 - преемником 6. Из-за такой последовательности значение а + б также можно рассматривать как б-й преемник а, делая сложение повторяющейся последовательностью. Например, 6 + 2 равно 8, потому что 8 является преемником 7, который является преемником 6, что делает 8 вторым преемником 6.

Единицы

Для численного сложения физических величин с помощью единицы, они должны быть выражены в общих единицах.^[24] Например, добавление 50 миллилитров к 150 миллилитрам дает 200 миллилитров. Однако, если 5 футов увеличить на 2 дюйма, получится 62 дюйма, поскольку 60 дюймов являются синонимами 5 футов. С другой стороны, обычно бессмысленно пытаться прибавить 3 метра и 4 квадратных метра, поскольку эти единицы несопоставимы; такого рода соображения являются фундаментальными в размерный анализ.

Выполнение сложения

Врожденная способность

Исследования математического развития, начиная примерно с 1980-х годов, использовали феномен привыкание: младенцы дольше смотрите на неожиданные ситуации.^[25] Плодотворный эксперимент Карен Винн в 1992 г. с участием Микки Маус куклы, которыми манипулируют за ширмой, показали, что пятимесячные младенцы ожидать 1 + 1 быть 2, и они сравнительно удивлены, когда физическая ситуация, кажется, подразумевает, что 1 + 1 равно 1 или 3. С тех пор этот вывод был подтвержден множеством лабораторий, использующих разные методологии.^[26] Еще один эксперимент 1992 года со старшими малыши в возрасте от 18 до 35 месяцев использовали развитие моторного контроля, позволяя им восстанавливать настольный теннис шары из ящика; самые молодые хорошо отвечали на небольшие числа, в то время как испытуемые старшего возраста могли вычислять суммы до 5.^[27]

Даже некоторые животные, не являющиеся людьми, демонстрируют ограниченную способность добавлять, особенно приматы. В эксперименте 1995 г., имитирующем результат Винна 1992 г. (но с использованием баклажаны вместо кукол), макака резус и хлопковый тамарин обезьяны действовали так же, как и человеческие младенцы. Более того, после того, как вас научили значениям арабские цифры От 0 до 4, один шимпанзе смог вычислить сумму двух чисел без дополнительного обучения.^[28] В последнее время, Азиатские слоны продемонстрировали способность выполнять основную арифметику.^[29]

Обучение в детстве

Обычно дети сначала осваивают подсчет. Когда возникает задача, требующая объединения двух и трех предметов, маленькие дети моделируют ситуацию с помощью физических объектов, часто пальцев или рисунка, а затем подсчитывают общую сумму. По мере накопления опыта они изучают или открывают для себя стратегию «расчета»: просят найти два плюс три, дети считают три четверти, говорят: «три, четыре, пять"(обычно ставят галочки на пальцах) и достигают пяти. Эта стратегия кажется почти универсальной; дети могут легко перенять ее у сверстников или учителей.^[30] Большинство обнаруживают это самостоятельно. Имея дополнительный опыт, дети учатся складывать быстрее, используя коммутативность сложения, считая от большего числа, в данном случае начиная с трех и считая «четыре». пять. "В конце концов дети начинают вспоминать некоторые дополнительные факты ("количество облигаций ") посредством опыта или механического запоминания. Как только некоторые факты запоминаются, дети начинают извлекать неизвестные факты из известных. Например, ребенок, которого попросили сложить шесть и семь, может знать, что 6 + 6 = 12 а затем рассуждать, что 6 + 7 на один больше, или 13.^[31] Такие производные факты можно найти очень быстро, и большинство учеников начальной школы в конечном итоге полагаются на смесь заученных и извлеченных фактов, чтобы их легко добавить.^[32]

Разные страны вводят целые числа и арифметику в разном возрасте, во многих странах в дошкольных учреждениях преподают сложение.^[33] Однако во всем мире сложение преподается к концу первого года начальной школы.^[34]

Стол

Детям часто предлагают для запоминания таблицу сложения пар чисел от 0 до 9. Зная это, дети могут выполнять любое сложение.

+	0	1	2	3	4	5	6	7	8	9
0	0	1	2	3	4	5	6	7	8	9
1	1	2	3	4	5	6	7	8	9	10
2	2	3	4	5	6	7	8	9	10	11
3	3	4	5	6	7	8	9	10	11	12
4	4	5	6	7	8	9	10	11	12	13
5	5	6	7	8	9	10	11	12	13	14
6	6	7	8	9	10	11	12	13	14	15
7	7	8	9	10	11	12	13	14	15	16
8	8	9	10	11	12	13	14	15	16	17
9	9	10	11	12	13	14	15	16	17	18

Десятичная система

Обязательное условие для добавления в десятичный Система - это беглый вызов или вывод 100 однозначных «фактов сложения». Можно было выучить наизусть все факты механически, но стратегии на основе шаблонов более информативны и для большинства людей более эффективны:^[35]

• Коммутативная собственность: Упомянутое выше с использованием шаблона а + Ь = Ь + а уменьшает количество «фактов сложения» со 100 до 55.
• Еще один или два: Добавление 1 или 2 - основная задача, и ее можно решить, рассчитывая или, в конечном счете, интуиция.^[35]
• Нуль: Так как ноль является аддитивным тождеством, добавление нуля тривиально. Тем не менее, при обучении арифметике некоторые студенты знакомятся с сложением как процессом, который всегда увеличивает слагаемые; текстовые задачи может помочь рационализировать «исключение» нуля.^[35]
• Парные: Добавление числа к самому себе связано с подсчетом на два и умножение. Факты-двойники составляют основу многих связанных фактов, и учащиеся находят их относительно легкими для понимания.^[35]
• Почти двойные: Такие суммы, как 6 + 7 = 13, могут быть быстро получены из факта удвоения 6 + 6 = 12 добавив еще один, или из 7 + 7 = 14 но вычитая один.^[35]
• Пять и десять: Суммы вида 5 + Икс и 10+ Икс обычно запоминаются рано и могут быть использованы для вывода других фактов. Например, 6 + 7 = 13 может быть получено из 5 + 7 = 12 добавив еще один.^[35]
• Делая десять: Продвинутая стратегия использует 10 как промежуточное звено для сумм, включающих 8 или 9; Например, 8 + 6 = 8 + 2 + 4 = 10 + 4 = 14.^[35]

По мере взросления учащиеся запоминают больше фактов и учатся быстро и плавно извлекать другие факты. Многие студенты никогда не запоминают все факты, но все же могут быстро найти любой основной факт.^[32]

Нести

Основная статья: Перенести (арифметика)

Стандартный алгоритм добавления многозначных чисел заключается в выравнивании слагаемых по вертикали и добавлении столбцов, начиная с столбца единиц справа. Если в столбце больше девяти, дополнительная цифра будет "унесенный "в следующий столбец. Например, в дополнение 27 + 59

  ¹  27+ 59————  86

7 + 9 = 16, а цифра 1 - перенос.^[b] В альтернативной стратегии сложение начинается со старшей цифры слева; этот маршрут немного неудобен для переноски, но позволяет быстрее получить приблизительную сумму. Есть много альтернативных методов.

Десятичные дроби

Десятичные дроби могут быть добавлены простой модификацией описанного выше процесса.^[36] Один выравнивает две десятичные дроби друг над другом, с десятичной точкой в ​​том же месте. При необходимости можно добавить нули в конце к более короткому десятичному знаку, чтобы он был такой же длины, как и более длинный десятичный разделитель. Наконец, выполняется тот же процесс сложения, что и выше, за исключением того, что десятичная точка помещается в ответ точно там, где она была размещена в слагаемых.

Например, 45.1 + 4.34 можно решить следующим образом:

   4 5 . 1 0+  0 4 . 3 4————————————   4 9 . 4 4

Научная нотация

Основная статья: Научная запись § Основные операции

В научная нотация, числа записываются в виде ${\displaystyle x=a\times 10^{b}}$, куда ${\displaystyle a}$ это значение и ${\displaystyle 10^{b}}$ - экспоненциальная часть. Для сложения требуется, чтобы два числа в экспоненциальной системе были представлены с использованием одной и той же экспоненциальной части, так что два значащих можно просто сложить.

Например:

${\displaystyle 2.34\times 10^{-5}+5.67\times 10^{-6}=2.34\times 10^{-5}+0.567\times 10^{-5}=2.907\times 10^{-5}}$

Недесятичный

Основная статья: Бинарное сложение

Сложение в других основаниях очень похоже на десятичное сложение. В качестве примера можно рассмотреть сложение в двоичном формате.^[37] Сложить два однозначных двоичных числа относительно просто, используя форму переноса:

0 + 0 → 0

0 + 1 → 1

1 + 0 → 1

1 + 1 → 0, перенесем 1 (так как 1 + 1 = 2 = 0 + (1 × 2¹))

Добавление двух цифр «1» дает цифру «0», а в следующий столбец необходимо добавить 1. Это похоже на то, что происходит в десятичной системе счисления, когда некоторые однозначные числа складываются вместе; если результат равен или превышает значение системы счисления (10), цифра слева увеличивается:

5 + 5 → 0, перенесем 1 (так как 5 + 5 = 10 = 0 + (1 × 10¹))

7 + 9 → 6, перенесем 1 (так как 7 + 9 = 16 = 6 + (1 × 10¹))

Это известно как несущий.^[38] Когда результат сложения превышает значение цифры, процедура состоит в том, чтобы «перенести» избыточную сумму, разделенную на основание системы счисления (то есть 10/10), влево, добавив ее к следующему позиционному значению. Это правильно, так как вес следующей позиции выше на коэффициент, равный основанию системы счисления. В двоичном формате перенос работает точно так же:

  1 1 1 1 1 (переносимые цифры)    0 1 1 0 1+   1 0 1 1 1—————————————  1 0 0 1 0 0 = 36

В этом примере две цифры складываются вместе: 01101₂ (13₁₀) и 10111₂ (23₁₀). В верхнем ряду показаны использованные биты переноса. Начиная с самого правого столбца, 1 + 1 = 10₂. 1 переносится влево, а 0 пишется внизу самого правого столбца. Добавлен второй столбец справа: 1 + 0 + 1 = 10₂ опять таки; переносится 1, а внизу пишется 0. Третий столбец: 1 + 1 + 1 = 11₂. На этот раз переносится 1, а в нижнем ряду написано 1. Таким образом получается окончательный ответ 100100₂ (36₁₀).

Компьютеры

Дополнение с операционным усилителем. Видеть Суммирующий усилитель для подробностей.

Аналоговые компьютеры работают напрямую с физическими величинами, поэтому механизмы их добавления зависят от формы слагаемых. Механический сумматор может представлять два слагаемых как позиции скользящих блоков, и в этом случае они могут быть добавлены с помощью усреднение рычаг. Если слагаемые скорости вращения двух валы, их можно добавить с помощью дифференциал. Гидравлический сумматор может добавить давление в двух камерах, используя Второй закон Ньютона уравновесить силы на сборке поршни. Наиболее распространенная ситуация для аналогового компьютера общего назначения - добавить два напряжения (ссылается на земля ); это можно сделать примерно с помощью резистор сеть, но лучший дизайн использует операционный усилитель.^[39]

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

Часть Чарльза Бэббиджа Разностный двигатель включая механизмы добавления и переноса

В счеты, также называемый счетной рамкой, представляет собой вычислительный инструмент, который использовался за столетия до принятия современной письменной системы счисления и до сих пор широко используется купцами, торговцами и служащими в Азия, Африка, и в других местах; он датируется по крайней мере 2700–2300 гг. до н. э., когда он использовался в Шумер.^[40]

Блез Паскаль изобрел механический калькулятор в 1642 году;^[41] это был первый оперативный счетная машина. Он использовал гравитационный механизм переноски. Это был единственный действующий механический калькулятор в 17 веке.^[42] и самый ранний автоматический цифровой компьютер. Калькулятор Паскаля был ограничен механизмом переноски, который заставлял его колеса поворачиваться только в одну сторону, чтобы он мог прибавить. Чтобы вычесть, оператор должен был использовать Дополнение калькулятора Паскаля, который потребовал столько же шагов, сколько и дополнение. Джованни Полени последовал за Паскалем, построив в 1709 году второй функциональный механический калькулятор - счетные часы из дерева, которые после настройки могли автоматически умножать два числа.

"Полный сумматор "логическая схема, складывающая две двоичные цифры, А и B, вместе с вводом переноса C_в, производя бит суммы, S, и выход переноса, C_из.

Сумматоры выполнять сложение целых чисел в электронных цифровых вычислительных машинах, обычно используя двоичная арифметика. Самая простая архитектура - это сумматор с переносом пульсаций, который следует стандартному многозначному алгоритму. Одно небольшое улучшение - нести пропуск дизайн, опять же следуя человеческой интуиции; никто не выполняет всех переносов в вычислении 999 + 1, но обходит группу девяток и переходит к ответу.^[43]

На практике вычислительное сложение может быть достигнуто с помощью XOR и И побитовые логические операции в сочетании с операциями побитового сдвига, как показано в псевдокоде ниже. И XOR, и логические элементы AND легко реализовать в цифровой логике, что позволяет реализовать полный сумматор схемы, которые, в свою очередь, могут быть объединены в более сложные логические операции. В современных цифровых компьютерах сложение целых чисел, как правило, является самой быстрой арифметической инструкцией, но оно оказывает наибольшее влияние на производительность, поскольку лежит в основе всех плавающая точка операций, а также такие базовые задачи, как адрес поколение во время объем памяти доступ и получение инструкции в течение разветвление. Для увеличения скорости современные конструкции вычисляют цифры в параллельно; эти схемы носят такие названия, как выбор переноса, смотреть вперед, а Линг псевдородство. Фактически, многие реализации являются гибридами последних трех разработок.^[44][45] В отличие от добавления на бумаге, добавление на компьютере часто меняет слагаемые. О древнем счеты и добавление доски, оба слагаемых уничтожаются, остается только сумма. Влияние счётов на математическое мышление было достаточно сильным, что латинский тексты часто утверждали, что в процессе добавления «числа к числу» оба числа исчезают.^[46] В наше время инструкция ADD микропроцессор часто заменяет augend суммой, но сохраняет слагаемое.^[47] В язык программирования высокого уровня, оценивая а + б тоже не меняется а или же б; если цель - заменить а с суммой это должно быть явно запрошено, обычно с помощью оператора а = а + б. Некоторые языки, такие как C или же C ++ позвольте этому быть сокращенным как а += б.

// Итерационный алгоритмint Добавить(int Икс, int y) {    int нести = 0;    пока (y != 0) {              нести = И(Икс, y);   // Логическое И        Икс     = XOR(Икс, y);   // Логический XOR        y     = нести << 1;  // перенос битового сдвига влево на единицу    }    возвращаться Икс; }// Рекурсивный алгоритмint Добавить(int Икс, int y) {    возвращаться Икс если (y == 0) еще Добавить(XOR(Икс, y), И(Икс, y) << 1);}

На компьютере, если результат добавления слишком велик для сохранения, арифметическое переполнение возникает, что приводит к неправильному ответу. Непредвиденное арифметическое переполнение - довольно частая причина программные ошибки. Такие ошибки переполнения может быть трудно обнаружить и диагностировать, поскольку они могут проявляться только для очень больших наборов входных данных, которые с меньшей вероятностью будут использоваться в проверочных тестах.^[48] В Проблема 2000 года была серия ошибок, когда ошибки переполнения возникали из-за использования двухзначного формата в течение многих лет.^[49]

Сложение чисел

Чтобы доказать обычные свойства сложения, нужно сначала определить добавление для рассматриваемого контекста. Добавление сначала определяется на натуральные числа. В теория множеств, затем сложение распространяется на все более крупные наборы, включающие натуральные числа: целые числа, то рациональное число, а действительные числа.^[50] (В математическое образование,^[51] положительные дроби добавляются до того, как учитываются отрицательные числа; это тоже исторический путь.^[52])

Натуральные числа

Дальнейшая информация: Натуральное число

Есть два популярных способа определить сумму двух натуральных чисел. а и б. Если определить натуральные числа как мощности конечных множеств (мощность множества - это количество элементов в множестве), то их сумму целесообразно определить следующим образом:

• Пусть N (S) - мощность множества S. Возьмите два непересекающихся множества А и B, с N (А) = а и N (B) = б. потом а + б определяется как ${\displaystyle N(A\cup B)}$.^[53]

Здесь, А ∪ B это союз из А и B. Альтернативная версия этого определения позволяет А и B возможно перекрытие, а затем берет их несвязный союз, механизм, который позволяет разделять общие элементы и, следовательно, подсчитывать их дважды.

Другое популярное определение - рекурсивное:

• Позволять п⁺ быть преемник из п, это номер, следующий за п в натуральных числах, поэтому 0⁺=1, 1⁺= 2. Определять а + 0 = а. Рекурсивно определить общую сумму как а + (б⁺) = (а + б)⁺. Следовательно 1 + 1 = 1 + 0⁺ = (1 + 0)⁺ = 1⁺ = 2.^[54]

Опять же, в литературе есть незначительные вариации этого определения. Буквально, приведенное выше определение является применением теорема рекурсии на частично заказанный набор N².^[55] С другой стороны, некоторые источники предпочитают использовать ограниченную теорему рекурсии, которая применяется только к набору натуральных чисел. Затем считается а быть временно "исправленным", применяет рекурсию к б определить функцию "а + ", и вставляет эти унарные операции для всех а вместе, чтобы сформировать полную бинарную операцию.^[56]

Эта рекурсивная формулировка сложения была разработана Дедекиндом еще в 1854 году, и он расширит ее в следующие десятилетия.^[57] Он доказал ассоциативные и коммутативные свойства, среди прочего, с помощью математическая индукция.

Целые числа

Дальнейшая информация: Целое число

Простейшая концепция целого числа состоит в том, что оно состоит из абсолютная величина (которое является натуральным числом) и знак (обычно либо положительный или же отрицательный ). Целое число ноль - это особый третий случай, который не является ни положительным, ни отрицательным. Соответствующее определение сложения должно исходить из случаев:

• Для целого числа п, пусть |п| быть его абсолютным значением. Позволять а и б быть целыми числами. Если либо а или же б равен нулю, рассматривать его как личность. Если а и б оба положительны, определите а + б = |а| + |б|. Если а и б оба отрицательны, определите а + б = −(|а| + |б|). Если а и б иметь разные знаки, определить а + б быть разницей между |а| и |б|, со знаком члена, абсолютное значение которого больше.^[58] В качестве примера, −6 + 4 = −2; поскольку −6 и 4 имеют разные знаки, их абсолютные значения вычитаются, а поскольку абсолютное значение отрицательного члена больше, ответ отрицательный.

Хотя это определение может быть полезно для конкретных задач, количество рассматриваемых случаев излишне усложняет доказательства. Поэтому для определения целых чисел обычно используется следующий метод. Он основан на замечании о том, что каждое целое число представляет собой разность двух натуральных чисел и что две такие разности, а – б и c – d равны тогда и только тогда, когда а + d = б + cТаким образом, можно формально определить целые числа как классы эквивалентности из заказанные пары натуральных чисел под отношение эквивалентности

(а, б) ~ (c, d) если и только если а + d = б + c.

Класс эквивалентности (а, б) содержит либо (а – б, 0) если а ≥ б, или же (0, б – а) иначе. Если п натуральное число, можно обозначить +п класс эквивалентности (п, 0), и по –п класс эквивалентности (0, п). Это позволяет идентифицировать натуральное число п с классом эквивалентности +п.

Добавление упорядоченных пар производится покомпонентно:

${\displaystyle (a,b)+(c,d)=(a+c,b+d).}$

Прямое вычисление показывает, что класс эквивалентности результата зависит только от классов эквивалентности слагаемых, и, таким образом, это определяет добавление классов эквивалентности, то есть целых чисел.^[59] Другое прямое вычисление показывает, что это добавление совпадает с приведенным выше определением случая.

Этот способ определения целых чисел как классов эквивалентности пар натуральных чисел можно использовать для встраивания в группа любой коммутативный полугруппа с аннулирование собственности. Здесь полугруппа образована натуральными числами, а группа - аддитивной группой целых чисел. Аналогично строятся рациональные числа, взяв в качестве полугруппы ненулевые целые числа с умножением.

Эта конструкция также была обобщена под названием Группа Гротендик на случай любой коммутативной полугруппы. Без свойства отмены гомоморфизм полугрупп из полугруппы в группу может быть неинъективным. Первоначально Группа Гротендик точнее, результат этой конструкции был применен к классам эквивалентностей при изоморфизмах объектов абелева категория, с прямая сумма как полугрупповая операция.

Рациональные числа (дроби)

Добавление рациональное число можно вычислить с помощью наименьший общий знаменатель, но концептуально более простое определение включает только целочисленное сложение и умножение:

• Определять ${\displaystyle {\frac {a}{b}}+{\frac {c}{d}}={\frac {ad+bc}{bd}}.}$

Например, сумма ${\displaystyle {\frac {3}{4}}+{\frac {1}{8}}={\frac {3\times 8+4\times 1}{4\times 8}}={\frac {24+4}{32}}={\frac {28}{32}}={\frac {7}{8}}}$.

Сложить дроби намного проще, когда знаменатели одинаковые; в этом случае можно просто сложить числители, оставив знаменатель прежним: ${\displaystyle {\frac {a}{c}}+{\frac {b}{c}}={\frac {a+b}{c}}}$, так ${\displaystyle {\frac {1}{4}}+{\frac {2}{4}}={\frac {1+2}{4}}={\frac {3}{4}}}$.^[60]

Коммутативность и ассоциативность рационального сложения - простое следствие законов целочисленной арифметики.^[61] Для более строгого и общего обсуждения см. поле дробей.

Действительные числа

Добавление π²/ 6 и е используя дедекиндовские сокращения рациональных чисел.

Дальнейшая информация: Построение действительных чисел

Распространенной конструкцией множества действительных чисел является дедекиндовское пополнение множества рациональных чисел. Действительное число определяется как Дедекинда вырезать рациональных: a непустой набор рациональных чисел, которая закрыта вниз и не имеет величайший элемент. Сумма действительных чисел а и б определяется поэлементно:

• Определять ${\displaystyle a+b=\{q+r\mid q\in a,r\in b\}.}$^[62]

Это определение было впервые опубликовано в слегка измененной форме Ричард Дедекинд в 1872 г.^[63]Коммутативность и ассоциативность действительного сложения очевидны; определяя действительное число 0 как набор отрицательных рациональных чисел, легко увидеть, что это аддитивная идентичность. Вероятно, самая сложная часть этой конструкции, относящаяся к сложению, - это определение аддитивных обратных величин.^[64]

Добавление π²/ 6 и е с использованием последовательностей рациональных чисел Коши.

К сожалению, умножение сокращений Дедекинда - это трудоемкий индивидуальный процесс, аналогичный сложению целых чисел со знаком.^[65] Другой подход - метрическое пополнение рациональных чисел. Действительное число по существу определяется как предел Последовательность Коши рациональных чисел, limа_п. Дополнение определяется по срокам:

• Определять ${\displaystyle \lim _{n}a_{n}+\lim _{n}b_{n}=\lim _{n}(a_{n}+b_{n}).}$^[66]

Это определение было впервые опубликовано Георг Кантор, также в 1872 году, хотя его формализм несколько отличался.^[67]Необходимо доказать, что эта операция корректно определена, имея дело с ко-последовательностями Коши. Как только эта задача будет выполнена, все свойства реального сложения немедленно следуют из свойств рациональных чисел. Более того, другие арифметические операции, включая умножение, имеют простые аналогичные определения.^[68]

Сложные числа

Сложить два комплексных числа можно геометрически, построив параллелограмм.

Комплексные числа складываются путем сложения действительной и мнимой частей слагаемых.^[69][70] То есть:

${\displaystyle (a+bi)+(c+di)=(a+c)+(b+d)i.}$

Используя визуализацию комплексных чисел на комплексной плоскости, сложение имеет следующую геометрическую интерпретацию: сумма двух комплексных чисел А и B, интерпретируемая как точки комплексной плоскости, является точкой Икс полученный путем создания параллелограмм три из которых вершины О, А и B. Эквивалентно, Икс такая точка, что треугольники с вершинами О, А, B, и Икс, B, А, находятся конгруэнтный.

Обобщения

Есть много бинарных операций, которые можно рассматривать как обобщения операции сложения действительных чисел. Поле абстрактная алгебра занимается такими обобщенными операциями, и они также появляются в теория множеств и теория категорий.

Абстрактная алгебра

Векторы

Основная статья: Сложение вектора

В линейная алгебра, а векторное пространство представляет собой алгебраическую структуру, которая позволяет добавлять любые два векторов и для масштабирования векторов. Знакомое векторное пространство - это набор всех упорядоченных пар действительных чисел; заказанная пара (а,б) интерпретируется как вектор от начала координат на евклидовой плоскости до точки (а,б) в плоскости. Сумма двух векторов получается сложением их индивидуальных координат:

${\displaystyle (a,b)+(c,d)=(a+c,b+d).}$

Эта операция сложения является центральной для классическая механика, в котором векторы интерпретируются как силы.

Матрицы

Основная статья: Сложение матрицы

Сложение матриц определяется для двух матриц одинаковых размеров. Сумма двух м × п (произносится как "м на п") матрицы А и B, обозначаемый А + B, снова м × п матрица, вычисляемая путем добавления соответствующих элементов:^[71][72]

${\displaystyle {\begin{aligned}\mathbf {A} +\mathbf {B} &={\begin{bmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{bmatrix}}+{\begin{bmatrix}b_{11}&b_{12}&\cdots &b_{1n}\\b_{21}&b_{22}&\cdots &b_{2n}\\\vdots &\vdots &\ddots &\vdots \\b_{m1}&b_{m2}&\cdots &b_{mn}\\\end{bmatrix}}\\&={\begin{bmatrix}a_{11}+b_{11}&a_{12}+b_{12}&\cdots &a_{1n}+b_{1n}\\a_{21}+b_{21}&a_{22}+b_{22}&\cdots &a_{2n}+b_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}+b_{m1}&a_{m2}+b_{m2}&\cdots &a_{mn}+b_{mn}\\\end{bmatrix}}\\\end{aligned}}}$

For example:

${\displaystyle {\begin{bmatrix}1&3\\1&0\\1&2\end{bmatrix}}+{\begin{bmatrix}0&0\\7&5\\2&1\end{bmatrix}}={\begin{bmatrix}1+0&3+0\\1+7&0+5\\1+2&2+1\end{bmatrix}}={\begin{bmatrix}1&3\\8&5\\3&3\end{bmatrix}}}$

Modular arithmetic

Основная статья: Modular arithmetic

В modular arithmetic, the set of integers modulo 12 has twelve elements; it inherits an addition operation from the integers that is central to musical set theory. The set of integers modulo 2 has just two elements; the addition operation it inherits is known in Boolean logic as the "exclusive or " function. In геометрия, the sum of two angle measures is often taken to be their sum as real numbers modulo 2π. This amounts to an addition operation on the круг, which in turn generalizes to addition operations on many-dimensional tori.

Общая теория

The general theory of abstract algebra allows an "addition" operation to be any associative и commutative operation on a set. Базовый algebraic structures with such an addition operation include commutative monoids и abelian groups.

Set theory and category theory

A far-reaching generalization of addition of natural numbers is the addition of ordinal numbers и cardinal numbers in set theory. These give two different generalizations of addition of natural numbers to the transfinite. Unlike most addition operations, addition of ordinal numbers is not commutative. Addition of cardinal numbers, however, is a commutative operation closely related to the disjoint union operation.

В category theory, disjoint union is seen as a particular case of the coproduct operation, and general coproducts are perhaps the most abstract of all the generalizations of addition. Some coproducts, such as direct sum и wedge sum, are named to evoke their connection with addition.

Related operations

Addition, along with subtraction, multiplication and division, is considered one of the basic operations and is used in elementary arithmetic.

Арифметика

Subtraction can be thought of as a kind of addition—that is, the addition of an additive inverse. Subtraction is itself a sort of inverse to addition, in that adding Икс and subtracting Икс находятся inverse functions.

Given a set with an addition operation, one cannot always define a corresponding subtraction operation on that set; the set of natural numbers is a simple example. On the other hand, a subtraction operation uniquely determines an addition operation, an additive inverse operation, and an additive identity; for this reason, an additive group can be described as a set that is closed under subtraction.^[73]

Multiplication can be thought of as repeated addition. If a single term Икс appears in a sum п times, then the sum is the product of п и Икс. Если п is not a натуральное число, the product may still make sense; for example, multiplication by −1 yields the additive inverse of a number.

A circular slide rule

In the real and complex numbers, addition and multiplication can be interchanged by the exponential function:^[74]

${\displaystyle e^{a+b}=e^{a}e^{b}.}$

This identity allows multiplication to be carried out by consulting a стол из logarithms and computing addition by hand; it also enables multiplication on a slide rule. The formula is still a good first-order approximation in the broad context of Lie groups, where it relates multiplication of infinitesimal group elements with addition of vectors in the associated Lie algebra.^[75]

There are even more generalizations of multiplication than addition.^[76] In general, multiplication operations always distribute over addition; this requirement is formalized in the definition of a звенеть. In some contexts, such as the integers, distributivity over addition and the existence of a multiplicative identity is enough to uniquely determine the multiplication operation. The distributive property also provides information about addition; by expanding the product (1 + 1)(а + б) in both ways, one concludes that addition is forced to be commutative. For this reason, ring addition is commutative in general.^[77]

Разделение is an arithmetic operation remotely related to addition. С а/б = а(б⁻¹), division is right distributive over addition: (а + б) / c = а/c + б/c.^[78] However, division is not left distributive over addition; 1 / (2 + 2) is not the same as 1/2 + 1/2.

Ordering

Log-log plot из Икс + 1 и max (Икс, 1) из Икс = 0.001 to 1000^[79]

The maximum operation "max (а, б)" is a binary operation similar to addition. In fact, if two nonnegative numbers а и б are of different порядки величины, then their sum is approximately equal to their maximum. This approximation is extremely useful in the applications of mathematics, for example in truncating Taylor series. However, it presents a perpetual difficulty in numerical analysis, essentially since "max" is not invertible. Если б is much greater than а, then a straightforward calculation of (а + б) − б can accumulate an unacceptable round-off error, perhaps even returning zero. Смотрите также Loss of significance.

The approximation becomes exact in a kind of infinite limit; if either а или же б is an infinite cardinal number, their cardinal sum is exactly equal to the greater of the two.^[80] Accordingly, there is no subtraction operation for infinite cardinals.^[81]

Maximization is commutative and associative, like addition. Furthermore, since addition preserves the ordering of real numbers, addition distributes over "max" in the same way that multiplication distributes over addition:

${\displaystyle a+\max(b,c)=\max(a+b,a+c).}$

For these reasons, in tropical geometry one replaces multiplication with addition and addition with maximization. In this context, addition is called "tropical multiplication", maximization is called "tropical addition", and the tropical "additive identity" is negative infinity.^[82] Some authors prefer to replace addition with minimization; then the additive identity is positive infinity.^[83]

Tying these observations together, tropical addition is approximately related to regular addition through the логарифм:

${\displaystyle \log(a+b)\approx \max(\log a,\log b),}$

which becomes more accurate as the base of the logarithm increases.^[84] The approximation can be made exact by extracting a constant час, named by analogy with Постоянная Планка из квантовая механика,^[85] and taking the "classical limit " as час tends to zero:

${\displaystyle \max(a,b)=\lim _{h\to 0}h\log(e^{a/h}+e^{b/h}).}$

In this sense, the maximum operation is a dequantized version of addition.^[86]

Other ways to add

Incrementation, also known as the successor operation, is the addition of 1 to a number.

Суммирование describes the addition of arbitrarily many numbers, usually more than just two. It includes the idea of the sum of a single number, which is itself, and the empty sum, which is нуль.^[87] An infinite summation is a delicate procedure known as a серии.^[88]

Counting a finite set is equivalent to summing 1 over the set.

Интеграция is a kind of "summation" over a континуум, or more precisely and generally, over a differentiable manifold. Integration over a zero-dimensional manifold reduces to summation.

Linear combinations combine multiplication and summation; they are sums in which each term has a multiplier, usually a настоящий или же сложный number. Linear combinations are especially useful in contexts where straightforward addition would violate some normalization rule, such as смешивание из strategies в game theory или же superposition из состояния в квантовая механика.

Convolution is used to add two independent random variables определяется distribution functions. Its usual definition combines integration, subtraction, and multiplication. In general, convolution is useful as a kind of domain-side addition; by contrast, vector addition is a kind of range-side addition.

Смотрите также

• Mental arithmetic
• Parallel addition (mathematics)
• Verbal arithmetic (also known as cryptarithms), puzzles involving addition

Примечания

1. "Addend" is not a Latin word; in Latin it must be further conjugated, as in numerus addendus "the number to be added".
2. Some authors think that "carry" may be inappropriate for education; Van de Walle (p. 211) calls it "obsolete and conceptually misleading", preferring the word "trade". However, "carry" remains the standard term.

Сноски

1. From Enderton (p. 138): "...select two sets K и L with card K = 2 and card L = 3. Sets of fingers are handy; sets of apples are preferred by textbooks."
2. "Comprehensive List of Algebra Symbols". Math Vault. 2020-03-25. Получено 2020-08-25.
3. "Addition". www.mathsisfun.com. Получено 2020-08-25.
4. Devine et al. п. 263
5. Mazur, Joseph. Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers. Princeton University Press, 2014. p. 161
6. Department of the Army (1961) Army Technical Manual TM 11-684: Principles and Applications of Mathematics for Communications-Electronics. Section 5.1
7. Shmerko, V.P.; Yanushkevich [Ânuškevič], Svetlana N. [Svitlana N.]; Lyshevski, S.E. (2009). Computer arithmetics for nanoelectronics. CRC Press. п. 80.
8. Schmid, Hermann (1974). Decimal Computation (1-е изд.). Binghamton, NY: Джон Уайли и сыновья. ISBN  0-471-76180-X. и Schmid, Hermann (1983) [1974]. Decimal Computation (reprint of 1st ed.). Malabar, FL: Robert E. Krieger Publishing Company. ISBN  978-0-89874-318-0.
9. Вайсштейн, Эрик В. "Addition". mathworld.wolfram.com. Получено 2020-08-25.
10. Hosch, W.L. (Ed.). (2010). The Britannica Guide to Numbers and Measurement. The Rosen Publishing Group. п. 38
11. Schwartzman p. 19
12. Karpinski pp. 56–57, reproduced on p. 104
13. Schwartzman (p. 212) attributes adding upwards to the Греки и Римляне, saying it was about as common as adding downwards. On the other hand, Karpinski (p. 103) writes that Leonard of Pisa "introduces the novelty of writing the sum above the addends"; it is unclear whether Karpinski is claiming this as an original invention or simply the introduction of the practice to Europe.
14. Karpinski pp. 150–153
15. Cajori, Florian (1928). "Origin and meanings of the signs + and -". A History of Mathematical Notations, Vol. 1. The Open Court Company, Publishers.
16. "plus". Оксфордский словарь английского языка (Online ed.). Издательство Оксфордского университета. (Подписка или participating institution membership требуется.)
17. See Viro 2001 for an example of the sophistication involved in adding with sets of "fractional cardinality".
18. Adding it up (p. 73) compares adding measuring rods to adding sets of cats: "For example, inches can be subdivided into parts, which are hard to tell from the wholes, except that they are shorter; whereas it is painful to cats to divide them into parts, and it seriously changes their nature."
19. Mosley, F. (2001). Using number lines with 5–8 year olds. Nelson Thornes. п. 8
20. Li, Y., & Lappan, G. (2014). Mathematics curriculum in school education. Springer. п. 204
21. Bronstein, Ilja Nikolaevič; Semendjajew, Konstantin Adolfovič (1987) [1945]. "2.4.1.1.". In Grosche, Günter; Ziegler, Viktor; Ziegler, Dorothea (eds.). Taschenbuch der Mathematik (на немецком). 1. Translated by Ziegler, Viktor. Weiß, Jürgen (23 ed.). Thun and Frankfurt am Main: Verlag Harri Deutsch (и B.G. Teubner Verlagsgesellschaft, Leipzig). pp. 115–120. ISBN  978-3-87144-492-0.
22. Kaplan pp. 69–71
23. Hempel, C.G. (2001). The philosophy of Carl G. Hempel: studies in science, explanation, and rationality. п. 7
24. R. Fierro (2012) Mathematics for Elementary School Teachers. Cengage Learning. Sec 2.3
25. Wynn p. 5
26. Wynn p. 15
27. Wynn p. 17
28. Wynn p. 19
29. Randerson, James (21 August 2008). "Elephants have a head for figures". Хранитель. В архиве из оригинала 2 апреля 2015 г.. Получено 29 марта 2015.
30. F. Smith p. 130
31. Carpenter, Thomas; Fennema, Elizabeth; Franke, Megan Loef; Levi, Linda; Empson, Susan (1999). Children's mathematics: Cognitively guided instruction. Portsmouth, NH: Heinemann. ISBN  978-0-325-00137-1.
32. Henry, Valerie J.; Brown, Richard S. (2008). "First-grade basic facts: An investigation into teaching and learning of an accelerated, high-demand memorization standard". Journal for Research in Mathematics Education. 39 (2): 153–183. Дои:10.2307/30034895. JSTOR  30034895.
33. Beckmann, S. (2014). The twenty-third ICMI study: primary mathematics study on whole numbers. International Journal of STEM Education, 1(1), 1-8.Chicago
34. Schmidt, W., Houang, R., & Cogan, L. (2002). "A coherent curriculum". American Educator, 26(2), 1–18.
35. Fosnot and Dolk p. 99
36. Rebecca Wingard-Nelson (2014) Decimals and Fractions: It's Easy Enslow Publishers, Inc.
37. Dale R. Patrick, Stephen W. Fardo, Vigyan Chandra (2008) Electronic Digital System Fundamentals The Fairmont Press, Inc. p. 155
38. P.E. Bates Bothman (1837) The common school arithmetic. Henry Benton. п. 31
39. Truitt and Rogers pp. 1;44–49 and pp. 2;77–78
40. Ifrah, Georges (2001). The Universal History of Computing: From the Abacus to the Quantum Computer. New York: John Wiley & Sons, Inc. ISBN  978-0-471-39671-0. п. 11
41. Jean Marguin, п. 48 (1994) ; Quoting René Taton (1963)
42. Видеть Competing designs in Pascal's calculator article
43. Flynn and Overman pp. 2, 8
44. Flynn and Overman pp. 1–9
45. Yeo, Sang-Soo, et al., eds. Algorithms and Architectures for Parallel Processing: 10th International Conference, ICA3PP 2010, Busan, Korea, May 21–23, 2010. Proceedings. Vol. 1. Springer, 2010. p. 194
46. Karpinski pp. 102–103
47. The identity of the augend and addend varies with architecture. For ADD in x86 see Horowitz and Hill p. 679; for ADD in 68 тыс. see p. 767.
48. Joshua Bloch, "Extra, Extra – Read All About It: Nearly All Binary Searches and Mergesorts are Broken" В архиве 2016-04-01 at the Wayback Machine. Official Google Research Blog, June 2, 2006.
49. Neumann, Peter G. "The Risks Digest Volume 4: Issue 45". The Risks Digest. В архиве from the original on 2014-12-28. Получено 2015-03-30.
50. Enderton chapters 4 and 5, for example, follow this development.
51. According to a survey of the nations with highest TIMSS mathematics test scores; see Schmidt, W., Houang, R., & Cogan, L. (2002). A coherent curriculum. American educator, 26(2), p. 4.
52. Baez (p. 37) explains the historical development, in "stark contrast" with the set theory presentation: "Apparently, half an apple is easier to understand than a negative apple!"
53. Begle p. 49, Johnson p. 120, Devine et al. п. 75
54. Enderton p. 79
55. For a version that applies to any poset with the descending chain condition, see Bergman p. 100.
56. Enderton (p. 79) observes, "But we want one binary operation +, not all these little one-place functions."
57. Ferreirós p. 223
58. K. Smith p. 234, Sparks and Rees p. 66
59. Enderton p. 92
60. Schyrlet Cameron, and Carolyn Craig (2013)Adding and Subtracting Fractions, Grades 5–8 Mark Twain, Inc.
61. The verifications are carried out in Enderton p. 104 and sketched for a general field of fractions over a commutative ring in Dummit and Foote p. 263.
62. Enderton p. 114
63. Ferreirós p. 135; see section 6 of Stetigkeit und irrationale Zahlen В архиве 2005-10-31 at the Wayback Machine.
64. The intuitive approach, inverting every element of a cut and taking its complement, works only for irrational numbers; see Enderton p. 117 for details.
65. Schubert, E. Thomas, Phillip J. Windley, and James Alves-Foss. "Higher Order Logic Theorem Proving and Its Applications: Proceedings of the 8th International Workshop, volume 971 of." Lecture Notes in Computer Science (1995).
66. Textbook constructions are usually not so cavalier with the "lim" symbol; see Burrill (p. 138) for a more careful, drawn-out development of addition with Cauchy sequences.
67. Ferreirós p. 128
68. Burrill p. 140
69. Conway, John B. (1986), Functions of One Complex Variable I, Спрингер, ISBN  978-0-387-90328-6
70. Joshi, Kapil D (1989), Foundations of Discrete Mathematics, Нью-Йорк: Джон Уайли и сыновья, ISBN  978-0-470-21152-6
71. Lipschutz, S., & Lipson, M. (2001). Schaum's outline of theory and problems of linear algebra. Erlangga.
72. Riley, K.F.; Hobson, M.P.; Bence, S.J. (2010). Mathematical methods for physics and engineering. Издательство Кембриджского университета. ISBN  978-0-521-86153-3.
73. The set still must be nonempty. Dummit and Foote (p. 48) discuss this criterion written multiplicatively.
74. Rudin p. 178
75. Lee p. 526, Proposition 20.9
76. Linderholm (p. 49) observes, "By multiplication, properly speaking, a mathematician may mean practically anything. К addition he may mean a great variety of things, but not so great a variety as he will mean by 'multiplication'."
77. Dummit and Foote p. 224. For this argument to work, one still must assume that addition is a group operation and that multiplication has an identity.
78. For an example of left and right distributivity, see Loday, especially p. 15.
79. Compare Viro Figure 1 (p. 2)
80. Enderton calls this statement the "Absorption Law of Cardinal Arithmetic"; it depends on the comparability of cardinals and therefore on the Axiom of Choice.
81. Enderton p. 164
82. Mikhalkin p. 1
83. Akian et al. п. 4
84. Mikhalkin p. 2
85. Litvinov et al. п. 3
86. Viro p. 4
87. Martin p. 49
88. Stewart p. 8

Рекомендации

История

• Ferreirós, José (1999). Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Birkhäuser. ISBN  978-0-8176-5749-9.
• Karpinski, Louis (1925). The History of Arithmetic. Рэнд МакНелли. LCC  QA21.K3.
• Schwartzman, Steven (1994). The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English. MAA. ISBN  978-0-88385-511-9.
• Williams, Michael (1985). A History of Computing Technology. Prentice-Hall. ISBN  978-0-13-389917-7.

Elementary mathematics

• Sparks, F.; Rees C. (1979). A Survey of Basic Mathematics. Макгроу-Хилл. ISBN  978-0-07-059902-4.

Образование

• Begle, Edward (1975). The Mathematics of the Elementary School. Макгроу-Хилл. ISBN  978-0-07-004325-1.
• California State Board of Education mathematics content standards Adopted December 1997, accessed December 2005.
• Devine, D.; Olson, J.; Olson, M. (1991). Elementary Mathematics for Teachers (2e ed.). Wiley. ISBN  978-0-471-85947-5.
• Национальный исследовательский совет (2001). Adding It Up: Helping Children Learn Mathematics. National Academy Press. Дои:10.17226/9822. ISBN  978-0-309-06995-3.
• Van de Walle, John (2004). Elementary and Middle School Mathematics: Teaching developmentally (5e ed.). Пирсон. ISBN  978-0-205-38689-5.

Cognitive science

• Fosnot, Catherine T.; Dolk, Maarten (2001). Young Mathematicians at Work: Constructing Number Sense, Addition, and Subtraction. Heinemann. ISBN  978-0-325-00353-5.
• Wynn, Karen (1998). "Numerical competence in infants". The Development of Mathematical Skills. Тейлор и Фрэнсис. ISBN  0-86377-816-X.

Mathematical exposition

• Bogomolny, Alexander (1996). "Addition". Interactive Mathematics Miscellany and Puzzles (cut-the-knot.org). В архиве from the original on April 26, 2006. Получено 3 февраля 2006.
• Dunham, William (1994). The Mathematical Universe. Вайли. ISBN  978-0-471-53656-7.
• Johnson, Paul (1975). From Sticks and Stones: Personal Adventures in Mathematics. Science Research Associates. ISBN  978-0-574-19115-1.
• Linderholm, Carl (1971). Mathematics Made Difficult. Wolfe. ISBN  978-0-7234-0415-6.
• Smith, Frank (2002). The Glass Wall: Why Mathematics Can Seem Difficult. Teachers College Press. ISBN  978-0-8077-4242-6.
• Smith, Karl (1980). The Nature of Modern Mathematics (3-е изд.). Wadsworth. ISBN  978-0-8185-0352-8.

Advanced mathematics

• Bergman, George (2005). An Invitation to General Algebra and Universal Constructions (2.3 ed.). General Printing. ISBN  978-0-9655211-4-7.
• Burrill, Claude (1967). Foundations of Real Numbers. Макгроу-Хилл. LCC  QA248.B95.
• Dummit, D.; Foote, R. (1999). Abstract Algebra (2 ed.). Вайли. ISBN  978-0-471-36857-1.
• Enderton, Herbert (1977). Elements of Set Theory. Academic Press. ISBN  978-0-12-238440-0.
• Lee, John (2003). Introduction to Smooth Manifolds. Springer. ISBN  978-0-387-95448-6.
• Martin, John (2003). Introduction to Languages and the Theory of Computation (3-е изд.). Макгроу-Хилл. ISBN  978-0-07-232200-2.
• Rudin, Walter (1976). Principles of Mathematical Analysis (3-е изд.). Макгроу-Хилл. ISBN  978-0-07-054235-8.
• Stewart, James (1999). Calculus: Early Transcendentals (4 ed.). Brooks/Cole. ISBN  978-0-534-36298-0.

Mathematical research

• Akian, Marianne; Bapat, Ravindra; Gaubert, Stephane (2005). "Min-plus methods in eigenvalue perturbation theory and generalised Lidskii-Vishik-Ljusternik theorem". INRIA Reports. arXiv:math.SP/0402090. Bibcode:2004math......2090A.
• Baez, J.; Dolan, J. (2001). Mathematics Unlimited – 2001 and Beyond. From Finite Sets to Feynman Diagrams. п. 29. arXiv:math.QA/0004133. ISBN  3-540-66913-2.
• Litvinov, Grigory; Maslov, Victor; Sobolevskii, Andreii (1999). Idempotent mathematics and interval analysis. Reliable Computing, Kluwer.
• Loday, Jean-Louis (2002). "Arithmetree". Journal of Algebra. 258: 275. arXiv:math/0112034. Дои:10.1016/S0021-8693(02)00510-0.
• Mikhalkin, Grigory (2006). Sanz-Solé, Marta (ed.). Proceedings of the International Congress of Mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures. Tropical Geometry and its Applications. Zürich: European Mathematical Society. pp. 827–852. arXiv:math.AG/0601041. ISBN  978-3-03719-022-7. Zbl  1103.14034.
• Viro, Oleg (2001). Cascuberta, Carles; Miró-Roig, Rosa Maria; Verdera, Joan; Xambó-Descamps, Sebastià (eds.). European Congress of Mathematics: Barcelona, July 10–14, 2000, Volume I. Dequantization of Real Algebraic Geometry on Logarithmic Paper. Progress in Mathematics. 201. Базель: Биркхойзер. pp. 135–146. arXiv:math/0005163. Bibcode:2000math......5163V. ISBN  978-3-7643-6417-5. Zbl  1024.14026.

Вычисление

• Flynn, M.; Oberman, S. (2001). Advanced Computer Arithmetic Design. Вайли. ISBN  978-0-471-41209-0.
• Horowitz, P.; Hill, W. (2001). The Art of Electronics (2 ed.). Cambridge UP. ISBN  978-0-521-37095-0.
• Jackson, Albert (1960). Analog Computation. Макгроу-Хилл. LCC  QA76.4 J3.
• Truitt, T.; Rogers, A. (1960). Basics of Analog Computers. John F. Rider. LCC  QA76.4 T7.
• Marguin, Jean (1994). Histoire des Instruments et Machines à Calculer, Trois Siècles de Mécanique Pensante 1642–1942 (На французском). Hermann. ISBN  978-2-7056-6166-3.
• Taton, René (1963). Le Calcul Mécanique. Que Sais-Je ? n° 367 (На французском). Presses universitaires de France. pp. 20–28.

дальнейшее чтение

• Baroody, Arthur; Tiilikainen, Sirpa (2003). The Development of Arithmetic Concepts and Skills. Two perspectives on addition development. Рутледж. п.75. ISBN  0-8058-3155-X.
• Davison, David M.; Landau, Marsha S.; McCracken, Leah; Thompson, Linda (1999). Mathematics: Explorations & Applications (TE ed.). Prentice Hall. ISBN  978-0-13-435817-8.
• Bunt, Lucas N.H.; Jones, Phillip S.; Bedient, Jack D. (1976). The Historical roots of Elementary Mathematics. Prentice-Hall. ISBN  978-0-13-389015-0.
• Poonen, Bjorn (2010). "Addition". Girls' Angle Bulletin. 3 (3–5). ISSN  2151-5743.
• Weaver, J. Fred (1982). Addition and Subtraction: A Cognitive Perspective. Interpretations of Number Operations and Symbolic Representations of Addition and Subtraction. Тейлор и Фрэнсис. п. 60. ISBN  0-89859-171-6.