Toplama

aritmetik işlem

Toplama işlemi (genellikle toplama işareti + ile sembolize edilir) dört ana aritmetik işlemden biridir. Diğer aritmetik işlemler çıkarma, çarpma ve bölmedir. İki doğal sayının toplaması sayı değerlerinin toplamını üretir. Yandaki resimdeki örnek, toplamda beş elma oluşturan üç elma ve iki elmanın toplamasını göstermektedir. Bu gözlem, matematik ifadesi ile "3 + 2 = 5" olarak ifade edilir (sözlü olarak "3 artı 2 eşittir 5.)

3+2=5 Elmalar ders kitaplarındaki popüler örneklerdir.

Toplama, öğeleri saymanın yanı sıra, somut nesnelere atıfta bulunmadan, tamsayılar, reel sayılar ve karmaşık sayılar gibi sayılar olarak adlandırılan soyutlamalar kullanılarak da tanımlanabilir ve yürütülebilir. Toplama, matematiğin bir dalı olan aritmetiğe aittir. Matematiğin başka bir dalı olan cebirde, vektörler, matrisler, alt uzaylar ve altöbek gibi soyut nesneler üzerinde de toplama yapılabilir.

Toplama işleminin birkaç önemli özelliği vardır. Toplama, değişme özelliğine sahiptir; bu, terimlerin sırasının işlem sonucu için önemli olmadığı anlamına gelir (ör. .) Toplama, birleşme özelliğine de sahiptir; bu, ekleme işleminin sırasının önemli olmadığı anlamındadır (ör. .) 1 sayısının tekrar tekrar eklenmesi, sayı sayma ile aynıdır. 0 sayısının eklenmesi, toplama işleminin sonucunu değiştirmez.

Notasyon ve terminoloji değiştir

 
Toplama işareti

Toplama işlemi, terimler arasına yerleştirilen toplama işareti ile gösterilir[1] (i.e. ayraçlı yazım). Toplama işlemi sonucu da eşittir işareti ile belirtilir. Örneğin:

  ("bir artı bir eşittir iki")
  ("iki artı iki eşittir dört")
  ("bir artı iki eşittir üç")
  (birleşme özelliği)
  (değişme özelliği)
  (çarpma işlemi)
 
Sütun toplaması – sütunlardaki sayıların toplamı alt çizginin altına yazılan sayıdır.

Hiçbir toplama işareti görünmemesine rağmen toplama işleminin "anlaşıldığı" durumlar da vardır. Örneğin, bir tam sayı ile bir kesir toplama işareti olmaksızın yan yana konursa, karma kesir adı verilen bir toplama işlemi oluşur:[2]

 

Fakat, yukarıdaki bu simgelem başka bağlamlarda çarpma işlemi ile karıştırılabilir.[3]

Seri toplamı da büyük sigma harfi ile belirtilebilir; bu simgelem iterasyonu kompakt şekilde simgeler. Örneğin:

 

Toplama işareti "+" (Unicode:U+002B; ASCII: +), "ve" anlamına gelen Latince "et" kelimesinin kısaltmasıdır.[4] İşaret, 1489 senesine kadarki matematik çalışmalarda görülmektedir.[5]

Özellikler değiştir

Değişme özelliği değiştir

 
4 + 2 = 2 + 4

Toplama işlemi, değişme özelliğine sahiptir: işlem içindeki terimlerin dizilişinin değiştirilmesi işlem sonucunu değiştirmez. Değişme özelliği, a ve b herhangi iki sayı olmak üzere, şu şekilde ifade edilebilir:

a + b = b + a.

Bu özellik, "değişme yasası" olarak da adlandırılır.[6] Kimi diğer ikili işlemler de değişme özelliğine sahiptir (ör. çarpma); ancak çıkarma ve bölme gibi işlemler de değişmeli değildir.

Birleşme özelliği değiştir

 
2 + (1 + 3) = (2 + 1) + 3

Toplama işlemi, birleşme özelliğine sahiptir: üç veya daha çok terimli bir toplama işleminde, işlem sırası işlem sonucunu değiştirmez. Birleşme özelliği, a, b ve c herhangi üç sayı olmak üzere, şu şekilde ifade edilebilir:

a + b + c = (a + b) + c = a + (b + c).

Toplama işlemi, diğer işlemlerle birlikte kullanıldığında işlem sırası önem kazanabilir. Standart işlem düzeninde toplama, üs alma, kök alma, çarpma ve bölmeden daha az önceliktedir; ancak, çıkarma ile eşit önceliğe sahiptir.[7]

Etkisiz eleman değiştir

 
5 + 0 = 5

Herhangi bir sayıya sıfır eklemek sayıyı değiştirmez; bu, sıfırın toplama için etkisiz eleman (aynı zamanda toplamsal birim olarak da bilinir) olduğu anlamına gelir. Sembolik olarak, her bir a için, aşağıdaki eşitlik doğrudur:

a + 0 = 0 + a = a.

Bu yasa, ilk olarak Brahmagupta'nın Brahmasphutasiddhanta'sında M.Ö. 628 yılında tanımlanmıştır. Brahmagupta, bu yasayı a nın negatif, pozitif veya sıfır olmasına göre üç ayrı yasa olarak, cebirsel semboller yerine sözcükler kullanarak yapar. Zamanla, Hintli matematikçiler bu kavramı yeniden tanımlar; 830 senesinde Mahavira, yasayı, "sıfır, kendisine eklenen sayı olur," olarak tanımlar (Sembolik olarak: 0 + a = a). 12. yüzyılda Bhaskara, yasayı, "sayıya sıfırın eklenmesi veya çıkarılması sonucunda, pozitif veya negatif olsun, sayı aynı kalır," şeklinde tanımlamıştır (Sembolik olarak: a + 0 = a).[8]

Ardıl değiştir

Ardıl, herhangi bir (a) tamsayısı için (a + 1) tam sayısı olarak tanımlanır.[9] Burada, (a + 1), (a)'dan büyük en küçük tam sayıdır ve (a)'nın ardılıdır.[10]:7 Örneğin, 3, 2'nin ardılıdır ve 7, 6'nın ardılıdır.

Bu ardışıklık nedeniyle, a + b'nin değeri (a)'nın (b)'inci ardılı olarak da görülebilir. Örneğin, 6 + 2 8'e eşittir; çünkü 8, 6'nın ardılı olan 7'nin ardılıdır ve 8 de, 6'nın ikinci ardılıdır.

Birimler değiştir

Birimli fiziksel niceliklerin sayısal olarak eklenmesi için, bu niceliklerin aynı birime sahip olmaları gerekir.[11] Örneğin, 150 mililitreye 50 mililitre eklemek 200 mililitre verir. Yanı sıra, birbirine dönüştürülebilen alt-üst birimleri de birbirine eklemek mümkündür. Örneğin, 5 santimetrelik bir niceliğe 10 milimetre eklemek 6 santimetre verir. Fakat, alt-üst birim ilişkisi olmayan birimlerin arasında ekleme işlemi yapılamaz. Örneğin, 2 metre ile 10 metrekareyi toplamak tanımsızdır. Bu kural, boyut analizinin temel kurallarından biridir.[12]

Toplama işlemi yapma değiştir

Doğuştan gelen kabiliyetler değiştir

1980'lerde başlayan matematiksel gelişim çalışmaları, uyarana karşı alışkanlık kazanma olgusundan yararlanmıştır. Karen Wynn'in 1992'de yaptığı bir deney, bebeklerin beklenmedik durumlara daha uzun süre bakakalıyor olmalarına dayanmıştır.[13] Bu deneyde, bazı Mickey Mouse oyuncakları bir ekranın arkasından farklı düzenlerde beş aylık bebeklere gösterilmiş; bebeklerin 1 + 1'in 2 olduğunu bekledikleri ve 1 + 1'in 1 veya 3 olarak gösterildiği düzenlerde nispeten şaşırdıkları gözlemlenmiştir. Bu bulgu, bu ilk deneyden beri farklı metodolojiler kullanılarak çeşitli gruplar tarafından teyit edilebilmiştir.[14] 1992 yılında bir başka deneyde ise yürümeye yeni başlayan çocukların motor kontrol kabiliyetlerinden yararlanılmıştır. Bu deneyde, 18-35 aylık çocukların bir kutudan ping-pong topları almaları sağlanmış; nispeten büyük çocukların 5'e kadar toplama işlemi yapabildikleri gözlemlenmiştir.[15]

Bazı hayvanlar türleri de, özellikle primatlar, kısıtlı bir toplama kabiliyetine sahiptir. Wynn'e ait 1992 deneyini hayvanlar üzerinde uygulayan 1995 yılında yapılan bir deneyde, oyuncak yerine patlıcan kullanılmış; hint şebeği ve pamuk-başlı tamarin maymunlarının bebeklere benzer bir performans gösterdiği gözlemlenmiştir. Bir diğer deneyde ise, 0 ila 4 arası Arap rakamlarının öğretildiği bir şempanze, daha fazla öğretim almadan iki farklı rakamı toplayabilme kabiliyeti gösterebilmiştir.[16] Yanı sıra, Asya fillerinin de temel aritmetik işlem yapma kabiliyetine sahip oldukları haberleştirilmiştir.[17]

Çocukluk döneminde öğrenim değiştir

Genellikle, çocuklar önce saymayı öğrenir. Örneğin, iki öğe ile üç öğenin bir araya getirilmesi gereken bir problem sorulduğunda, küçük çocuklar genellikle parmaklarını kullanarak ya da bir çizim vasıtasıyla durumu modeller ve toplama ulaşırlar. Çocuklar, deneyim kazandıkça, "sayma" stratejisini öğrenirler veya keşfederler: 'iki artı üç' sorusunun sonucu olan beşe, çocuklar, ikiyi "üç, dört, beş" diye üç kere geçerek varırlar. Bu stratejinin evrensel olduğu düşünülmektedir ve çocukların bunu akranlarından ya da öğretmenlerinden kolayca öğrenebildikleri belirtilmektedir.[18]

Tam sayılar ve aritmetik öğretimi farklı ülkelerde farklı yaşlarda başlatılmaktadır; toplama ise pek çok ülkede okul öncesi eğitime dahildir.[19] Fakat, toplama işlemi, dünyanın her yerinde, ilkokulun ilk yılının sonuna kadar öğretilmiş olmaktadır.[20]

Tablo değiştir

Genellikle, çocuklara ezberlemeleri için, 0 ve 9 arası sayı çiftlerinin bulunduğu bir toplama tablosu sunulur. Bu tabloyu öğrenen çocuklar herhangi bir toplama işlemini yapabilir.

+ 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

Ondalık sistem değiştir

Toplamayı hızlandırmak ondalık sistem ile mümkündür. Bunun ön koşulu, birtakım "toplama olgularının" akıcı bir şekilde hatırlanması veya türetilmesidir. Bu olgular ezberlenebilirse de; bu olguların yapı-tabanlı teknikler ile hatırlanması çoğu kişi için daha verimli olabilir.[21] Bu olgular şunlardır:

  • Bir veya iki eklemesi: 1 veya 2 tam sayısını bir başka sayıya eklemek, sezgi ile gerçekleştirilebilir.[21]

Taşıma değiştir

Çok basamaklı tam sayıları toplamak için standart yöntem, toplananları dikey olarak hizalamak ve en sağdaki sütundan başlayarak sütundaki rakamları toplamaktır. Eğer bir sütundaki toplama işlemi dokuzu aşarsa, soldaki komşu sütuna eklenmek üzere bir rakamı "taşınır." Örneğin, aşağıdaki 27 + 59 toplama işleminde

  ¹
  27
+ 59
————
  86

en sağdaki sütun toplamı 7 + 9 = 16 olur ve 1 rakamı komşu sol sütuna taşınır.

Ondalık taban değiştir

Ondalık kesirler yukarıdaki işlemin basit bir modifikasyonu ile toplanabilirler.[22]

İki ondalık kesir, ondalık noktası aynı hizada olacak şekilde üst üste konumlanır. Gerekirse, ondalık kısmı daha kısa olan sayıya diğer sayı ile aynı uzunlukta olması için sıfır eklemlenebilir. Son olarak, ondalık noktasının aynı hizada olması sağlanarak 'taşıma' yöntemiyle toplama işlemi gerçekleştirilir.

Örnek olarak, 45.1 + 4.34 işlemi şu şekilde toplanabilir:

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

Bilimsel gösterim değiştir

Bilimsel gösterimde, reel sayılar   şeklinde yazılır. Bu terimde,   tabandır ve   'üs'tür. Toplama, sayıların aynı üslere sahip olmasını gerektirir. Bu sayede, tabanlar basitçe toplanabilir.

Örneğin:

 

Ondalık-olmayan tabanlarda işlemler değiştir

Ondalık-olmayan tabanlarda toplama, ondalık tabandaki toplamaya benzerdir. Buna ikili tabanda toplama örnek gösterilebilir.[23] Tek basamaklı ikili sayıları eklemek, yukarıda bahsedilen 'taşıma' yöntemiyle gerçekleştirilebilir:

0 + 0 → 0
0 + 1 → 1
1 + 0 → 1
1 + 1 → 0, 1 taşınır (1 + 1 = 2 = 0 + (1 × 21))

İkili tabanda, iki "1" rakamının eklenmesi "0" rakamını üretir; bir sonraki sütuna da 1 eklenir. Bu, ondalık tabanda belirli rakamların eklenmesinde de görülür Eğer bir sütun toplamı '10' sayısına eşit veya bu sayıdan büyükse, sol sütuna 1 eklenir:

5 + 5 → 0, 1 taşınır (5 + 5 = 10 = 0 + (1 × 101))
7 + 9 → 6, 1 taşınır (7 + 9 = 16 = 6 + (1 × 101))

Bu yöntem 'taşıma' (İngilizce carrying) olarak bilinir.[24]

Bilgisayarlar değiştir

 
Operasyonel yükselteç kullanılarak yapılan toplama işlemi.

Analog bilgisayarlar fiziksel ölçümlerle doğrudan etkileşime girerler, dolayısıyla toplama işlemleri, eklenen değerlerin niteliklerine bağlı olarak değişiklik gösterir. Mekanik bir toplama cihazı, eklenen iki değeri kayar blokların pozisyonları olarak ifade edebilir; bu durumda, ortalama değer hesaplama yöntemi olan bir kaldıraç ile toplama işlemi yapılabilir. Eğer eklenen değerler iki milin dönüş hızları ise, bir diferansiyel aracılığıyla toplanabilirler. Hidrolik bir toplama birimi, iki kompartımandaki basınç değerlerini, bir dizi piston üzerindeki kuvvetlerin dengelenmesi sürecinde Newton'un ikinci yasasını kullanarak hesaplayabilir. Genel amaçlı bir analog bilgisayarın karşılaştığı en sık durum, iki voltajın (toprak referans alınarak) toplanmasıdır; bu işlem genellikle bir direnç ağı ile gerçekleştirilse de, daha etkili bir yöntem operasyonel bir yükselteç kullanmaktır.[25]

Toplama işlemi, özellikle taşıma mekanizmasının etkinliği bakımından, dijital bilgisayarların işlevselliği için temel bir bileşendir ve bu işlemin verimliliği, genel performans üzerinde belirleyici bir faktördür.

 
Charles Babbage'ın fark makinesine ait parçalar, toplama ve taşıma mekanizmalarını içermektedir.

Abaküs, aynı zamanda hesaplama çerçevesi olarak bilinen, yazılı modern sayı sistemi benimsenmeden yüzyıllar önce kullanılmaya başlanmış bir hesaplama aracıdır ve hâlâ Asya, Afrika ve diğer bölgelerde tüccarlar tarafından geniş çapta kullanılmaktadır; bu araç MÖ 2700–2300 yılları arasında, Sümer'de kullanılmaya başlandığı dönemlere dayanmaktadır.[26]

Blaise Pascal, 1642 yılında mekanik bir hesap makinesi geliştirmiştir;[27] bu cihaz, ilk işlevsel toplama makinesi olarak kaydedilmiştir. Bu cihaz, yer çekimini kullanarak çalışan bir taşıma mekanizması içermekteydi. Bu makine, 17. yüzyılda işlevsel olan tek mekanik hesap makinesi olup[28], aynı zamanda en eski otomatik dijital bilgisayar olarak kabul edilmektedir. Pascal'ın hesap makinesi, yalnızca bir yöne dönebilmesine izin veren taşıma mekanizması nedeniyle sınırlıydı; bu, makinenin yalnızca toplama işlemi yapabilmesine olanak tanıyordu. Çıkarma işlemi gerçekleştirmek için operatör, Pascal hesap makinesinin tamamlayıcısını kullanmak zorundaydı, bu işlem toplama kadar çok sayıda adım gerektirmekteydi. Giovanni Poleni, Pascal'ı izleyerek, 1709 yılında inşa edildikten sonra iki sayıyı otomatik olarak çarpan, ahşap malzemeden yapılmış bir hesap saatini tasarlamıştır.

 
"Tam toplayıcı" mantık devresi, A ve B ikili basamaklarına ve bir taşıma girişi Cin olacak şekilde toplama işlemi yaparak, sonuç olarak toplam biti S ve bir taşıma çıkışı Cout elde eder.

Toplayıcılar, elektronik dijital bilgisayarlarda, genellikle ikili aritmetik temelinde tam sayı toplama işlemi uygular. En temel yapı, çok basamaklı standart algoritmayı izleyen dalga taşıma toplayıcısıdır. Bir miktar iyileştirilmiş bir yapı olan taşıma atlama tasarımı (İng. carry bypass adder), yine insan sezgisine dayalıdır; 999 + 1 işlemi gerçekleştirilirken tüm taşıma işlemleri yapılmaz, 9'lar grubu göz ardı edilir ve doğrudan sonuca ulaşılır.[29]

Uygulamalı olarak, hesaplama temelli toplama işlemleri, aşağıdaki kodda gösterildiği üzere XOR ve AND bit düzeyinde mantıksal işlemler ile bit kaydırma operasyonlarının birleştirilmesiyle sağlanabilir. XOR ve AND kapılarının dijital mantıkta kolayca gerçekleştirilebilir olması, bu kapıların tam toplayıcı devrelerinin oluşturulmasını mümkün kılar; bu devreler daha karmaşık mantıksal işlemler için birleştirilebilir. Çağdaş dijital bilgisayarlarda, tam sayı toplama işlemi tipik olarak en hızlı aritmetik işlemdir, ancak kayan nokta işlemleri ve bellek erişimi sırasında adres üretimi ile dal sırasında talimat yüklemesi gibi temel görevlerin altında yattığı için performans üzerinde büyük bir etkiye sahiptir. Hızı artırmak amacıyla, modern tasarımlar rakamları paralel olarak hesaplar; bu yöntemler taşıma seçimi, taşıma öngörme ve Ling sahte taşıma gibi isimler altında bilinir. Bu uygulamaların birçoğu, aslında bu son üç tasarımın bir karışımıdır.[30][31] Kağıt üzerindeki toplamadan farklı olarak, bilgisayarda yapılan toplama işlemi genellikle toplanan değerleri değiştirir. Antik abaküs ve toplama tahtasında, her iki toplanan değer de yok edilir, sadece sonuç baki kalır. Abaküsün matematiksel düşünce üzerindeki derin etkisi, erken Latin metinlerinde sıkça "bir sayıya bir sayı eklenmesi" sürecinde her iki sayının da yok olduğu iddiasına neden olmuştur.[32] Modern dönemde, bir mikroişlemcinin ADD komutu çoğunlukla artanı toplamla değiştirirken, toplananı muhafaza eder.[33] Yüksek seviye bir programlama dilinde, a + b işlemi a veya byi değiştirmez; eğer hedef a'yı toplamla değiştirmekse, bu genellikle a = a + b ifadesiyle açıkça talep edilmelidir. Bazı diller, örneğin C veya C++, bu işlemi a += b şeklinde kısaltmaya izin verir.

// İteratif algoritma
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; 
}

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

