Добавление

Чтобы узнать о других значениях, см. Дополнение (значения) .

«Добавить» перенаправляется сюда. Чтобы узнать о других значениях, см. ADD (значения) .

3+2=5 с яблоками — популярный выбор в учебниках.

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

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

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

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

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

Знак плюс

Сложение записывается со знаком плюса «+» между слагаемыми; то есть в инфиксной записи . Результат выражается знаком равенства . Например,

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

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

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

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

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

• Целое число, за которым сразу следует дробь , указывает на сумму двух, называемую смешанным числом . Например, $$3{\frac {1}{2}}=3+{\frac {1}{2}}=3.5.$$ Это обозначение может вызвать путаницу, поскольку в большинстве других контекстов сопоставление вместо этого означает умножение .

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

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

Условия

Числа или объекты, которые должны быть добавлены в общем сложении, вместе называются терминами . дополнения ​ или слагаемые ; эта терминология переносится на суммирование нескольких терминов. Его следует отличать от факторов , которые умножаются . Некоторые авторы называют первое дополнение augend . Фактически, в эпоху Возрождения многие авторы вообще не считали первое добавление «добавлением». Сегодня из-за коммутативности сложения «augend» используется редко, и оба термина обычно называются сложениями.

Вся приведенная выше терминология происходит от латыни . « Добавление » и « добавить » — английские слова, происходящие от латинского глагола addere , который, в свою очередь, представляет собой соединение слов « ad » «кому» и « смело давать», от протоиндоевропейского корня *deh₃- «давать». ; таким образом, добавить — значит дать . Использование герундия суффикса -nd приводит к «добавлению», «вещи, которую нужно добавить». Точно так же от augere «увеличивать» получается «augend», «вещь, которую нужно увеличить».

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

«Сумма» и «слагаемое» происходят от латинского существительного summa «самый высокий, вершина» и связанного с ним глагола summare . Это уместно не только потому, что сумма двух положительных чисел больше любого из них, но и потому, что древние греки и римляне обычно добавляли вверх, в отличие от современной практики сложения вниз, так что сумма была буквально больше, чем сумма двух положительных чисел. добавляет. Addere и summare восходят по крайней мере к Боэцию , если не к более ранним римским авторам, таким как Витрувий и Фронтин ; Боэций также использовал несколько других терминов для обозначения операции сложения. Более поздние среднеанглийские термины «добавление» и «добавление» были популяризированы Чосером .

Знак плюс «+» ( Unicode :U+002B; ASCII : +) — аббревиатура латинского слова et , означающего «и». Оно появляется в математических работах, датируемых как минимум 1489 годом.

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

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

Объединение наборов

В одном наборе 3 фигуры, в другом — 2. Общее количество фигур равно 5, что является следствием сложения объектов из двух наборов (3 + 2 = 5).

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

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

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

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

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

Визуализация алгебраического сложения 2 + 4 = 6 в виде числовой строки. «Прыжок» с расстоянием 2, за которым следует другой, длиной 4, аналогичен сдвигу на 6.

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

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

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

Сумма a + b может интерпретироваться как бинарная операция , объединяющая a и b в алгебраическом смысле, или как добавление b дополнительных единиц к a . Согласно последней интерпретации, части суммы a + b играют асимметричные роли, а операция a + b рассматривается как применение унарной операции + b к a . Вместо вызова дополнений a и b этом случае более уместно вызвать , augend в поскольку a играет пассивную роль. Унарное представление также полезно при обсуждении вычитания , поскольку каждая унарная операция сложения имеет обратную унарную операцию вычитания, и наоборот .

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

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

4 + 2 = 2 + 4 с кубиками

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

а + б знак равно б + а .

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

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

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

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

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

Когда сложение используется вместе с другими операциями, порядок операций становится важным. В стандартном порядке операций сложение имеет более низкий приоритет, чем возведение в степень , корни n-й степени , умножение и деление, но имеет равный приоритет с вычитанием.

Элемент идентификации

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

Добавление нуля к любому числу не меняет число; это означает, что ноль является единичным элементом сложения и также известен как аддитивная идентичность . В символах для каждого a имеется

