Додавання
Додавання (зазвичай позначається знаком плюс +) — одна з чотирьох основних арифметичних дій, іншими трьома є віднімання, множення та ділення[2]. Додавання двох цілих чисел дає в результаті суму цих значень. Приклад на зображенні поруч показує два стовпці з трьома та двома яблуками, тобто п'ятьма яблуками. Це спостереження еквівалентно математичному виразу «3 + 2 = 5» (тобто «3 плюс 2 дорівнює 5»).

Окрім підрахунку елементів, додавання також можна визначити та виконати без посилання на конкретні об'єкти, використовуючи натомість абстракції, які називаються числами, наприклад цілі числа, дійсні числа та комплексні числа. Додавання належить до арифметики, розділу математики. В алгебрі, іншому розділі математики, додавання також можна виконувати на абстрактних об'єктах, таких як вектори, матриці, підпростори та підгрупи.
Додавання має кілька важливих властивостей. Воно комутативне, тобто порядок операндів не має значення, і воно асоціативне, тобто коли додається більше двох чисел, порядок додавання не має значення. Процес повторного додавання 1 еквівалентний підрахунку (див. наступний елемент[en]). Додавання 0 не змінює числа. Додавання також підкоряється правилам, пов'язаним із спорідненими операціями, такими як віднімання та множення.
Виконання додавання є однією з найпростіших числових операцій. Додавання малих чисел доступне навіть дітям ясельного віку; найпростіше завдання, 1 + 1, можуть виконувати немовлята віком від п'яти місяців і навіть деякі представники інших видів тварин. У початковій школі учнів вчать додавати числа в десятковій системі, починаючи з однозначних чисел і поступово переходячи до більш складних завдань. Механічні допоміжні засоби варіюються від стародавніх рахівниць до сучасних комп'ютерів, де дослідження найбільш ефективних реалізацій додавання все ще тривають.
Позначення та термінологія
ред.Додавання записується з використанням знаку плюс «+» між доданками[3]; така форма запису називається інфіксною нотацією. Результат записується з використанням знаку рівності. Наприклад,
Також існують ситуації, коли «зрозуміло», що відбувається додавання, навіть якщо символ додавання не вказано:
- ціле число, за яким відразу йде дріб, вказує на суму цих двох виразів і називається змішаним числом[4]. Наприклад, Це позначення може викликати плутанину, оскільки в більшості інших контекстів, написання величин поряд[en] означає множення[5].
Сума ряду чисел виражається за допомогою сигма-нотації, яка компактно позначає ітерацію. Наприклад,
Доданки
ред.Числа або об'єкти, які потрібно додати в загальній операції додавання, разом називаються доданками; в англійські мові — англ. terms[6], англ. addends[7][8][9] або англ. summands[10]; ця термінологія поширюється на додавання кількох доданків. Доданки слід відрізняти від множників, які є операндами множення. Деякі автори називають перший доданок англ. augend[7][8][9]. Насправді в епоху Відродження, багато авторів взагалі не вважали перший доданок «доданком». У наш час, завдяки комутативній властивості додавання, термін англ. augend використовується рідко, і обидва члени зазвичай називаються англ. addends[11].
Уся наведена вище англійська термінологія походить від латинської мови. Англійські слова «addition» і «add» походять від латинського дієслова addere, яке в свою чергу складається з ad і dare («давати»), від слова з праіндоєвропейським коренем[en] *deh₃- («давати»); таким чином англ. add означає давати[11]. Використання суфікса герундива[en] -nd призводить до англ. addend («те, що потрібно додати»)[a]. Так само від augere («збільшувати»), утворюється augend («те, що потрібно збільшити»).
англ. Sum та англ. summand походять від латинського іменника summa («найвищий, вершина») та пов'язаного з ним дієслова summare. Це доречно не лише тому, що сума двох додатних чисел більша за будь-яке з них, а й тому, що стародавні греки та римляни зазвичай записували додавання знизу вгору, на відміну від сучасної практики написання додавання зверху вниз, так що сума була буквально зверху доданків[13]. Addere та summare датуються принаймні до Боеція, якщо не більш ранніх римських письменників, таких як Вітрувій і Фронтін; Боецій також використовував кілька інших термінів для операції додавання. Пізніші терміни середньоанглійської мови adden і adding були популяризовані Чосером[14].
Знак плюс «+» (Юнікод: U+002B; ASCII: +
) є абревіатурою латинського слова et, що означає «і»[15]. Він зустрічається в математичних роботах, датованих принаймні 1489 роком[16].
Інтерпретації
ред.Додавання використовується для моделювання багатьох фізичних процесів. Навіть для простого випадку додавання натуральних чисел існує багато різних інтерпретацій і навіть більше способів візуального представлення.
Об'єднання множин
ред.Мабуть, найпростішою інтерпретацією додавання є об'єднання множин:
- Коли дві або більше непересічних колекцій об'єднуються в одну колекцію, кількість об'єктів в об'єднаній колекції є сумою кількості об'єктів у вихідних колекціях.
Цей варіант інтерпретації легко візуалізувати, з мінімальним ризиком двозначності. Він також використовується у вищій математиці (див. більш строге визначення, натхненне цією інтерпретацією: § Натуральні числа). Однак неочевидно, як цю інтерпретацію додавання можна поширити на дроби та від'ємні числа[17].
Один із можливих підходів полягає в тому, щоб розглянути колекції об'єктів, які можна легко розділити на частини, наприклад торти або, навіть краще, стрижні, які можна розділити на сегменти[18]. Замість того, щоб просто поєднувати колекції сегментів, стрижні можна з'єднати кінцями, що ілюструє інше розуміння додавання: додаються не стрижні, а їх довжини.
Додавання на числовій прямій
ред.Інша інтерпретація трактує додавання як переміщення на величину, що додається:
- Коли початкова позиція переміщується на додану довжину, отримана нова позиція дорівнює сумі вихідної позиції та довжини, доданої до неї[19].
Суму a + b можна інтерпретувати як бінарну операцію об'єднання a і b в алгебраїчному сенсі, також її можна інтерпретувати як додавання b одиниць до числа a. В останній інтерпретації частини суми a + b мають асиметричні ролі, а операція a + b розглядається як застосування унарної операції +b до числа a[20]. Замість того, щоб називати обидва числа a і b доданками, більш доречним було б називати a збільшуваним числом (англ. augend) в цьому випадку, оскільки a має пасивну роль. Цей підхід також може бути корисним при обговоренні віднімання, адже кожна унарна операція додавання має зворотну унарну операцію віднімання і навпаки.
Властивості
ред.Комутативність
ред.Додавання є комутативним: перестановка доданків не змінює суму. У символьному записі: якщо a і b — будь-які два числа, то
- a + b = b + a.
Комутативність додавання відома під назвою «комутативний закон додавання» або «комутативна властивість додавання». Деякі інші бінарні операції є комутативними, наприклад множення, але багато інших, наприклад віднімання та ділення, не є комутативними.
Асоціативність
ред.Додавання є асоціативним: при додаванні трьох і більше чисел порядок виконання дій не змінює результат.
Наприклад, чи має вираз 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-го степеня, множення та ділення, але має рівний пріоритет із відніманням[21].
Нейтральний елемент
ред.Якщо додати нуль до будь-якого числа, то значення цього числа не зміниться; нуль — це нейтральний елемент для операції додавання, також відомий як адитивна тотожність (англ. additive identity[en]). У символьному вигляді: для будь-якого a,
- a + 0 = 0 + a = a.
Цей закон вперше був описаний Брахмагуптою в його праці «Виправлене вчення про Брахму[en]» в 628 р. н.е., хоча він записав його як три окремих закони: для від'ємних, додатних та нульових значень a, і він використовував слова, а не алгебраїчні символи для його опису. Пізніше індійські математики[en] вдосконалили цю концепцію; близько 840 року Магавіра[en] написав, що «нуль стає таким самим, як те, що до нього додається», що еквівалентно запису 0 + a = a. У 12 столітті Бгаскара II написав: «при додаванні або відніманні нуля величина, додатна чи від'ємна, залишається незмінною», що відповідає запису a + 0 = a[22].
Наступне число
ред.У контексті цілих чисел, додавання одиниці також відіграє особливу роль: для будь-якого цілого числа a ціле число (a + 1) є найменшим цілим числом, більшим за a, також відомим як наступне число[en] після a[23]. Наприклад, 3 є наступним числом після 2, а 7 є наступним числом після 6. Враховуючи цей зв'язок, значення «a» + «b» можна розглядати, як -е наступне число після «а», таким чином, додавання можна визначити як ітеративне послідовне знаходження наступного числа. Наприклад, 6 + 2 буде 8, оскільки 8 йде після 7, яке йде після 6, отже, 8 — це друге наступне число після 6.
Одиниці вимірювання
ред.Для додавання фізичних величин їх значення слід привести до однакових одиниць вимірювання[24]. Наприклад, якщо додати 50 мілілітрів і 150 мілілітрів, то вийде 200 мілілітрів. Однак, якщо до 5 футів додати 2 дюйми, загальна сума становитиме 62 дюйми, оскільки 60 дюймів еквівалентно 5 футам. З іншого боку, зазвичай немає сенсу додавати 3 метри і 4 квадратних метри, бо ці одиниці вимірювання не можна порівнювати; такі міркування є ключовими в аналізі розмірностей[25].
Виконання додавання
ред.Вроджена здібність
ред.Дослідження розвитку математичних здібностей, які розпочалися в 1980-х роках, розглядали феномен звикання: немовлята довше дивляться на несподівані для них ситуації[26]. Фундаментальний експеримент Карен Вінн[en] у 1992 році з ляльками Міккі Мауса, якими маніпулювали за ширмою, продемонстрував, що п'ятимісячні немовлята очікують, що 1 + 1 буде 2, і вони відносно здивовані, коли в контексті ситуації 1 + 1 еквівалентно або 1 або 3. Пізніше цей результат був підтверджений в інших лабораторіях з використанням різних методів[27]. Інший експеримент 1992 року з дітьми старшого віку, від 18 до 35 місяців, використовував розвиток моторних функцій дітей, дозволяючи їм діставати кульки для настільного тенісу з коробки; наймолодші діти добре справлялися з невеликою кількістю кульок, а старші могли обчислювати суму до 5[28].
Навіть деякі тварини демонструють обмежену здатність до додавання, особливо примати. Експеримент 1995 року був аналогічний до експерименту Вінн 1992 року, але замість ляльок використовувалися баклажани. Виявилося, що макаки-резус і едипові тамарини демонструють здібності, схожі з людськими немовлятами. Що вражає ще більше, після навчання значенням арабських цифр одна шимпанзе змогла обчислити суму двох цифр без подальшого навчання[29]. Нещодавно було з'ясовано, що індійські слони здатні виконувати базові арифметичні дії[30].
Опанування додаванням дітьми
ред.Зазвичай діти спочатку опановують лічбу. Коли діти отримують завдання, яке вимагає поєднання двох і трьох предметів, вони моделюють ситуацію за допомогою фізичних об'єктів, часто пальців або малюнка, а потім підраховують загальну суму. Здобуваючи досвід, вони вивчають або відкривають стратегію «підрахунку»: коли їх просять знайти результат операції «два плюс три», вони перелічують два числа, що йдуть після числа три, промовляючи: «три, чотири, п'ять» (зазвичай загинаючи пальці), і в підсумку отримують п'ять. Ця стратегія здається майже універсальною; діти можуть легко перейняти її у однолітків або вчителів[31]. Більшість дітей самі доходять до цього. З додатковим досвідом, діти вчаться додавати швидше, використовуючи комутативність додавання шляхом підрахунку від більшого числа, в цьому випадку, починаючи з трьох та рахуючи: «чотири, п'ять». Згодом діти починають пригадувати певні факти додавання (приклади додавання напам'ять[en]), завдяки досвіду або механічному запам'ятовуванню. Як тільки деякі факти запам'ятовуються, діти починають виводити невідомі факти з відомих. Наприклад, дитина, яка додає шість і сім, може знати, що 6 + 6 = 12, і зробити висновок, що 6 + 7 на один більше, тобто 13[32]. Такі похідні факти можна знайти дуже швидко, і більшість учнів початкової школи зрештою покладаються на суміш завчених і похідних фактів, щоб швидко виконувати дії додавання[33].
У різних країнах вивчення цілих чисел і арифметики починається в різному віці, у багатьох країнах навчання додавання починається ще в дошкільних закладах[34]. При цьому в усьому світі додавання вчать до кінця першого року початкової школи[35].
Таблиця додавання
ред.Дітям часто пропонують таблицю додавання пар чисел від 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 «фактів (прикладів) додавання» для однорозрядних чисел. Можна механічно[en] заучувати всі факти, але шаблонні стратегії є більш повчальними та ефективнішими для більшості людей[36]:
- Комутативна властивість: використання шаблону a + b = b + a зменшує кількість «фактів про додавання» зі 100 до 55.
- На один чи два більше: додавання 1 або 2 — це базова задача, яку можна вирішити переліченням (підрахунком) або, зрештою, покладаючись на інтуїцію[36].
- Нуль: оскільки нуль є нейтральним елементом для операції додавання (адитивною тотожністю), додавання нуля є тривіальним. Втім, під час вивчення арифметики деяким учням додавання здається процесом, у якому доданки завжди збільшуються; акцент на словесному формулюванні задачі може допомогти зрозуміти «винятковість» нуля[36].
- Подвоєння: додавання числа до самого себе пов'язано з рахуванням по два та з множенням. Шаблонна стратегія подвоєння є основою для багатьох пов'язаних з нею стратегій, і учні вважають їх відносно легкими для сприйняття[36].
- Майже-подвоєння: такі суми, як 6 + 7 = 13 можна швидко вивести з стратегії подвоєння 6 + 6 = 12, додавши одиницю, або з 7 + 7 = 14, але віднімаючи одиницю[36].
- П'ять і десять: суми, які мають вигляд 5 + x і 10 + x, зазвичай запам'ятовуються рано і можуть бути використані для виведення інших фактів. Наприклад, 6 + 7 = 13 можна отримати з 5 + 7 = 12 шляхом додавання одиниці[36].
- Додавання до десятків: продвинута стратегія використовує 10 як проміжне значення для сум, що містять 8 або 9; наприклад, 8 + 6 = 8 + 2 + 4 = 10 + 4 = 14[36].
Коли учні дорослішають, вони запам’ятовують більше фактів і вчаться швидко й вільно виводити інші факти. Багато учнів ніколи не запам’ятовують усі факти, але все одно можуть швидко знайти будь-який базовий факт[33].
Перенесення
ред.Стандартний алгоритм додавання багаторозрядних чисел полягає у вирівнюванні доданків по вертикалі та додаванні стовпців, починаючи зі стовпця одиниць справа. Виконують додавання цифр окремо в кожному стовпчику, починаючи з правого. Якщо сума цифр у стовпчику перевищує 10, додаткова цифра «переноситься[en]» в наступний стовпець. Наприклад, у додаванні 27 + 59
¹ 27 + 59 ———— 86
7 + 9 = 16 і цифра 1 переноситься в наступний стовпчик[b]. В альтернативному методі додавання починається з найбільш значущої цифри зліва; у цьому методі перенесення виконується дещо грубіше, але він дозволяє швидше отримати приблизну оцінки суми. Є багато інших альтернативних методів.
З кінця 20-го століття деякі освітні організації США, включаючи англ. TERC, вирішили видалити традиційний метод перенесення зі своїх навчальних програм[37]. Це рішення було піддано критиці[38], тому деякі штати та округи не підтримали цей експеримент.
Додавання десяткових дробів
ред.Спосіб додавання десяткових дробів є простою модифікацією описаного вище додавання багаторозрядних чисел[39]. При додаванні в стовпчик дроби розташовують таким чином, щоб коми знаходилися рівно одна під одною. Якщо необхідно, до коротшого десяткового дробу можна дописати нулі справа і зліва (див. нуль у кінці[en] і провідні нулі), щоб зробити його такої ж довжини, як і довший десятковий дріб. Отже, додавання здійснюється так само, як і в описаному вище способі додавання багаторозрядних чисел, тільки кома ставиться у відповіді саме там, де вона знаходиться в доданках.
Наприклад, суму 45,1 + 4,34 можна обчислити таким чином:
45,10 + 04,34 ——————— 49,44
Експоненційний запис
ред.В експоненційному записі числа записують у вигляді , де — мантиса і — експоненційна частина. Щоб додати два числа, записані в експоненційній формі, вони повинні мати однакову експоненційну частину.
Наприклад:
Додавання в інших системах числення
ред.Додавання чисел з іншими основами схоже на додавання в десятковій системі. Як приклад можна розглянути додавання у двійковій системі числення[40]. Додавання двох однорозрядних двійкових чисел з використанням перенесення є доволі простим:
- 0 + 0 → 0
- 0 + 1 → 1
- 1 + 0 → 1
- 1 + 1 → 0, 1 переноситься (оскільки 1 + 1 = 2 = 0 + (1 × 21))
Додавання двох цифр «1» дає цифру «0», а 1 потрібно додати до наступного стовпчика. Це подібно до того, що відбувається в десятковій системі, якщо при додаванні певних одноцифрових чисел результат дорівнює або перевищує значення основи (10), цифра ліворуч збільшується:
- 5 + 5 → 0, 1 переноситься (оскільки 5 + 5 = 10 = 0 + (1 × 101))
- 7 + 9 → 6, 1 переноситься (оскільки 7 + 9 = 16 = 6 + (1 × 101))
Ця операція відома під назвою «перенесення»[41]. Коли результат додавання перевищує максимальне значення цифри, процедура полягає в тому, щоб «перенести» надлишок, поділений на основу (тобто на 10 в десятковій системі), ліворуч, додавши його до наступного розряду. Це пов'язано з тим, що значення в наступному розряді в разів більше (у системі числення з основою ), ніж значення в поточному розряді. Перенесення працює так само і в двійковій системі:
1 1 1 1 1 (перенесені цифри)
0 1 1 0 1
+ 1 0 1 1 1
—————————————
1 0 0 1 0 0 = 36
У цьому прикладі додаються два числа: 011012 (1310) і 101112 (2310). Верхній рядок показує перенесені цифри. Починаючи з крайнього правого стовпця: 1 + 1 = 102.1 переноситься ліворуч, а 0 записується внизу крайнього правого стовпця. Додається другий стовпчик справа: 1 + 0 + 1 = 102; 1 переноситься, а 0 записується в нижньому рядку. Третій стовпчик: 1 + 1 + 1 = 112. Цього разу 1 переноситься, а в нижньому рядку записується 1. У підсумку отримуємо остаточну відповідь 1001002 (3610).
Комп'ютери
ред.Аналогові комп'ютери працюють безпосередньо з фізичними величинами, тому їх механізми додавання залежать від форми доданків. Механічний суматор може представляти два доданки як позиції ковзних блоків, і в цьому випадку їх можна додати за допомогою важеля усереднення. Якщо доданками є швидкості обертання двох валів, їх можна додати за допомогою диференціала. Гідравлічний суматор може додавати тиски у двох камерах, використовуючи другий закон Ньютона, щоб врівноважити сили на системі поршнів. Найбільш типова ситуація для аналогового комп'ютера загального призначення — додавання двох напруг (відносно «землі»); просту реалізацію можна створити за допомогою схеми з резисторами, краща конструкція використовує операційний підсилювач[42].
Додавання також є фундаментальним для роботи цифрових комп'ютерів, де ефективність додавання, зокрема механізму перенесення[en], є важливим обмеженням для загальної продуктивності.
Абак, який також називають лічильною рамкою, — це обчислювальний інструмент, який використовувався за століття до прийняття сучасної письмової системи числення і досі широко використовується купцями, торговцями та клерками в Азії, Африці та інших місцях; його походження сягає принаймні 2700-2300 років до нашої ери, коли він використовувався в Шумері[43].
Блез Паскаль винайшов механічний калькулятор у 1642 році[44]; це була перша робоча додавальна машина[en]. Він використовував механізм перенесення за допомогою сили тяжіння. Це був єдиний діючий механічний калькулятор у 17 столітті[45] і найперший автоматичний цифровий комп'ютер. Калькулятор Паскаля був обмежений механізмом перенесення, який змушував його коліщатка обертатися лише в одну сторону, щоб він міг додавати. Для віднімання оператор мав використовувати доповнення калькулятора Паскаля, яке вимагало стільки ж кроків, скільки і додавання. Джованні де Полені продовжив справу Паскаля, створивши другий функціональний механічний калькулятор у 1709 році. Калькулятор був зроблений з дерева і міг автоматично множити два числа після налаштування.
Суматори виконують додавання цілих чисел в електронних цифрових комп'ютерах, зазвичай використовуючи двійкову арифметику. Найпростіша архітектура — це суматор з каскадним перенесенням (англ. ripple-carry adder) який працює за стандартним багаторозрядним алгоритмом. Одним невеликим удосконаленням є дизайн суматора з пропуском перенесення[en], який діє подібним до людської інтуїції чином; він не виконує всі перенесення в сумі 999 + 1, а пропускає групу дев'яток і переходить одразу до відповіді[46].
На практиці обчислювальне додавання може бути досягнуто за допомогою побітових логічних операцій XOR та AND у поєднанні з операціями зсуву бітів, як показано в псевдокоді нижче. Обидві операції XOR і AND легко реалізувати в цифровій логіці, що дозволяє створювати схеми повного суматора, які, у свою чергу, можуть бути об'єднані в більш складні логічні операції. У сучасних цифрових комп'ютерах додавання цілих чисел зазвичай є найшвидшою арифметичною інструкцією, але воно має найбільший вплив на продуктивність, оскільки додавання лежить в основі всіх операцій з рухомою комою, а також таких базових завдань, як генерація адреси під час доступу до пам'яті і вибірка інструкцій в потоку керування. Щоб збільшити швидкість, сучасні комп'ютери обчислюють розряди паралельно; такі схеми називаються вибір перенесення (англ. carry select), передбачення перенесення[en] і псевдоперенесення в суматорі Лінга[en]. У більшості випадків реалізація додавання на комп'ютері є гібридом цих трьох схем[47][48]. На відміну від додавання на папері, додавання на комп'ютері часто змінює доданки. На стародавньому абаку та дошках для додавання під час виконання операції додавання обидва доданки знищувалися, залишалась лише сума. Вплив абака на математичне мислення був настільки сильним, що ранні латинські тексти часто стверджували, що в процесі додавання «числа до числа» вони обидва зникають[49]. У наш час інструкція ADD мікропроцесора замінює значення першого доданку сумою, другий доданок залишається без змін[50]. У мові програмування високого рівня обчислення a + b не змінює ні a, ні b; якщо мета полягає в тому, щоб замінити a, то це потрібно явно вказати, як правило, за допомогою оператора a = a + b. Деякі мови програмування, такі як C або C++ дозволяють скоротити це до a += b.
// Ітеративний Алгоритм
int add(int x, int y){
int carry = 0;
while (y != 0){
carry = AND(x, y); // Логічне AND
x = XOR(x, y); // Логічне XOR
y = carry << 1; // зсув бітів перенесення вліво на один
}
return x;
}
// Рекурсивний Алгоритм
int add(int x, int y){
return x if (y == 0) else add(XOR(x, y) , AND(x, y) << 1);
}
Якщо результат додавання занадто великий для збереження, то на комп'ютері відбувається арифметичне переповнення, яке призводить до неправильного результату. Непередбачуване арифметичне переповнення є доволі поширеною причиною програмних помилок. Такі помилки не завжди легко виявити і діагностувати, оскільки вони можуть виникати з дуже великими наборами вхідних даних, які з меншою ймовірністю будуть використані в перевірочних тестах[51]. Проблема 2000 року була пов'язана з переповненням через використання 2-значного формату для років[52].
Додавання чисел
ред.Щоб довести звичайні властивості додавання, потрібно спочатку визначити додавання для відповідного контексту. Додавання спочатку визначається на натуральних числах. В теорії множин, додавання потім поширюється на все більші множини, які включають натуральні числа: цілі числа, раціональні числа та дійсні числа[53]. (Історично в математичній освіті[54] додавання додатних дробів вивчається перед тим, як розглядаються від'ємні числа[55]).
Натуральні числа
ред.Існує два популярних способи визначення суми двох натуральних чисел a і b. Якщо визначити натуральні числа як потужності скінченних множин (потужність множини — це кількість елементів у множині), то доцільно визначити їхню суму наступним чином:
- Нехай N(S) — потужність множини S. Візьмемо дві множини A і B, що не перетинаються, причому N(A) = a і N(B) = b. Тоді a + b можна визначити як: [56].
Тут, — це об'єднання множин A і B. В альтернативній версії цього визначення множини A і B можуть мати спільні елементи; в даному випадку використовується диз'юнктне об'єднання, механізм, що дозволяє відокремити загальні елементи і порахувати їх двічі.
Інше відоме визначення є рекурсивним:
- Нехай n+ — наступне за n натуральне число, наприклад 0+=1, 1+=2. Нехай a + 0 = a. Тоді загальна сума визначається рекурсивно: a + (b+) = (a + b)+. Звідси 1 + 1 = 1 + 0+ = (1 + 0)+ = 1+ = 2[57].
Крім того, у літературі є незначні варіації цього визначення. У буквальному розумінні наведене вище визначення є застосуванням теореми про рекурсію на частково впорядкованій множині N2[58]. З іншого боку, деякі джерела вважають за краще використовувати теорему про обмежену рекурсію, яка застосовується лише до множини натуральних чисел. Тоді можна вважати a тимчасово «фіксованим», застосувати рекурсію до b щоб визначити функцію «a +», і вставити ці унарні операції разом для всіх a щоб сформувати повну бінарну операцію[59].
Це рекурсивне формулювання додавання було розроблено Дедекіндом ще в 1854 році, і він розширив його в наступні десятиліття[60]. Він довів асоціативні та комутативні властивості, серед іншого, за допомогою математичної індукції.
Цілі числа
ред.Найпростіша концепція цілого числа полягає в тому, що воно складається з абсолютного значення (яке є натуральним числом) і знака (зазвичай додатного або від'ємного). Ціле число нуль є окремим третім випадком; нуль не є ні додатним, ні від'ємним. Відповідне визначення додавання повинно бути зроблено для кожного випадку:
- Для цілого числа n, нехай |n| — його абсолютне значення. Нехай a і b цілі числа. Якщо a або b дорівнює нулю, будемо вважати його нейтральним елементом. Якщо a і b обидва додатні, визначаємо a + b = |a| + |b|. Якщо a і b обидва від'ємні, визначаємо a + b = −(|a| + |b|). Якщо a і b мають різні знаки, визначаємо a + b як різницю між |a| і |b|, зі знаком виразу, абсолютне значення якого більше[61]. Наприклад, −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, 0) як +n, а клас еквівалентності (0, n) як –n. Це дозволяє ототожнити натуральне число n з класом еквівалентності +n.
Додавання впорядкованих пар виконується шляхом додавання відповідних компонентів:
Пряме обчислення показує, що клас еквівалентності результату залежить лише від класів еквівалентності доданків, і, таким чином, це визначає додавання класів еквівалентності, тобто цілих чисел[62]. Ще одне просте обчислення показує, що це додавання є таким же, як і наведене вище визначення.
Цей спосіб визначення цілих чисел як класів еквівалентності пар натуральних чисел можна використовувати для включення в групу будь-якої комутативної напівгрупи з властивістю скорочення. У цьому випадку напівгрупа утворена натуральними числами, а група є адитивною групою цілих чисел. Раціональні числа будуються аналогічно, беручи за напівгрупу ненульові цілі числа з множенням.
Ця конструкція також була узагальнена під назвою групи Гротендіка на випадок будь-якої комутативної напівгрупи. Без властивості скорочення гомоморфізм напівгрупи з напівгрупи в групу може бути неін'єктивним. Спочатку група Гротендіка була, більш конкретно, результатом застосування цієї конструкції до класів еквівалентностей за ізоморфізмами об'єктів абелевої категорії, з прямою сумою[en] як напівгруповою операцією.
Раціональні числа (дроби)
ред.Додавання раціональних чисел можна виконати за допомогою найменшого спільного знаменника, але концептуально простіше визначення передбачає лише додавання та множення цілих чисел:
- Визначимо
Наприклад,
- .
Додавати дроби з однаковими знаменниками набагато легше; в цьому випадку можна просто додати чисельники, залишивши знаменник без змін: , наприклад [63].
Комутативність і асоціативність додавання раціональних чисел є простим наслідком законів цілочисельної арифметики[64]. Більш строге і загальне визначення (див. у статті поле часток).
Дійсні числа
ред.Поширеним способом визначення множини дійсних чисел є доповнення Дедекінда множини раціональних чисел. Дійсне число визначається як переріз раціональних чисел Дедекінда: непорожня множина раціональних чисел, яка є замкнутою вниз і не має найбільшого елемента. Сума дійсних чисел a і b визначається поелементно:
- Визначимо [65].
Це визначення було вперше опубліковано, у дещо модифікованому вигляді, Ріхардом Дедекіндом у 1872 році[66]. Комутативність та асоціативність додавання дійсних чисел очевидні; дійсне число 0 визначається як множина від'ємних раціональних чисел; легко побачити, що це нейтральний елемент. Ймовірно, найскладнішою частиною цієї конструкції, пов'язаної з додаванням, є визначення адитивних інверсій[67].
На жаль, робота з множенням перерізів Дедекінда є трудомістким процесом розгляду кожного окремого випадку, подібним до додавання цілих чисел зі знаком[68]. Інший підхід полягає в метричному поповненні раціональних чисел. Дійсне число, по суті, визначається як границя послідовності раціональних чисел Коші, lim an. Додавання визначається поелементно:
- Визначаємо [69].
Це визначення вперше було опубліковано Георгом Кантором, також у 1872 році, хоча його формалізм був дещо іншим[70]. Маючи справу з ко-послідовностями Коші необхідно довести, що ця операція є чітко визначеною. Як тільки це завдання виконано, усі властивості дійсного додавання безпосередньо випливають із властивостей дійсних чисел. Крім того, інші арифметичні операції, включаючи множення, мають прості, аналогічні визначення[71].
Комплексні числа
ред.При додаванні комплексних чисел окремо додаються дійсні і уявні частини доданків[72][73] Тобто:
Використовуючи візуалізацію комплексних чисел на комплексній площині, додавання має наступну геометричну інтерпретацію: сума двох комплексних чисел A і B, інтерпретованих як точки комплексної площини, є точкою X, отриманою побудовою паралелограма, трьома вершинами якого є O, A і B. Еквівалентно, X це така точка, що трикутники з вершинами O, A, B, та X, B, A, є конгруентними.
Узагальнення
ред.Існує багато бінарних операцій, які можна розглядати як узагальнення операції додавання дійсних чисел. Такі узагальнені операції розглядаються в основному в абстрактній алгебрі, а також вони з'являються в теорії множин і теорії категорій.
Абстрактна алгебра
ред.Вектори
ред.У лінійній алгебрі векторний простір — це алгебраїчна структура, яка дозволяє додавати будь-які два вектори та масштабувати вектори. Звичний векторний простір — це множина всіх упорядкованих пар дійсних чисел; впорядкована пара (a,b) інтерпретується як вектор від початку координат на евклідовій площині до точки (a,b) на цій площині. Сума двох векторів отримується додаванням їхніх індивідуальних координат:
Операція додавання є центральною в класичній механіці, в якій швидкості, прискорення та сили представлені векторами[74].
Матриці
ред.Додавання матриць визначається для двох матриць однакових розмірів. Сума двох матриць m × n (вимовляється як «m на n») A і B, позначена A + B, знову є матрицею m × n, обчисленою шляхом додавання відповідних елементів[75][76]:
Наприклад:
Модульна арифметика
ред.У модульній арифметиці множина доступних чисел обмежується скінченною підмножиною цілих чисел, і додавання «обертається», коли досягається певне значення, яке називається модулем. Наприклад, множина цілих чисел за модулем 12 має дванадцять елементів; вона успадковує операцію додавання цілих чисел, яка є центральною для музичної теорії множин[en]. Множина цілих чисел за модулем 2 складається лише з двох елементів; операція додавання, яку вона успадковує, відома в булевій логіці як функція «виключної диз'юнкції». Подібна операція «обертання» виникає в геометрії, де сума двох кутових мір часто вважається їхньою сумою як дійсних чисел за модулем 2π. Це означає операцію додавання на колі, яка, у свою чергу, узагальнює операції додавання на багатовимірних торах.
Загальна теорія
ред.Загальна теорія абстрактної алгебри дозволяє розглядати будь-яку асоціативну і комутативну операцію над множиною як операцію «додавання». Основні алгебраїчні структури з такою операцією додавання включають комутативні моноїди та абелеві групи.
Теорія множин і теорія категорій
ред.Далекосяжним узагальненням додавання натуральних чисел є додавання порядкових і кардинальних чисел у теорії множин. Це дає два різні узагальнення додавання натуральних чисел до трансфінітних чисел. На відміну від більшості операцій додавання, додавання порядкових чисел не є комутативним[77]. Однак додавання кардинальних чисел є комутативною операцією, тісно пов'язаною з операцією диз'юнктного об’єднання.
В теорії категорій, диз'юнктне об'єднання розглядається як окремий випадок операції кодобутку[78], а загальні кодобутки є, можливо, найбільш абстрактними з усіх узагальнень додавання. Деякі кодобутки, такі як пряма сума[en] та клиноподібна сума, мають такі назви, щоб відобразити їх зв'язок із додаванням.
Пов'язані операції
ред.Додавання, разом з відніманням, множенням і діленням, вважається однією з основних операцій і використовується в елементарній арифметиці.
Арифметика
ред.Віднімання можна розглядати як різновид додавання, тобто додавання протилежного числа. Віднімання саме по собі є зворотним до додавання, оскільки додавання x і віднімання x є оберненими функціями.
На множині із операцією додавання не завжди можна визначити відповідну операцію віднімання; простим прикладом є множина натуральних чисел. З іншого боку, операція віднімання однозначно визначає операцію додавання, адитивну обернену операцію та адитивну тотожність; з цієї причини адитивну групу можна описати як множину, замкнуту щодо віднімання[79].
Множення можна розглядати як повторне додавання[en]. Якщо один вираз x з'являється в сумі n разів, тоді сума є добутком n і x. Якщо n не є натуральним числом, добуток все одно може мати сенс; наприклад, множення на −1 дає в результаті протилежне число.
Для дійсних і комплексних чисел додавання і множення можна замінити показниковою функцією[80]:
Ця тотожність дозволяє виконувати множення, звертаючись до таблиці логарифмів; обчислення також можна проводити за допомогою логарифмічної лінійки. Ця формула є хорошим наближенням першого порядку в широкому контексті груп Лі, де вона пов'язує множення нескінченно малих елементів групи з додаванням векторів у пов'язаній алгебрі Лі[81].
Існує навіть більше узагальнень множення, ніж додавання[82]. Загалом операції множення завжди розподіляються над додаванням; ця вимога формалізована у визначенні кільця. У деяких контекстах, таких як цілі числа, дистрибутивності над додаванням і існування мультиплікативної тотожності достатньо, щоб однозначно визначити операцію множення. Дистрибутивність також надає інформацію про додавання; розгорнувши добуток (1 + 1)(a + b) обома способами, можна зробити висновок, що додавання має бути комутативним. З цієї причини додавання в кільці є загалом комутативним[83].
Ділення — це арифметична дія, віддалено пов'язана з додаванням. Оскільки a/b = a(b−1), ділення є дистрибутивним справа над додаванням: (a + b) / c = a/c + b/c[84]. Однак ділення не є дистрибутивним зліва над додаванням; 1 / (2 + 2) не те саме, що 1/2 + 1/2.
Порядок величин
ред.Операція знаходження максимуму «max (a, b)» є бінарною операцією, подібною до додавання. Насправді, якщо два невід'ємних числа a і b мають різні порядки, то їх сума приблизно дорівнює максимуму. Це наближення є надзвичайно корисним у застосуваннях математики, наприклад, у скороченні рядів Тейлора. Водночас, це створює постійну складність у чисельному аналізі, оскільки «max» не є оборотнім. Якщо b набагато більше, ніж a, то пряме обчислення (a + b) − b може накопичити неприйнятну похибку округлення, можливо, навіть повернути нуль. Див. також нищівне скасування.
Наближення стає точним у своєрідній нескінченній границі; якщо a або b є нескінченним кардинальним числом, їх кардинальна сума точно дорівнює більшому з двох[86]. Відповідно, для нескінченних кардиналів не існує операції віднімання[87].
Операція знаходження максимуму є комутативною та асоціативною, як і додавання. Більше того, оскільки додавання зберігає порядок дійсних чисел, додавання є дистрибутивним над «max» так само, як множення є дистрибутивним над додаванням:
З цих причин у тропічній геометрії множення замінюють додаванням, а додавання — знаходженням максимуму. У цьому контексті додавання називається «тропічним множенням», знаходження максимуму — «тропічним додаванням», а тропічним нейтральним елементом є від'ємна нескінченність[88]. Деякі автори вважають за краще замінювати додавання знаходженням мінімуму; в цьому випадку нейтральним елементом є додатна нескінченність[89].
Об'єднавши ці спостереження, можна зробити висновок, що тропічне додавання пов'язане з звичайним додаванням наближеною рівністю з використанням логарифмів:
яка стає точнішою зі збільшенням основи логарифма[90]. Наближення можна зробити точним, якщо винести постійну h, названу за аналогією з сталою Планка з квантової механіки[91], і взявши «класичну границю[en]» коли h прямує до нуля:
У цьому сенсі операція знаходження максимуму є деквантованою версією додавання[92].
Інші способи додавання
ред.Операція інкременту, також відома як операція наступника[en] — це додавання 1 до числа.
Сума описує додавання будь-якої кількості чисел, зазвичай більше двох. Це включає ідею суми одного числа, яка є самим числом, і порожню суму, яка є нулем[93]. Нескінченне сума є особливою процедурою, яка називається рядом[94].
Лічба скінченної множини еквівалентна додаванню 1 під час ітерації по кожному елементу множини.
Інтегрування є різновидом «підсумовування» по континууму, або, більш точніше, по диференційовному многовиду. Інтегрування по нульвимірному многовиду зводиться до підсумовування.
Лінійна комбінація поєднують множення і підсумовування; це суми, у яких кожен член має множник, як правило дійсне або комплексне число. Лінійні комбінації особливо корисні в ситуаціях, де пряме додавання порушує певне правило нормалізації, наприклад змішані стратегії у теорії ігор або суперпозиція станів у квантовій механіці[95].
Згортка використовується для додавання двох незалежних випадкових величин, визначених функціями розподілу. Звичайне визначення згортки поєднує інтегрування, віднімання та множення[96]. Загалом, згортка корисна як різновид додавання по області визначення; навпаки, векторне додавання є різновидом додавання по області значень.
Див. також
ред.- Чотири арифметичні дії
- Віднімання
- Множення
- Ділення
- Рахування китайськими паличками
- Місячна арифметика[en]
- Усні обчислення
- Паралельне додавання[en]
- Числові ребуси (також відомі як англ. cryptarithms), головоломки з додаванням
Пояснювальні примітки
ред.- ↑ Addend не є латинським словом; в латинській мові воно має бути додатково сполучене, як у numerus addendus («число, яке потрібно додати»).
- ↑ Деякі автори вважають, що термін «перенесення» може бути невідповідним для освіти; Ван де Валле (с. 211) називає його «застарілим і концептуально оманливим», віддаючи перевагу слову «обмін» (англ. trade). Однак «перенесення» (англ. carry) залишається стандартним терміном.
Примітки
ред.- ↑ From Enderton (p. 138): «...виберіть дві множини K і L з K = 2 і L = 3. Зручно використовувати множини пальців; підручники надають перевагу множинам яблук».
- ↑ Lewis, Rhys (1974). Arithmetic. First-Year Technician Mathematics (англ.). Palgrave, London: The MacMillan Press Ltd. с. 1. doi:10.1007/978-1-349-02405-6_1. ISBN 978-1-349-02405-6.
- ↑ Addition. www.mathsisfun.com. Процитовано 25 серпня 2020.
- ↑ Devine et al. p. 263
- ↑ Mazur, Joseph. Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers. Princeton University Press, 2014. p. 161
- ↑ Department of the Army (1961) Army Technical Manual TM 11-684: Principles and Applications of Mathematics for Communications-Electronics . Section 5.1
- ↑ а б Shmerko, V.P.; Yanushkevich [Ânuškevič], Svetlana N. [Svitlana N.]; Lyshevski, S.E. (2009). Computer arithmetics for nanoelectronics (англ.). p.80: CRC Press.
- ↑ а б Schmid, Hermann (1974). Decimal Computation (англ.) (вид. 1st). Binghamton, NY: John Wiley & Sons. ISBN 0-471-76180-X., Schmid, Hermann (1983) [1974]. Decimal Computation (англ.) (вид. reprint of 1st). Malabar, FL: Robert E. Krieger Publishing Company. ISBN 978-0-89874-318-0.
- ↑ а б Weisstein, Eric W. Addition. mathworld.wolfram.com (англ.). Процитовано 25 серпня 2020.
- ↑ Hosch, W.L. (Ed.). (2010). The Britannica Guide to Numbers and Measurement. The Rosen Publishing Group. p. 38
- ↑ а б Schwartzman p. 19
- ↑ Karpinski pp. 56–57, reproduced on p. 104
- ↑ Шварцман (p. 212) приписує додавання вгору грекам і римлянам, кажучи, що це було приблизно так само поширено, як і додавання вниз. З іншого боку, Карпінський (p. 103) пише, що Фібоначчі «вводить новацію в написанні суми над доданками»; незрозуміло, чи Карпінський стверджує це як оригінальний винахід чи просто запровадження практики в Європі
- ↑ Karpinski pp. 150–153
- ↑ Cajori, Florian (1928). Origin and meanings of the signs + and -. A History of Mathematical Notations, Vol. 1 (англ.). The Open Court Company, Publishers.
- ↑ plus, Оксфордський словник англійської мови (вид. 3-тє), Oxford University Press, Вересень 2005 (Необхідна підписка або членство в публічній бібліотеці Сполученого Королівства .)
- ↑ Див. Viro 2001 для прикладу складності, яка виникає при додаванні з використанням множин, які мають «потужність множини дробів».
- ↑ Adding it up (p. 73) порівнює додавання мірних стрижнів до додавання множин котів: «Дюйми, наприклад, можна розділити на частини, які важко відрізнити від цілого, за винятком того, що вони коротші; тоді як поділ котів на частини є болючим і це серйозно змінює їхню природу»
- ↑ Mosley, F. (2001). Using number lines with 5-8 year olds. Nelson Thornes. p.8
- ↑ Li, Y., & Lappan, G.[en] (2014). Mathematics curriculum in school education. Springer. p. 204
- ↑ Bronstein, Ilja Nikolaevič; Semendjajew, Konstantin Adolfovič (1987) [1945]. 2.4.1.1.. У Grosche, Günter; Ziegler, Viktor; Ziegler, Dorothea (ред.). Taschenbuch der Mathematik (нім.). Т. 1. Переклад: Ziegler, Viktor. Weiß, Jürgen (вид. 23). Thun and Frankfurt am Main: Verlag Harri Deutsch[en] (and B.G. Teubner Verlagsgesellschaft[en], Leipzig). с. 115—120. ISBN 978-3-87144-492-0.
- ↑ Kaplan pp.69–71
- ↑ Hempel, C. G. (2001). The philosophy of Carl G. Hempel: studies in science, explanation, and rationality. p. 7
- ↑ R. Fierro (2012) Mathematics for Elementary School Teachers. Cengage Learning. Sec 2.3
- ↑ Moebs, William та ін. (2022). 1.4 Dimensional Analysis. University Physics Volume 1 (англ.). OpenStax[en]. ISBN 978-1-947172-20-3.
- ↑ Wynn p.5
- ↑ Wynn p.15
- ↑ Wynn p.17
- ↑ Wynn p.19
- ↑ Randerson, James (21 August 2008). Elephants have a head for figures. The Guardian (англ.). Архів оригіналу за 2 квітня 2015. Процитовано 29 March 2015.
- ↑ F. Smith p.130
- ↑ Carpenter, Thomas; Fennema, Elizabeth; Franke, Megan Loef; Levi, Linda; Empson, Susan (1999). Children's mathematics: Cognitively guided instruction. Portsmouth, NH: Heinemann. ISBN 0-325-00137-5.
- ↑ а б 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. doi:10.2307/30034895.
- ↑ Beckmann, S. (2014). The twenty-third ICMI study: primary mathematics study on whole numbers. International Journal of STEM Education, 1(1), 1-8. Chicago
- ↑ Schmidt, W., Houang, R., & Cogan, L. (2002). A coherent curriculum. American educator, 26(2), 1-18.
- ↑ а б в г д е ж Fosnot and Dolk p. 99
- ↑ Vertical addition and subtraction strategy. primarylearning.org (англ.). Процитовано 20 квітня 2022.
- ↑ Reviews of TERC: Investigations in Number, Data, and Space. nychold.com (англ.). Процитовано 20 квітня 2022.
- ↑ Rebecca Wingard-Nelson (2014) Decimals and Fractions: It's Easy Enslow Publishers, Inc.
- ↑ Dale R. Patrick, Stephen W. Fardo, Vigyan Chandra (2008) Electronic Digital System Fundamentals The Fairmont Press, Inc. p. 155
- ↑ P.E. Bates Bothman (1837) The common school arithmetic. Henry Benton. p. 31
- ↑ Truitt and Rogers pp. 1;44–49 and pp. 2;77–78
- ↑ 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. p. 11
- ↑ Jean Marguin, p. 48 (1994); Quoting René Taton (1963)
- ↑ Див. Калькулятор Паскаля
- ↑ Flynn and Overman pp. 2, 8
- ↑ Flynn and Overman pp. 1–9
- ↑ 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
- ↑ Karpinski pp. 102–103
- ↑ Роль першого і другого доданка залежить від архітектури. Про ADD в архітектурі x86 див. Horowitz and Hill p. 679; про ADD в архітектурі 68k див. p. 767
- ↑ Joshua Bloch, "Extra, Extra – Read All About It: Nearly All Binary Searches and Mergesorts are Broken" [Архівовано 2016-04-01 у Wayback Machine.]. Official Google Research Blog, June 2, 2006.
- ↑ Neumann, Peter G. (2 лютого 1987). The Risks Digest Volume 4: Issue 45. The Risks Digest (англ.). 4 (45). Архів оригіналу за 28 грудня 2014. Процитовано 30 березня 2015.
- ↑ Ендертон[en], глави 4 і 5, наприклад, мають цю послідовність.
- ↑ Згідно з опитуванням країн з найвищими результатами тесту з математики TIMSS; див. Schmidt, W., Houang, R., & Cogan, L. (2002). A coherent curriculum. American educator, 26(2), p. 4.
- ↑ Baez (p. 37) пояснює «різкий контраст» історичного розвитку з презентацією теорії множин: «Мабуть, половину яблука легше зрозуміти, ніж негативне яблуко!»
- ↑ Begle p. 49, Johnson p. 120, Devine et al. p. 75
- ↑ Enderton p. 79
- ↑ Для версії, яка застосовується до будь-якої частково впорядкованої множини з спадною ланцюговою умовою[en], див. Бергман, с. 100.
- ↑ Ендертон (с. 79) зауважує: «Але нам потрібна одна бінарна операція +, а не всі ці маленькі функції з одним аргументом»
- ↑ Ferreirós p. 223
- ↑ K. Smith p. 234, Sparks and Rees p. 66
- ↑ Enderton p. 92
- ↑ Schyrlet Cameron, and Carolyn Craig (2013)Adding and Subtracting Fractions, Grades 5–8 Mark Twain, Inc.
- ↑ Enderton, p. 104 містить перевірки правильності; Dummit, Foote p. 263. — надається короткий огляд перевірок для загального поля дробів над комутативним кільцем
- ↑ Enderton p. 114
- ↑ Ferreirós p. 135; see section 6 of Stetigkeit und irrationale Zahlen [Архівовано 2005-10-31 у Wayback Machine.].
- ↑ Інтуїтивний підхід, в якому кожен елемент перерізу інвертується та береться його доповнення, працює лише для ірраціональних чисел; див. Ендертон, с. 117
- ↑ 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).
- ↑ Зазвичай, підручники з математики не завжди так вільно користуються символом "lim"; див. Burrill (p. 138) для більш ретельної та докладної побудови додавання з послідовностями Коші.
- ↑ Ferreirós p. 128
- ↑ Burrill p. 140
- ↑ Conway, John B. (1986), Functions of One Complex Variable I (англ.), Springer, ISBN 978-0-387-90328-6
- ↑ Joshi, Kapil D (1989), Foundations of Discrete Mathematics (англ.), New York: John Wiley & Sons, ISBN 978-0-470-21152-6
- ↑ Gbur, p. 1
- ↑ Lipschutz, S., & Lipson, M. (2001). Schaum's outline of theory and problems of linear algebra. Erlangga.
- ↑ Riley, K.F.; Hobson, M.P.; Bence, S.J. (2010). Mathematical methods for physics and engineering (англ.). Cambridge University Press. ISBN 978-0-521-86153-3.
- ↑ Cheng, pp. 124–132
- ↑ Riehl, p. 100
- ↑ Множина має бути непорожньою. Дамміт та Фут (с. 48) обговорюють цей критерій, записаний мультиплікативно.
- ↑ Rudin p. 178
- ↑ Lee p. 526, Proposition 20.9
- ↑ Ліндерхольм (с. 49) зауважує: «Під множенням, власне кажучи, математик може мати на увазі майже все. Під додаванням він може мати на увазі велике різноманіття речей, але не таке велике різноманіття, як він матиме на увазі під словом „множення“».
- ↑ Дамміт і Фут с. 224. Щоб цей аргумент спрацював, потрібно припустити, що додавання є груповою операцією і що множення має тотожність.
- ↑ Для прикладу дистрибутивність зліва та справа див. Лодей, особливо с. 15.
- ↑ Compare Viro Figure 1 (p. 2)
- ↑ Ендертон називає це твердження «законом поглинання кардинальної арифметики»; воно залежить від порівнянності кардиналів і, отже, від аксіоми вибору.
- ↑ Enderton p. 164
- ↑ Mikhalkin p. 1
- ↑ Akian et al. p. 4
- ↑ Mikhalkin p. 2
- ↑ Litvinov et al. p. 3
- ↑ Viro p. 4
- ↑ Martin p. 49
- ↑ Stewart p. 8
- ↑ Rieffel and Polak, p. 16
- ↑ Gbur, p. 300
Джерела
ред.- Історія
- 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. Rand McNally. 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.
- Елементарна математика
- Sparks, F.; Rees C. (1979). A Survey of Basic Mathematics. McGraw-Hill. ISBN 978-0-07-059902-4.
- Освіта
- Begle, Edward (1975). The Mathematics of the Elementary School. McGraw-Hill[en]. 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). Wiley. ISBN 978-0-471-85947-5.
- National Research Council (2001). Adding It Up: Helping Children Learn Mathematics. National Academy Press. doi:10.17226/9822. ISBN 978-0-309-06995-3.
- Van de Walle, John (2004). Elementary and Middle School Mathematics: Teaching developmentally (вид. 5e). Pearson. ISBN 978-0-205-38689-5.
- Когнітивна наука
- 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. Taylor & Francis. ISBN 0-86377-816-X.
- Математична експозиція
- Bogomolny, Alexander (1996). Addition. Interactive Mathematics Miscellany and Puzzles (cut-the-knot.org). Архів оригіналу за 26 квітня 2006. Процитовано 3 лютого 2006.
- Cheng, Eugenia (2017). Beyond Infinity: An Expedition to the Outer Limits of Mathematics. Basic Books. ISBN 978-1-541-64413-7.
- Dunham, William (1994). The Mathematical Universe. Wiley. 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 (вид. 3rd). Wadsworth. ISBN 978-0-8185-0352-8.
- Вища математика
- Bergman, George (2005). An Invitation to General Algebra and Universal Constructions (вид. 2.3). General Printing. ISBN 978-0-9655211-4-7.
- Burrill, Claude (1967). Foundations of Real Numbers. McGraw-Hill. LCC QA248.B95.
- Dummit, D.; Foote, R. (1999). Abstract Algebra (вид. 2). Wiley. ISBN 978-0-471-36857-1.
- Gbur, Greg (2011). Mathematical Methods for Optical Physics and Engineering. Cambridge University Press. ISBN 978-0-511-91510-9. OCLC 704518582.
- Enderton, Herbert (1977). Elements of Set Theory. Academic Press[en]. 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). McGraw-Hill. ISBN 978-0-07-232200-2.
- Riehl, Emily (2016). Category Theory in Context. Dover. ISBN 978-0-486-80903-8.
- Rudin, Walter (1976). Principles of Mathematical Analysis (вид. 3). McGraw-Hill. ISBN 978-0-07-054235-8.
- Stewart, James (1999). Calculus: Early Transcendentals (вид. 4). Brooks/Cole. ISBN 978-0-534-36298-0.
- Математичні дослідження
- 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. doi:10.1016/S0021-8693(02)00510-0.
- Mikhalkin, Grigory (2006). Sanz-Solé, Marta (ред.). 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. с. 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à (ред.). European Congress of Mathematics: Barcelona, July 10–14, 2000, Volume I. Dequantization of Real Algebraic Geometry on Logarithmic Paper. Progress in Mathematics. Т. 201. Basel: Birkhäuser. с. 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. Wiley. ISBN 978-0-471-41209-0.
- Horowitz, P.; Hill, W. (2001). The Art of Electronics (вид. 2). Cambridge UP. ISBN 978-0-521-37095-0.
- Jackson, Albert (1960). Analog Computation. McGraw-Hill. LCC QA76.4 J3.
- Rieffel, Eleanor G.; Polak, Wolfgang H. (4 березня 2011). Quantum Computing: A Gentle Introduction (англ.). MIT Press. ISBN 978-0-262-01506-6.
- 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 (фр.). pp. 20–28: Presses universitaires de France.
Подальше читання
ред.- Baroody, Arthur; Tiilikainen, Sirpa (2003). The Development of Arithmetic Concepts and Skills. Two perspectives on addition development. Routledge. с. 75. ISBN 0-8058-3155-X.
- Davison, David M.; Landau, Marsha S.; McCracken, Leah; Thompson, Linda (1999). Mathematics: Explorations & Applications (вид. TE). 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. Addition and Subtraction: A Cognitive Perspective. Interpretations of Number Operations and Symbolic Representations of Addition and Subtraction. Taylor & Francis. с. 60. ISBN 0-89859-171-6.
Посилання
ред.- Додавання // Універсальний словник-енциклопедія. — 4-те вид. — К. : Теза, 2006.