Bilgisayar sistemlerinde, bir toplama işlemi sonucunda elde edilen değer, saklama alanını aşarsa, aritmetik taşma meydana gelir ve bu durum yanıltıcı bir sonuç üretir. Beklenmedik aritmetik taşmalar, yazılım hatalarının oldukça sık rastlanan bir sebebidir. Bu tür taşma hataları, yalnızca büyük boyutlu girdi veri kümeleri için meydana geldiğinden ve doğrulama testlerinde bu tür veri kümelerinin kullanım olasılığı düşük olduğundan, keşfedilmeleri ve tanımlanmaları zor olabilir.[34] 2000 Yılı Sorunu, yılların iki haneli bir formatla ifade edilmesi nedeniyle ortaya çıkan taşma hatalarından oluşan bir dizi sorundur.[35]

Sayıların toplanması değiştir

Toplama işleminin genel özelliklerini kanıtlamak için, öncelikle söz konusu bağlamda toplama işleminin tanımı yapılmalıdır. İlk olarak, toplama işlemi doğal sayılar üzerinde tanımlanır. Daha sonra, bu tanımlama, küme teorisi içinde, doğal sayılardan daha büyük kümelere genişletilir: tamsayılar, rasyonel sayılar ve gerçek sayılar gibi.[36] (Matematik eğitiminde,[37] negatif sayılar ele alınmadan önce pozitif kesirler toplanır; bu aynı zamanda tarihsel bir yaklaşımdır.[38])