а + 0 знак равно 0 + а знак равно а .

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

Преемник

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

Единицы

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

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

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

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

Даже некоторые животные, кроме человека, демонстрируют ограниченную способность к сложению, особенно приматы . В эксперименте 1995 года, имитирующем результат Винна 1992 года (но с использованием баклажанов вместо кукол), макаки-резусы и обезьяны -тамарины вели себя так же, как человеческие младенцы. Еще более впечатляюще то, что после обучения значениям арабских цифр от 0 до 4 один шимпанзе смог вычислить сумму двух цифр без дальнейшего обучения. Совсем недавно азиатские слоны продемонстрировали способность выполнять базовые арифметические действия.

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

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

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

Стол

Детям часто предлагают для запоминания таблицу сложения пар чисел от 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 однозначных «фактов сложения». Можно было бы запомнить все факты наизусть , но стратегии, основанные на шаблонах, более информативны и для большинства людей более эффективны:

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

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

Нести

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

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

  ¹
  27
+ 59
————
  86

7 + 9 = 16, а цифра 1 — это перенос. Альтернативная стратегия начинает сложение с самой старшей цифры слева; этот маршрут делает перенос немного более громоздким, но позволяет быстрее получить приблизительную оценку суммы. Существует множество альтернативных методов.

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

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

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

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

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

Научное обозначение

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

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

Например:

$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}$

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

Основная статья: Двоичное сложение

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

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 ¹ ))

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

  1 1 1 1 1    (carried digits)
    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 ₁₀ ).

Компьютеры

Дополнение с ОУ. см . в разделе «Суммирующий усилитель» . Подробности

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

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

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

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

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

Логическая схема « полного сумматора », которая складывает две двоичные цифры A и B вместе с входным сигналом переноса C _in , создавая бит суммы S и выходной сигнал переноса C _out .

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

На практике вычислительное сложение может быть достигнуто с помощью поразрядных логических операций XOR и AND в сочетании с операциями побитового сдвига, как показано в псевдокоде ниже. И логические элементы XOR, и AND легко реализовать в цифровой логике, что позволяет реализовать полные сумматоры, которые, в свою очередь, могут быть объединены в более сложные логические операции. В современных цифровых компьютерах сложение целых чисел обычно является самой быстрой арифметической инструкцией, однако оно оказывает наибольшее влияние на производительность, поскольку лежит в основе всех операций с плавающей запятой , а также таких основных задач, как адреса генерация во время доступа к памяти и выборка инструкций во время ветвления . Чтобы увеличить скорость, современные конструкции вычисляют цифры параллельно ; эти схемы носят такие названия, как «carry select», «carry Lookahead» и «псевдоперенос Ling» . Многие реализации, по сути, являются гибридами этих трех последних проектов. В отличие от сложения на бумаге, сложение на компьютере часто меняет слагаемые. На древних счетах и ​​счетной доске оба слагаемых уничтожаются, остается только сумма. Влияние счетов на математическое мышление было настолько сильным, что в ранних латинских текстах часто утверждалось, что в процессе прибавления «числа к числу» оба числа исчезают. В наше время инструкция ADD микропроцессора часто заменяет прибавление суммой, но сохраняет слагаемое. В языке программирования высокого уровня вычисление a + b не меняет ни a, ни b ; если цель состоит в том, чтобы заменить a суммой, это должно быть явно запрошено, обычно с помощью оператора a = a + b . Некоторые языки, такие как C или C++, допускают сокращение до a += b .

// Iterative algorithm
int add(int x, int y) {
    int carry = 0;
    while (y != 0) {      
        carry = AND(x, y);   // Logical AND
        x     = XOR(x, y);   // Logical XOR
        y     = carry << 1;  // left bitshift carry by one
    }
    return x; 
}

// Recursive algorithm
int add(int x, int y) {
    return x if (y == 0) else add(XOR(x, y), AND(x, y) << 1);
}

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

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

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

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

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

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

• Пусть N( S ) — мощность множества S . Возьмем два непересекающихся множества A и B , причем N( A ) = a и N( B ) = b . Тогда a + b определяется как $N(A\cup B)$.

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

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

