Sifat asosiatif: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Fitur saranan suntingan: 2 pranala ditambahkan. |
FelixJL111 (bicara | kontrib) Tidak ada ringkasan suntingan |
||
Baris 25:
Operasi asosiatif dalam matematika; pada kenyataannya, banyak [[struktur aljabar]] (yaitu [[semigrup (matematika)|semigrup]] dan [[kategori (matematika)|kategori]]) secara eksplisit membutuhkan operasi biner untuk menjadi asosiatif.
Namun, terdapat operasi yang bukan asosiatif yaitu
== Definisi ==
Baris 181:
Penolakan bersama adalah sebuah contoh dari sebuah penghubung fungsional kebenaran yang bukan asosiatif.
== Operasi
Sebuah operasi biner <math>* </math> pada sebuah himpunan <math>S </math> yang tidak memenuhi hukum asosiatif disebut '''
Untuk sebuah operasi, urutan dari evaluasi itu ''penting''. Sebagai contohː
Baris 202:
:
Studi tentang struktur-struktur
Terdapat jenis-jenis tertentu lainnya yang telah dipelajari secara mendalam; ini cenderung berasal dari beberapa penerapan yang spesifik atau bidang-bidang seperti [[Kombinatorika|matematika kombinatorial]]. Contoh lainnya adalah [[kuasigrup]], [[kuasibidang]], [[gelanggang
=== Nonasosiatif dari perhitungan titik mengambang ===
Baris 215:
1.000<sub>2</sub>×2<sup>0</sup> + (1.000<sub>2</sub>×2<sup>0</sup> + 1.000<sub>2</sub>×2<sup>4</sup>) = 1.000<sub>2</sub>×2<sup>0</sup> + 1.00{{fontcolor|red|0}}<sub>2</sub>×2<sup>4</sup> = 1.00{{fontcolor|red|0}}<sub>2</sub>×2<sup>4</sup>
Meskipun sebagian besar komputer-komputer menghitung dengan 24 atau 53 bit mantissa,<ref>{{Cite book|author=IEEE Computer Society|date=29 August 2008|title=IEEE Standard for Floating-Point Arithmetic|isbn=978-0-7381-5753-5|doi=10.1109/IEEESTD.2008.4610935|id=IEEE Std 754-2008|ref=CITEREFIEEE_7542008}}</ref> ini adalah sumber yang penting dari galat pembulatan, dan mendekati seperti [[algoritma penjumlahan Kahan]] adalah cara untuk memperkecil galat-galatnya. Itu bisa sangat berpengalaman dlam komputer paralel.<ref>{{Citation|last=Villa|first5=Sriram|archive-date=15 February 2013|archive-url=https://web.archive.org/web/20130215171724/http://cass-mt.pnnl.gov/docs/pubs/pnnleffects_of_floating-pointpaper.pdf|accessdate=8 April 2014|url=http://cass-mt.pnnl.gov/docs/pubs/pnnleffects_of_floating-pointpaper.pdf|title=Effects of Floating-Point
=== Notasi untuk operasi-operasi
Secara umum, tanda kurung pasti digunakan untuk menunjukkan [[Urutan operasi|urutan evaluasi]] jika sebuah operasi
Sebuah operasi '''asosiatif kiri''' adalah operasi
: <math>
Baris 274:
: Menggunakan notasi asosiatif kanan untuk operasi-operasi ini bisa dimotivasi oleh [[korespondensi Curry-Howard]] dan dengan currying isomorfisme.
Operasi
* Eksponensiasi dari bilangan real dalam notasi infiks.<ref name="Codeplea_2016">[https://codeplea.com/
:: <math>(x^\wedge y)^\wedge z\ne x^\wedge(y^\wedge z)</math>
|