Doğal sayılar değiştir

İki doğal sayının a ve b toplamını tanımlamanın iki yaygın yolu vardır. Doğal sayıların sonlu kümelerin kardinal sayıları olduğu şeklinde tanımlanması durumunda (bir kümenin kardinalitesi kümenin içerdiği öğelerin sayısıdır), toplama işlemi aşağıdaki şekilde tanımlanabilir:

  • N(S), S kümesinin kardinal sayısı olsun. A ve B, N(A) = a ve N(B) = b olacak şekilde ayrık iki küme seçilir. Bu durumda a + b,   olarak tanımlanır.[39] Burada, AB, A ve B'nin birleşimidir. Bu tanımın alternatif bir versiyonu, A ve Bnin örtüşebileceğine izin verir ve ardından ortak elemanların ayrılmasını, dolayısıyla iki kez sayılmasını sağlayan ayrık birleşimlerini alır.

Diğer popüler tanım ise yinelemelidir (rekursif):

  • n'+, nin varisi olsun, yani nin doğal sayılardaki ardılı, 0+=1, 1+=2 olsun. a + 0 = a olarak tanımlayın. Genel toplamı yinelemeli olarak a + (b+) = (a + b)+ şeklinde tanımlayın. Böylece 1 + 1 = 1 + 0+ = (1 + 0)+ = 1+ = 2 olur.[40]