• Пусть н ⁺ быть преемником n , то есть числа, следующего за n в натуральных числах, поэтому 0 ⁺ = 1 , 1 ⁺ = 2 . Определите а + 0 = а . Определим общую сумму рекурсивно по формуле a + ( b ⁺ ) = ( а + б ) ⁺ . Следовательно 1 + 1 = 1 + 0 ⁺ = (1 + 0) ⁺ = 1 ⁺ = 2 .

Опять же, в литературе имеются незначительные вариации этого определения. Если понимать буквально, приведенное выше определение представляет собой применение теоремы о рекурсии к частично упорядоченному множеству N ² . С другой стороны, некоторые источники предпочитают использовать теорему об ограниченной рекурсии, применимую только к множеству натуральных чисел. Затем считается, a что временно «фиксировано», применяется рекурсия к b для определения функции « a +» и объединяется эти унарные операции для всех a вместе, чтобы сформировать полную бинарную операцию.

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

Целые числа

Дополнительная информация: Целое число.

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

• Для целого числа n пусть | п | быть его абсолютным значением. Пусть a и b — целые числа. Если a или b равно нулю, рассматривайте это как тождество. Если a и b оба положительны, определите a + b = | а | + | б | . Если a и b оба отрицательны, определите a + b = −(| a | + | b |) . Если a и b имеют разные знаки, определите a + b как разность между | а | и | b |, со знаком того слагаемого, абсолютное значение которого больше. Например, −6 + 4 = −2 ; поскольку -6 и 4 имеют разные знаки, их абсолютные значения вычитаются, а поскольку абсолютное значение отрицательного члена больше, ответ отрицательный.

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

( a , b ) ~ ( c , d ) тогда и только тогда, когда a + d = b + c .

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

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

$(a,b)+(c,d)=(a+c,b+d).$

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

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

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

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

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

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

Например, сумма ${\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}}$.

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

Коммутативность и ассоциативность рационального сложения — простое следствие законов целочисленной арифметики. Более строгое и общее обсуждение см. в разделе «Поле дробей» .

Реальные числа

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

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

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

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

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

К сожалению, умножение дедекиндовых разрезов — трудоемкий процесс в каждом конкретном случае, похожий на сложение целых чисел со знаком. Другой подход - метрическое пополнение рациональных чисел. Действительное число по сути определяется как предел последовательности Коши рациональных чисел , lim a _n . Дополнение определяется почленно:

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

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

Комплексные числа

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

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

$(a+bi)+(c+di)=(a+c)+(b+d)i.$

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

Обобщения

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

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

Векторы

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

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

$(a,b)+(c,d)=(a+c,b+d).$

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

Матрицы

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

Сложение матриц определяется для двух матриц одинаковых размеров. Сумма двух размера m × n (произносится как «m на n») матриц A и B , обозначаемых A + B , снова представляет собой матрицу размера m × n, вычисляемую путем сложения соответствующих элементов:

${\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}}$

Например:

${\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}}$

Модульная арифметика

Основная статья: Модульная арифметика

В модульной арифметике набор доступных чисел ограничен конечным подмножеством целых чисел, и сложение «зацикливается» при достижении определенного значения, называемого модулем. Например, набор целых чисел по модулю 12 состоит из двенадцати элементов; он наследует операцию сложения целых чисел, которая является центральной в теории музыкальных множеств . Набор целых чисел по модулю 2 состоит всего из двух элементов; операция сложения, которую он наследует, известна в булевой логике как функция « исключающее или ». Подобная операция «обертывания» возникает в геометрии , где сумма двух угловых мер часто считается их суммой как действительных чисел по модулю 2π. Это равнозначно операции сложения на окружности , которая, в свою очередь, обобщает операции сложения на многомерных торах .

Общая теория

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

Теория множеств и теория категорий

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

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

Связанные операции

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

Арифметика

Вычитание можно рассматривать как своего рода сложение, то есть сложение обратного аддитивного числа . Вычитание само по себе является своего рода обратной функцией сложению, поскольку прибавление x и вычитание x являются обратными функциями .

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