Yine, bu tanım üzerinde literatürde küçük varyasyonlar vardır. Sözcüğün tam anlamıyla, yukarıdaki tanım, kısmi sıralı küme N2 üzerinde özyinelemenin bir uygulamasıdır.[41] Diğer taraftan, bazı kaynaklar sadece doğal sayılar kümesine uygulanan kısıtlı bir yineleme teoremini tercih eder. Biri ayı geçici olarak "sabit" olarak kabul eder, b üzerinde yineleme uygular "a +" fonksiyonunu tanımlar ve bu tekli işlemleri tüm alar için bir araya getirerek tam ikili işlemi oluşturur.[42]

Tam sayılar değiştir

Tam sayıların en temel tanımı, bir mutlak değer (bu bir doğal sayıdır) ve bir işaret (genellikle pozitif veya negatif) içermesine dayanır. Sıfır tam sayısı, ne pozitif ne de negatif olan özel bir durum olarak ele alınır. Bu tanımlamaya göre toplama işlemi, farklı durumlar göz önünde bulundurularak yapılmalıdır:

  • Bir tamsayı n için, |n| onun mutlak değeri olarak kabul edilsin. a ve b tam sayıları için, eğer a veya b sıfır ise, bu durumu bir özdeşlik olarak değerlendirin. a ve b her ikisi de pozitif olduğunda, a + b = |a| + |b| şeklinde ifade edilmelidir. a ve b her ikisi de negatif olduğunda, a + b = −(|a| + |b|) şeklinde tanımlanmalıdır. a ve b farklı işaretlere sahip ise, a + b ifadesi, |a| ve |b| değerlerinin farkı olarak tanımlanır ve bu farkın işareti, mutlak değeri daha yüksek olan terime ait işaret olarak belirlenir.[43] Bir örnek olarak, −6 + 4 = −2; −6 ve 4 farklı işaretlere sahip olduğundan, mutlak değerler çıkarılır ve negatif terimin mutlak değeri daha büyük olduğu için, sonuç negatif olarak belirlenir.

Bu tanım, somut problemlerin çözümünde yararlı olmakla birlikte, ele alınması gereken durum sayısının fazlalığı, ispatları gereğinden fazla karmaşık hale getirir. Bu nedenle, tam sayıların tanımı için genellikle aşağıda açıklanan yöntem tercih edilir. Bu yöntem, her tam sayının iki doğal sayının farkı olarak ifade edilebileceği ve ab ile cd gibi farkların yalnızca a + d = b + c olduğunda eşit kabul edileceği gözlemine dayanmaktadır. Bu çerçevede, tam sayılar, doğal sayı çiftlerinin sıralı çiftleri üzerinde kurulan denklik ilişkisi altında tanımlanan denklik sınıfları olarak formal bir şekilde tanımlanabilir:

(a, b) ~ (c, d) ifadesi, ancak ve ancak a + d = b + c eşitliği sağlandığında geçerlidir.

(a, b) çiftinin denklik sınıfı, ab olduğu durumlarda (ab, 0), aksi halde (0, ba) olarak ifade edilir. Bir doğal sayı olan n için, (n, 0) çiftinin denklik sınıfı +n olarak, ve (0, n) için denklik sınıfı ise n olarak tanımlanabilir. Bu tanım, doğal sayı n'i denklik sınıfı +n ile özdeşleştirme olanağı sunar.

Sıralı çiftlerin toplama işlemi, elemanlar bazında gerçekleştirilir:

 

Yapılan temel hesaplamalar, sonuçların denklik sınıfının yalnızca toplanan değerlerin denklik sınıflarına bağımlı olduğunu ortaya koyar; bu durum, denklik sınıflarının toplamının tanımlanmasını sağlar ve bu tanım tam sayıları ifade eder.[44] Başka bir temel hesaplama ise, bu toplama işleminin yukarıda açıklanan durum tanımıyla özdeş olduğunu belirler.

Doğal sayı çiftlerinin denklik sınıfları üzerinden tam sayıların tanımı, sadeleşme özelliğine sahip değişmeli bir yarıgrup yapısını herhangi bir toplamsal gruba entegre etmek amacıyla kullanılabilir. Bu bağlamda, doğal sayılar temel alınarak bir yarıgrup oluşturulmuş ve bu yarıgrup, tam sayıların toplamsal grubu şeklinde bir gruba dönüştürülmüştür. Rasyonel sayıların oluşturulması da benzer bir yöntemle, çarpma işlemine dayalı olarak sıfırdan farklı tam sayılar yarıgrubu kullanılarak gerçekleştirilir.

Bu yapısal çerçeve, herhangi bir değişmeli yarıgrup için Grothendieck grubu adıyla genelleştirilmiştir. Sadeleşme özelliğinin bulunmaması durumunda, yarıgruptan yapılan gruba olan yarıgrup homomorfizması enjektif olmayabilir. Özgün olarak, Grothendieck grubu, daha spesifik bir uygulama olarak, bir abelyen kategorinin nesneleri arasındaki izomorfizmler altında denklik sınıflarına bu yapısal dönüşümün uygulanmasıyla elde edilmiştir; burada yarıgrup operasyonu olarak doğrudan toplam kullanılmıştır.

Rasyonel sayılar (kesirler) değiştir

Rasyonel sayıların toplama işlemi, en küçük ortak payda kullanılarak gerçekleştirilebilir; ancak, daha anlaşılır ve kavramsal olarak basit bir tanım, yalnızca tam sayıların toplama ve çarpma işlemlerini gerektirir:

  • Toplama işlemi   formülü ile tanımlanır.

Bir örnekte,   şeklinde toplam hesaplanmıştır; bu, kesirlerin toplanması sırasında yapılan işlemlerin basit bir gösterimidir.

Kesirlerin toplanması, paydaların eşit olması durumunda oldukça basitleşir; bu durumda, paylar doğrudan toplanırken payda sabit tutulur:   formülüyle, örneğin   hesaplanır.[45]

Rasyonel sayıların toplama işleminin değişme ve birleşme özellikleri, tam sayı aritmetiğinin temel yasalarının doğal bir sonucudur.[46]

Reel sayılar değiştir

 
π2/6 ve e sayılarının rasyonel sayılar üzerindeki Dedekind kesitleri ile toplama işlemi.

Reel sayılar kümesinin oluşturulması sıklıkla, rasyonel sayılar kümesinin Dedekind yöntemiyle tamamlanması şeklinde gerçekleştirilir. Reel bir sayı, rasyonel sayıların Dedekind kesiti olarak ifade edilir; bu, aşağı doğru kapalı ve en büyük elemanı olmayan rasyonel sayılardan oluşan boş olmayan bir küme olarak karakterize edilir. a ve b gibi reel sayıların toplamı, elemanlar üzerinden aşağıdaki şekilde tanımlanır:

  • Toplama işlemi,   formülü ile elemanlar bazında belirlenir.[47] Bu tanımlama, her iki reel sayı içindeki elemanların kapsamlı bir şekilde birleştirilmesini sağlar ve bu birleştirme sonucu yeni bir reel sayı kümesi oluşturulur.

Bu tanım, Richard Dedekind tarafından 1872 yılında, orijinalinden biraz değiştirilmiş bir biçimde ilk kez yayımlanmıştır.[48] Reel sayıların toplama işlemi üzerine tanımlanan değişme ve birleşme yasaları, hemen kavranabilir niteliktedir; reel sıfır sayısının negatif rasyonel sayılar kümesi olarak tanımlanmasıyla, bu sayının toplamsal özdeşlik elemanı olduğu açıkça görülmektedir. Bu yapısal tanımın toplama ile ilişkili en zorlu kısmı, toplamsal terslerin tanımlanmasıdır.[49] Bu, yapısal matematikte önemli bir meydan okumayı temsil eder ve matematiksel titizliğin önemini vurgular.

 
π2/6 ve e değerlerinin rasyonel sayıların Cauchy dizileri aracılığıyla toplanması.

Ne yazık ki, Dedekind kesitlerinin çarpılması, işaretli tam sayıların toplanmasına benzer şekilde, zaman alıcı ve duruma özgü bir süreç gerektirir.[50] Alternatif bir yöntem olarak rasyonel sayıların metrik tamamlanması önerilmektedir. Reel sayı, temelde rasyonel sayıların bir Cauchy dizisinin limiti olarak tanımlanmaktadır, lim an. Bu bağlamda toplama işlemi, terim terim şeklinde belirlenir:

  •   şeklinde tanımlanır.[51]

Bu tanım ilk olarak Georg Cantor tarafından 1872 yılında ortaya konulmuştur, ancak onun kullandığı formalizm biraz daha farklı niteliktedir.[52] Bu toplama işleminin uygun şekilde tanımlandığının kanıtlanması gerekmektedir, bu da yardımcı-Cauchy dizileri ile ilgili işlemleri kapsar. Bu aşama tamamlandığında, reel sayıların toplama işlemine ilişkin tüm özellikler, rasyonel sayıların özelliklerinden doğrudan türetilebilir. Ek olarak, çarpma dahil olmak üzere diğer aritmetik işlemler de benzer bir şekilde basit ve benzeşen tanımlara sahiptir.[53] Bu kavramsal çerçeve, sayı teorisindeki aritmetik işlemlerin genişletilmesi için temel oluşturur.

Karmaşık sayılar değiştir

 
İki karmaşık sayının toplama işlemi, bir paralelkenar konstrüksiyonu ile geometrik olarak gerçekleştirilebilir.

Karmaşık sayıların toplanması, bu sayıların gerçek ve sanal bileşenlerinin toplanarak hesaplanması işlemiyle yapılmaktadır:[54][55]

 

Karmaşık sayıların karmaşık düzlemde görselleştirilmesiyle, toplama işleminin geometrik yorumu şu şekilde gerçekleştirilir: Karmaşık düzlemde, noktalar olarak kabul edilen iki karmaşık sayı A ve B'nin toplamı, O, A ve B noktaları arasında oluşturulan bir paralelkenar ile elde edilen X noktasıdır. Alternatif bir ifadeyle, X noktası, köşeleri O, A, B ve diğer üçgenin köşeleri X, B, A olan ve birbirleriyle eşleşik olan üçgen aracılığıyla tanımlanmaktadır. Bu yorumlama, karmaşık sayıların toplamının, geometrik olarak nasıl temsil edilebileceğini açıklamaktadır.

Genellemeler değiştir

Reel sayılardaki toplama işlemine benzer birçok ikili işlem bulunmaktadır. Soyut cebir disiplini, bu tür genelleştirilmiş işlemlerle yoğun olarak ilgilenmektedir ve bu işlemler küme teorisi ile kategori teorisi alanlarında da sıklıkla ele alınmaktadır.

Soyut cebir değiştir

Vektörler değiştir

Lineer cebir alanında, bir vektör uzayı, herhangi iki vektörün toplanabilmesini ve vektörlerin ölçeklendirilebilmesini mümkün kılan cebirsel bir yapıdır. Reel sayı çiftlerinin tümü, tanıdık bir vektör uzayını oluşturur; (a,b) sıralı çifti, Öklid düzlemindeki orijinden (a,b) noktasına uzanan bir vektör olarak yorumlanabilir. İki vektörün toplamı, onların koordinatlarının tek tek toplanması ile sağlanır:

 

Bu toplama işlemi, klasik mekanik alanında temel bir işlem olarak kabul edilir; bu alanda hızlar, ivmeler ve kuvvetler vektörlerle ifade edilir.[56] Bu, vektörlerin fiziksel büyüklükleri temsil etme kapasitesinin önemini vurgular.

Matrisler değiştir

İki matrisin toplama işlemi, yalnızca aynı boyutlardaki matrisler için uygulanabilir bir işlemdir. m × n (okunuşu "m çarpı n") ebatlarında olan A ve B matrislerinin toplamı, A + B ile ifade edilir ve sonuç olarak elde edilen matris yine bir m × n matrisidir. Bu toplama işlemi, matrislerin karşılık gelen elemanlarının birbiriyle toplanması yoluyla gerçekleştirilir:[57][58] Bu yöntem, lineer cebirde temel bir araç olarak kabul edilir ve matrislerin eleman bazında işlem görmesi, bu alandaki çeşitli problemlerin çözümünde kullanılır.

 

Örneğin:

 

Modüler aritmetik değiştir