Умножение можно рассматривать как многократное сложение . Если один термин x появляется в сумме n раз, то сумма является произведением n и x . Если n не является натуральным числом , произведение все равно может иметь смысл; например, умножение на -1 дает аддитивное обратное число.

Круглая логарифмическая линейка

В действительных и комплексных числах сложение и умножение можно заменять экспоненциальной функцией :

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

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

Обобщений умножения даже больше, чем сложения. В общем, операции умножения всегда распределяются по сравнению с сложением; это требование формализовано в определении кольца . В некоторых контекстах, таких как целые числа, дистрибутивности по сложению и существования мультипликативного тождества достаточно, чтобы однозначно определить операцию умножения. Распределительное свойство также предоставляет информацию о сложении; расширяя произведение (1 + 1)( a + b ) обоими способами, можно прийти к выводу, что сложение вынуждено быть коммутативным. По этой причине сложение колец, вообще говоря, коммутативно.

Деление — арифметическая операция, отдаленно связанная со сложением. Поскольку a / b = a ( b ⁻¹ ) деление правораспределительно по сложению: ( a + b ) / c = a / c + b / c . Однако деление не является распределительным по сравнению с сложением; 1/(2+2) — это не то же самое, что 1/2+1/2 .

Заказ

Логарифмический график x и + 1 , max ( x 1) от x = 0,001 до 1000

Максимальная операция «max ( a , b )» — это бинарная операция, похожая на сложение. В самом деле, если два неотрицательных числа a и b имеют разные порядки , то их сумма примерно равна их максимуму. Это приближение чрезвычайно полезно в математических приложениях, например, при усечении рядов Тейлора . Однако это представляет собой постоянную трудность при численном анализе , поскольку «max» не является обратимым. Если b намного больше a , то прямое вычисление ( a + b ) − b может привести к накоплению неприемлемой ошибки округления , возможно, даже вернув ноль. См. также Потеря значимости .

Приближение становится точным в своего рода бесконечном пределе; если a или b — бесконечное кардинальное число , их кардинальная сумма в точности равна большему из двух. Соответственно, для бесконечных кардиналов не существует операции вычитания.

Максимизация коммутативна и ассоциативна, как и сложение. Более того, поскольку сложение сохраняет порядок действительных чисел, сложение распределяется по «max» так же, как умножение распределяется по сложению:

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

По этим причинам в тропической геометрии умножение заменяется сложением, а сложение — максимизацией. В этом контексте сложение называется «тропическим умножением», максимизация — «тропическим сложением», а тропическое «аддитивное тождество» — это отрицательная бесконечность . Некоторые авторы предпочитают заменять сложение минимизацией; тогда аддитивная идентичность равна положительной бесконечности.

Объединяя эти наблюдения, можно сказать, что тропическое сложение приблизительно связано с обычным сложением через логарифм :

$\log(a+b)\approx \max(\log a,\log b),$

которая становится более точной по мере увеличения основания логарифма. Аппроксимацию можно сделать точным, выделив константу h , названную по аналогии с постоянной Планка из квантовой механики : и переходя к « классическому пределу », когда h стремится к нулю:

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

В этом смысле операция максимума представляет собой деквантованную версию сложения.

Другие способы добавления

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

Суммирование описывает сложение произвольного числа чисел, обычно больше двух. Оно включает в себя идею суммы одного числа, которое является самим собой, и пустой суммы , которая равна нулю . Бесконечное суммирование — это тонкая процедура, известная как ряд .

Подсчет конечного набора эквивалентен суммированию 1 по множеству.

Интегрирование — это своего рода «суммирование» по континууму , или, точнее и вообще, по дифференцируемому многообразию . Интегрирование по нульмерному многообразию сводится к суммированию.

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

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

См. также

• Лунная арифметика
• Ментальная арифметика
• Параллельное сложение (математика)
• Словесная арифметика (также известная как криптоарифмы), головоломки, связанные со сложением.

Ссылки

История

• Феррейрос, Джозеф (1999). Лабиринт мысли: история теории множеств и ее роль в современной математике . Березовые домики. ISBN  978-0-8176-5749-9 .
• Карпинский, Луи (1925). История арифметики . Рэнд МакНелли. ЖКК   QA21.К3 .
• Шварцман, Стивен (1994). Слова математики: этимологический словарь математических терминов, используемых на английском языке . МАА . ISBN  978-0-88385-511-9 .
• Уильямс, Майкл (1985). История вычислительной техники . Прентис-Холл. ISBN  978-0-13-389917-7 .