Modüler aritmetikte, kullanıma sunulan sayılar kümesi tam sayıların sonlu bir alt kümesine indirgenmiş olup, toplama işlemi bir modülüs değerine ulaşıldığında döngüsel bir karakter gösterir. Örneğin, 12 modülü tam sayılar kümesi on iki eleman içerir ve tam sayılardan miras alınan bir toplama operasyonunu barındırır ki bu operasyon, müzikal set teorisinde temel bir role sahiptir. İki elemandan oluşan 2 modülü tam sayılar kümesi, Boolean mantığı içerisinde "exclusive or" fonksiyonu olarak tanımlanan bir toplama operasyonunu miras alır. Geometride de benzer bir döngüsel işlem gözlemlenir; burada iki açı ölçüsünün toplamı, genellikle reel sayılar cinsinden 2π modülünde hesaplanır. Bu durum, daire üzerinde bir toplama işlemine işaret eder ve bu işlem, çok boyutlu toruslar üzerindeki toplama operasyonlarının genelleştirilmesine olanak tanır.

Genel teori değiştir

Soyut cebirin genel kuramı, bir küme üzerinde tanımlanan "toplama" işleminin birleşimli ve değişmeli nitelikteki herhangi bir işlem olabileceğini öngörür. Bu tür bir toplama işlemine dayanan temel cebirsel yapılar, değişmeli monoidler ve abelyen gruplar gibi yapıları içerir.

Küme teorisi ve kategori teorisi değiştir

Doğal sayıların toplamasının kapsamlı bir genelleştirmesi, küme teorisinde sıral sayılar ve kardinal sayıların toplanması şeklinde gerçekleştirilir. Bu yaklaşımlar, doğal sayıların toplanmasını sonluötesi sayılara taşıyan iki farklı metodoloji sunar. Çoğu toplama işleminden ayrılarak, sıral sayıların toplaması değişmeli bir özellik göstermez.[59] Öte yandan, kardinal sayıların toplaması, ayrık birleşim operasyonuna sıkı sıkıya bağlı olan değişmeli bir işlem olarak tanımlanır.

Kategori teorisinde, ayrık birleşim, altçarpım işleminin belirli bir örneği olarak ele alınır,[60] ve genel altçarpımlar, toplamanın genelleştirmeleri içinde muhtemelen en soyut olanlardır. Bazı altçarpımlar, doğrudan toplam ve çatal toplam gibi, adlandırmalarıyla toplama işlemiyle olan ilişkilerini yansıtmaktadırlar.

İlişkili işlemler değiştir

Toplama, çıkarma, çarpma ve bölme ile birlikte, temel işlemler arasında sayılır ve temel aritmetik alanında sıklıkla kullanılır.

Aritmetik değiştir

Çıkarma, bir toplamsal ters ekleme şeklinde, bir tür toplama işlemi olarak kabul edilebilir. Çıkarma, toplama işleminin bir tür tersi olarak işlev görür; zira x eklemek ve x çıkarmak, birbirinin ters fonksiyonu olarak hareket eder.

Bir toplama işlemine sahip olan kümede, her durumda karşılık gelen bir çıkarma işlemi tanımlamak mümkün olmayabilir; doğal sayılar kümesi bu duruma basit bir örnek teşkil eder. Öte yandan, bir çıkarma işlemi, bir toplama işlemi, toplamsal ters işlem ve toplamsal birim öğeyi zorunlu kılar; bu nedenle, toplamsal bir grup, çıkarma işlemine kapalı bir küme olarak ifade edilebilir.[61]

Çarpma, tekrarlı toplama şeklinde yorumlanabilir. Eğer bir toplam içerisinde x terimi n kere bulunuyorsa, bu toplam n ve x değerlerinin çarpımına eşittir. n bir doğal sayı değilse bile, çarpma işlemi anlamını korur; örneğin, −1 ile yapılan çarpma, bir sayının toplamsal tersine ulaşılmasını sağlar.

 
Bir dairesel cetvel.

Reel ve karmaşık sayılar alanında, üstel fonksiyon aracılığıyla toplama ve çarpma işlemleri birbirinin yerine geçebilir:[62]

 

Bu eşitlik, çarpma işleminin, tablolardaki logaritma değerlerine başvurularak ve toplama işleminin elle hesaplanarak yapılmasını mümkün kılar; bu aynı zamanda bir cetvel kullanılarak çarpma işlemi yapılmasını da sağlar. Bu formül, Lie grubunun geniş bağlamında hala geçerli bir birinci derece yaklaşım sunar; burada, ilişkili Lie cebirinde vektörlerin toplanması ile sonsuz küçük grup elemanlarının çarpımı arasında bir bağ kurulur.[63]

Çarpma işlemi, toplama işlemine kıyasla daha fazla genelleştirilebilir.[64] Genel olarak, çarpma işlemleri sürekli olarak toplama üzerinde dağılım göstermektedir; bu zorunluluk bir halkanın tanımında somutlaştırılmıştır. Bazı durumlarda, örneğin tam sayılar gibi, toplama üzerindeki dağılma ve çarpmada birim elemanın bulunması, çarpma işleminin kendine özgü şekilde tanımlanmasını sağlar. Dağılma özelliği, toplama işlemi hakkında da bilgi verir; (1 + 1)(a + b) çarpımını her iki taraftan açarak, toplamanın değişmeli olması gerektiği sonucuna ulaşılır. Bu sebeple, genellikle halka toplamaları değişmelidir.[65]

Bölme işlemi, toplama işlemiyle dolaylı olarak ilişkili bir aritmetik işlem olarak tanımlanır. a/b = a(b−1), ifadesi gereğince, bölme işlemi toplama işlemine göre sağdan dağılımlıdır: (a + b) / c = a/c + b/c.[66] Bununla birlikte, bölme işlemi toplama işlemine göre soldan dağılım özelliği göstermez; örneğin, 1 / (2 + 2) ifadesi 1/2 + 1/2 ile eşdeğer değildir.

Sıralama değiştir

 
x + 1 ile max (x, 1) arasındaki ilişkinin x = 0.001'den 1000'e kadar olan log-log grafiği[67]

"max (a, b)" işlemi, toplama işlemine benzer bir ikili işlem olarak tanımlanır. Gerçekte, a ve b gibi iki negatif olmayan sayı farklı büyüklük mertebeleri gösterdiğinde, bunların toplamı genellikle maksimum değerlerine yaklaşık olarak eşdeğerdir. Bu yaklaşık değer, matematiğin çeşitli uygulama alanlarında, örneğin Taylor serisi kısaltmalarında büyük önem taşır. Ancak, "max" işleminin tersinir olmaması, nümerik analizde devam eden zorluklara neden olur. Eğer b değeri a değerinden önemli ölçüde büyükse, (a + b) − b şeklinde yapılan basit bir hesaplama, kabul edilemez düzeyde bir yuvarlama hatası toplayabilir ve hatta sonuç sıfır olarak dönebilir.

Bu yaklaşık değer, bir tür sonsuz sınır durumunda kesinlik kazanır; a veya b sonsuz bir kardinal sayı olduğunda, kardinal toplamları büyük olan iki değerle tam olarak eşitlenir.[68] Bu nedenle, sonsuz kardinal sayılar için çıkarma işlemi tanımlanmamıştır.[69]

Maksimizasyon, toplama işlemi gibi hem değişmeli hem de birleşmelidir. Dahası, toplama işlemi reel sayıların sıralamasını koruduğundan, çarpma işlemi toplama işlemi üzerinde nasıl dağılıyorsa, toplama işlemi de "max" işlemi üzerinde aynı şekilde dağılım gösterir:

 

Bu gerekçelerle, tropikal geometri alanında, çarpma işlemi toplama işlemi ile yer değiştirirken, toplama işlemi de maksimizasyon işlemi ile değiştirilmektedir. Bu kapsamda, toplama işlemi "tropikal çarpma" olarak, maksimizasyon ise "tropikal toplama" olarak isimlendirilir ve tropikal "toplamsal kimlik" negatif sonsuzluk olarak tanımlanmaktadır.[70] Bazı yazarlar ise toplama işlemini minimizasyon ile değiştirmeyi yeğlemektedirler; bu durumda toplamsal kimlik pozitif sonsuzluk olarak kabul edilir.[71]

Bu gözlemleri bir araya getirilmesiyle, tropikal toplama, logaritma kullanılarak standart toplama işlemiyle yaklaşık bir ilişki kurar:

 

Bu bağlantı, logaritmanın tabanı büyüdükçe artan bir doğrulukla sağlanmaktadır.[72] Yaklaşık değer, kuantum mekaniği alanından alınan Planck sabitine benzetme yapılarak isimlendirilen h sabiti çıkarılarak tam bir doğruluk kazanabilir,[73] ve h değeri sıfıra yaklaştıkça alınan "klasik limit" ile:

 

Bu perspektiften, maksimum işlem, toplamanın dekuantize edilmiş bir versiyonu olarak değerlendirilir.[74]

Diğer toplama teknikleri değiştir

Artırma, diğer bir adıyla ardıl işlemi, bir sayıya 1 eklemeyi içerir.

Toplam işlemi, genellikle iki sayıdan fazlasının eklenmesini ifade eder ve bu kapsamda, bir sayının kendisiyle olan toplamı ve boş toplam olarak adlandırılan sıfır değeri de dahil edilir.[75] Sonsuz bir toplam işlemi, seri olarak tanımlanan ve özen gerektiren bir süreçtir.[76]

Bir sonlu kümenin sayılması, o kümedeki birlerin toplamına denk gelir.

İntegrasyon, genellikle bir süreklilik üzerinde veya daha geniş ve kesin bir ifadeyle, bir türevlenebilir manifoldlar üzerinde yapılan bir tür "toplam" işlemidir. Sıfır boyutlu bir manifold üzerindeki integrasyon, toplama işlemine indirgenmektedir.

Doğrusal kombinasyonlar, çarpma ve toplama işlemlerini bir araya getirirler; her bir terim, genellikle bir reel veya karmaşık sayı olan bir çarpan içerir. Doğrusal kombinasyonlar, özellikle basit toplamanın normalleştirme kurallarını ihlal edeceği durumlar için yararlıdır, örneğin oyun teorisinde stratejilerin karıştırılması veya kuantum mekaniğinde durumların süperpozisyonu gibi.[77]

Konvolüsyon, dağılım fonksiyonları ile tanımlanmış iki bağımsız rassal değişkenin toplanmasında kullanılır. Bu işlemin standart tanımı, integrasyon, çıkarma ve çarpma işlemlerini birleştirir.[78] Genel olarak, konvolüsyon, bir tür alan tarafından yapılan toplama işlemi olarak işlev görürken, vektör toplaması ise aralık tarafından yapılan toplama işlemi olarak değerlendirilir.

Ayrıca bakınız değiştir