Элементарная математика

• Спаркс, Ф.; Рис К. (1979). Обзор базовой математики . МакГроу-Хилл. ISBN  978-0-07-059902-4 .

Образование

• Бегл, Эдвард (1975). Математика начальной школы . МакГроу-Хилл . ISBN  978-0-07-004325-1 .
• Стандарты содержания математики Управления образования штата Калифорния. Приняты в декабре 1997 г., по состоянию на декабрь 2005 г.
• Девайн, Д.; Олсон, Дж.; Олсон, М. (1991). Элементарная математика для учителей (2-е изд.). Уайли . ISBN  978-0-471-85947-5 .
• Национальный исследовательский совет (2001). Складываем: помогаем детям изучать математику . Национальная Академия Пресс . дои : 10.17226/9822 . ISBN  978-0-309-06995-3 .
• Ван де Валле, Джон (2004). Математика в начальной и средней школе: обучение с развитием (5-е изд.). Пирсон. ISBN  978-0-205-38689-5 .

Когнитивная наука

• Фоснот, Кэтрин Т.; Долк, Мартен (2001). Молодые математики за работой: понимание смысла чисел, сложение и вычитание . Хайнеманн. ISBN  978-0-325-00353-5 .
• Винн, Карен (1998). «Числовая компетентность у младенцев». Развитие математических навыков . Тейлор и Фрэнсис. ISBN  0-86377-816-Х .

Математическое изложение

• Богомольный, Александр (1996). "Добавление" . Интерактивные математические сборники и головоломки (cut-the-knot.org) . Архивировано из оригинала 26 апреля 2006 года . Проверено 3 февраля 2006 г.
• Ченг, Евгения (2017). За пределами бесконечности: Экспедиция к внешним пределам математики . Основные книги. ISBN  978-1-541-64413-7 .
• Данэм, Уильям (1994). Математическая Вселенная . Уайли. ISBN  978-0-471-53656-7 .
• Джонсон, Пол (1975). Из «Палок и камней: личные приключения по математике» . Ассоциация научных исследований. ISBN  978-0-574-19115-1 .
• Линдерхольм, Карл (1971). Математика стала трудной . Вульф. ISBN  978-0-7234-0415-6 .
• Смит, Фрэнк (2002). Стеклянная стена: почему математика может показаться сложной . Издательство педагогического колледжа. ISBN  978-0-8077-4242-6 .
• Смит, Карл (1980). Природа современной математики (3-е изд.). Уодсворт. ISBN  978-0-8185-0352-8 .

Высшая математика

• Бергман, Джордж (2005). Приглашение к общей алгебре и универсальным конструкциям (2.3-е изд.). Общая полиграфия. ISBN  978-0-9655211-4-7 .
• Беррилл, Клод (1967). Основы действительных чисел . МакГроу-Хилл. ЖКК   QA248.B95 .
• Даммит, Д.; Фут, Р. (1999). Абстрактная алгебра (2-е изд.). Уайли. ISBN  978-0-471-36857-1 .
• Гбур, Грег (2011). Математические методы оптической физики и техники . Издательство Кембриджского университета. ISBN  978-0-511-91510-9 . OCLC   704518582 .
• Эндертон, Герберт (1977). Элементы теории множеств . Академическая пресса . ISBN  978-0-12-238440-0 .
• Ли, Джон (2003). Введение в гладкие многообразия . Спрингер. ISBN  978-0-387-95448-6 .
• Мартин, Джон (2003). Введение в языки и теорию вычислений (3-е изд.). МакГроу-Хилл. ISBN  978-0-07-232200-2 .
• Риль, Эмили (2016). Теория категорий в контексте . Дувр. ISBN  978-0-486-80903-8 .
• Рудин, Уолтер (1976). Принципы математического анализа (3-е изд.). МакГроу-Хилл. ISBN  978-0-07-054235-8 .
• Стюарт, Джеймс (1999). Исчисление: ранние трансценденталисты (4-е изд.). Брукс/Коул. ISBN  978-0-534-36298-0 .

Математические исследования

• Акиан, Марианна; Бапат, Равиндра; Гобер, Стефан (2005). «Мин-плюс-методы в теории возмущений собственных значений и обобщенная теорема Лидского-Вишика-Люстерника». Об этом сообщает ИНРИА . arXiv : math.SP/0402090 . Бибкод : 2004math......2090A .
• Баэз, Дж .; Долан, Дж. (2001). Математика без ограничений – 2001 г. и далее. От конечных множеств к диаграммам Фейнмана . п. 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.
• Лоде, Жан-Луи (2002). «Арифметрическое дерево». Журнал алгебры . 258 : 275. arXiv : math/0112034 . дои : 10.1016/S0021-8693(02)00510-0 .
• Михалкин, Григорий (2006). Санс-Соле, Марта (ред.). Материалы Международного конгресса математиков (ICM), Мадрид, Испания, 22–30 августа 2006 г. Том II: Приглашенные лекции. Тропическая геометрия и ее приложения . Цюрих: Европейское математическое общество . стр. 827–852. arXiv : math.AG/0601041 . ISBN  978-3-03719-022-7 . Збл   1103.14034 .
• Виро, Олег (2001). Каскуберта, Карлес; Миро-Роч, Роза Мария; Вердера, Джоан; Ксамбо-Декамп, Себастья (ред.). Европейский конгресс математики: Барселона, 10–14 июля 2000 г., Том I. Деквантование действительной алгебраической геометрии на логарифмической бумаге . Прогресс в математике. Том 201. Базель: Биркхойзер. стр. 135–146. arXiv : math/0005163 . Бибкод : 2000math......5163V . ISBN  978-3-7643-6417-5 . Збл   1024.14026 .

Вычисление

• Флинн, М.; Оберман, С. (2001). Расширенный компьютерный арифметический дизайн . Уайли. ISBN  978-0-471-41209-0 .
• Горовиц, П.; Хилл, В. (2001). Искусство электроники (2-е изд.). Кембриджский университет. ISBN  978-0-521-37095-0 .
• Джексон, Альберт (1960). Аналоговые вычисления . МакГроу-Хилл. ЖКК   QA76.4 J3 .
• Риффель, Элеонора Г .; Полак, Вольфганг Х. (4 марта 2011 г.). Квантовые вычисления: краткое введение . МТИ Пресс. ISBN  978-0-262-01506-6 .
• Труитт, Т.; Роджерс, А. (1960). Основы аналоговых компьютеров . Джон Ф. Райдер. ЖКК   QA76.4 T7 .
• Марген, Жан (1994). История счетных приборов и машин, Три столетия механики мышления 1642–1942 (на французском языке). Германн. ISBN  978-2-7056-6166-3 .
• Татон, Рене (1963). Механический расчет. Что я знаю? № 367 (на французском языке). Университетские издательства Франции. стр. 20–28.

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

• Баруди, Артур; Тииликайнен, Сирпа (2003). Развитие арифметических понятий и навыков. Два взгляда на развитие дополнений . Рутледж. п. 75 . ISBN  0-8058-3155-Х .
• Дэвисон, Дэвид М.; Ландау, Марша С.; Маккракен, Лия; Томпсон, Линда (1999). Математика: исследования и приложения (изд. TE). Прентис Холл. ISBN  978-0-13-435817-8 .
• Бунт, Лукас, Нью-Хэмпшир; Джонс, Филипп С.; Бедьен, Джек Д. (1976). Исторические корни элементарной математики . Прентис-Холл. ISBN  978-0-13-389015-0 .
• Пунен, Бьорн (2010). "Добавление" . Бюллетень для девочек . 3 (3–5). ISSN   2151-5743 .
• Уивер, Дж. Фред (1982). «Сложение и вычитание: когнитивная перспектива». Сложение и вычитание: когнитивная перспектива. Интерпретации числовых операций и символических представлений сложения и вычитания . Тейлор и Фрэнсис. п. 60. ИСБН  0-89859-171-6 .