Dipnotlar değiştir

  1. ^ "Addition". www.mathsisfun.com. 20 Mayıs 2007 tarihinde kaynağından arşivlendi. Erişim tarihi: 25 Ağustos 2020. 
  2. ^ Devine et al. p. 263
  3. ^ Mazur, Joseph. Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers. Princeton University Press, 2014. p. 161
  4. ^ Cajori, Florian (1928). "Origin and meanings of the signs + and -". A History of Mathematical Notations, Vol. 1. The Open Court Company, Publishers. 
  5. ^ "plus." Oxford Dictionary of English 2e, Oxford University Press, 2003.
  6. ^ Kaynak hatası: Geçersiz <ref> etiketi; Busch isimli refler için metin sağlanmadı (Bkz: Kaynak gösterme)
  7. ^ Kaynak hatası: Geçersiz <ref> etiketi; Bronstein87 isimli refler için metin sağlanmadı (Bkz: Kaynak gösterme)
  8. ^ Kaplan pp. 69–71
  9. ^ Kaynak hatası: Geçersiz <ref> etiketi; TDK_Matematik isimli refler için metin sağlanmadı (Bkz: Kaynak gösterme)
  10. ^ Kaynak hatası: Geçersiz <ref> etiketi; Hempel isimli refler için metin sağlanmadı (Bkz: Kaynak gösterme)
  11. ^ Kaynak hatası: Geçersiz <ref> etiketi; Fierro isimli refler için metin sağlanmadı (Bkz: Kaynak gösterme)
  12. ^ Kaynak hatası: Geçersiz <ref> etiketi; Moebs isimli refler için metin sağlanmadı (Bkz: Kaynak gösterme)
  13. ^ Wynn p. 5
  14. ^ Wynn p. 15
  15. ^ Wynn p. 17
  16. ^ Wynn p. 19
  17. ^ Kaynak hatası: Geçersiz <ref> etiketi; Guardian_21_Aug_2008 isimli refler için metin sağlanmadı (Bkz: Kaynak gösterme)
  18. ^ F. Smith p. 130
  19. ^ Beckmann, S. (2014). The twenty-third ICMI study: primary mathematics study on whole numbers. International Journal of STEM Education, 1(1), 1-8. Chicago
  20. ^ Schmidt, W., Houang, R., & Cogan, L. (2002). "A coherent curriculum". American Educator, 26(2), 1–18.
  21. ^ a b Fosnot and Dolk p. 99
  22. ^ Rebecca Wingard-Nelson (2014) Decimals and Fractions: It's Easy Enslow Publishers, Inc.
  23. ^ Dale R. Patrick, Stephen W. Fardo, Vigyan Chandra (2008) Electronic Digital System Fundamentals The Fairmont Press, Inc. p. 155
  24. ^ P.E. Bates Bothman (1837) The common school arithmetic. Henry Benton. p. 31
  25. ^ Truitt and Rogers pp. 1;44–49 and pp. 2;77–78
  26. ^ 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.  s. 11
  27. ^ Jean Marguin, s. 48 (1994); Alıntı: René Taton (1963)
  28. ^ Pascal'ın hesap makinesi hakkındaki makaledeki Rakip tasarımlar bölümüne bakınız
  29. ^ Flynn and Overman pp. 2, 8
  30. ^ Flynn and Overman pp. 1–9
  31. ^ Yeo, Sang-Soo, ve ark., eds. Algorithms and Architectures for Parallel Processing: 10th International Conference, ICA3PP 2010, Busan, Korea, May 21–23, 2010. Bildiriler. Cilt. 1. Springer, 2010. s. 194
  32. ^ Karpinski pp. 102–103
  33. ^ Mikroişlemci mimarisine göre artan ve toplananın kimliği değişir. x86 için ADD Horowitz ve Hill s. 679; 68k için s. 767 bakınız.
  34. ^ Joshua Bloch, "Extra, Extra – Read All About It: Nearly All Binary Searches and Mergesorts are Broken" 1 Nisan 2016 tarihinde Wayback Machine sitesinde arşivlendi.. Official Google Research Blog, June 2, 2006.
  35. ^ Neumann, Peter G. (2 Şubat 1987). "The Risks Digest Volume 4: Issue 45". The Risks Digest. 4 (45). 28 Aralık 2014 tarihinde kaynağından arşivlendi. Erişim tarihi: 30 Mart 2015. 
  36. ^ Örneğin, Enderton'un 4 ve 5. bölümleri bu gelişimi takip eder.
  37. ^ En yüksek TIMSS matematik testi puanlarına sahip ülkelerin bir anketine göre; bkz. Schmidt, W., Houang, R. & Cogan, L. (2002). A coherent curriculum. American educator, 26(2), s. 4.
  38. ^ Baez (s. 37), "küme teorisi sunumu ile keskin bir tezat oluşturan" tarihsel gelişmeyi şöyle açıklar: "Görünüşe göre, yarım elma negatif bir elmadan daha kolay anlaşılır!"
  39. ^ Begle s. 49, Johnson s. 120, Devine et al. s. 75
  40. ^ Enderton s. 79
  41. ^ Kısmi sıralı kümeye sahip herhangi bir poset için bir versiyonu görmek için Bergman s. 100'e bakın.
  42. ^ Enderton (s. 79) "Tek bir ikili işlem + istiyoruz, tüm bu küçük tek yer işlevleri değil" diye belirtir.
  43. ^ K. Smith s. 234, Sparks and Rees s. 66
  44. ^ Enderton s. 92
  45. ^ Schyrlet Cameron, ve Carolyn Craig (2013)Adding and Subtracting Fractions, Grades 5–8 Mark Twain, Inc.
  46. ^ Bu doğrulamalar Enderton s. 104'te yer almakta ve Dummit ve Foote s. 263'te bir genel kesirler alanı üzerindeki değişmeli halka için çerçevesi çizilmiştir.
  47. ^ Enderton s. 114
  48. ^ Ferreirós s. 135; Stetigkeit und irrationale Zahlen 31 Ekim 2005 tarihinde Wayback Machine sitesinde arşivlendi. adlı eserin 6. bölümüne bakınız.
  49. ^ Her kesitin elemanlarının ters çevrilmesi ve tamamlayıcısının alınması yöntemi, yalnızca irrasyonel sayılar için geçerlidir; detaylar için Enderton s. 117'ye bakınız.
  50. ^ Schubert, E. Thomas, Phillip J. Windley, ve 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).
  51. ^ Akademik literatürde, "lim" sembolü ile genellikle bu kadar gevşek bir kullanım yapılmaz; Cauchy dizileri kullanılarak toplamanın daha özenli bir şekilde ele alınışını görmek için Burrill (s. 138) incelenebilir.
  52. ^ Ferreirós s. 128
  53. ^ Burrill s. 140
  54. ^ Conway, John B. (1986), Functions of One Complex Variable I, Springer, ISBN 978-0-387-90328-6 
  55. ^ Joshi, Kapil D (1989), Foundations of Discrete Mathematics, New York: John Wiley & Sons, ISBN 978-0-470-21152-6 
  56. ^ Gbur, s. 1
  57. ^ Lipschutz, S., & Lipson, M. (2001). Schaum's outline of theory and problems of linear algebra. Erlangga.
  58. ^ 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. 
  59. ^ Cheng, ss. 124–132
  60. ^ Riehl, s. 100
  61. ^ The set still must be nonempty. Dummit ve Foote (s. 48) bu kriteri çarpmayla ifade edilen biçimde tartışmaktadır.
  62. ^ Rudin s. 178
  63. ^ Lee s. 526, Önerme 20.9
  64. ^ Linderholm (s. 49), "Çarpma terimi ile matematikçiler, doğru anlamda, neredeyse herhangi bir şeyi kast edebilirler. Toplama terimi ile birçok farklı şeyi kast edebilirler, ancak çarpma terimi ile kastedilenler kadar geniş bir çeşitlilikte değil." demektedir.
  65. ^ Dummit ve Foote s. 224. Bu çıkarımın geçerli olması için, toplamanın bir grup işlemi olduğunu ve çarpmada bir birimin var olduğunu kabul etmek gerekir.
  66. ^ Sol ve sağ dağılım ile ilgili örnekler için Loday'ın eserine, özellikle s. 15'e başvurunuz.
  67. ^ Viro'nun 1. Şekli (s. 2) karşılaştırılabilir.
  68. ^ Enderton bu durumu "Kardinal Aritmetiğinin Emilme Kanunu" olarak adlandırmaktadır; bu durum kardinal sayıların karşılaştırılabilir olmasına ve dolayısıyla Seçim Aksiyomuna dayanmaktadır.
  69. ^ Enderton s. 164
  70. ^ Mikhalkin s. 1
  71. ^ Akian ve diğerleri s. 4
  72. ^ Mikhalkin s. 2
  73. ^ Litvinov ve diğerleri s. 3
  74. ^ Viro s. 4
  75. ^ Martin s. 49
  76. ^ Stewart s. 8
  77. ^ Rieffel ve Polak, s. 16
  78. ^ Gbur, s. 300

Kaynakça değiştir

Tarih

İlköğretim matematiği

Eğitim

Biliş bilimi

  • 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. 

Mathematiksel anlatımlar

İleri matematik

Mathematiksel araştırma

Hesaplama

  • 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 March 2011). Quantum Computing: A Gentle Introduction (İngilizce). 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 (Fransızca). Hermann. ISBN 978-2-7056-6166-3. 
  • Taton, René (1963). Le Calcul Mécanique. Que Sais-Je ? n° 367 (Fransızca). Presses universitaires de France. ss. 20–28. 

Diğer okumalar değiştir

Further reading değiştir

Kaynak hatası: <references> üzerinde tanımlanan "Busch" adındaki <ref> etiketi önceki metinde kullanılmıyor. (Bkz: Kaynak gösterme)
Kaynak hatası: <references> üzerinde tanımlanan "Bronstein87" adındaki <ref> etiketi önceki metinde kullanılmıyor. (Bkz: Kaynak gösterme)
Kaynak hatası: <references> üzerinde tanımlanan "TDK_Matematik" adındaki <ref> etiketi önceki metinde kullanılmıyor. (Bkz: Kaynak gösterme)
Kaynak hatası: <references> üzerinde tanımlanan "Hempel" adındaki <ref> etiketi önceki metinde kullanılmıyor. (Bkz: Kaynak gösterme)
Kaynak hatası: <references> üzerinde tanımlanan "Fierro" adındaki <ref> etiketi önceki metinde kullanılmıyor. (Bkz: Kaynak gösterme)
Kaynak hatası: <references> üzerinde tanımlanan "Moebs" adındaki <ref> etiketi önceki metinde kullanılmıyor. (Bkz: Kaynak gösterme)

Kaynak hatası: <references> üzerinde tanımlanan "Guardian_21_Aug_2008" adındaki <ref> etiketi önceki metinde kullanılmıyor. (Bkz: Kaynak gösterme)