Relasi finiter: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
123569yuuift (bicara | kontrib)
Membuat halaman baru
Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan
 
Wagino Bot (bicara | kontrib)
k Bot: Merapikan artikel
 
(Satu revisi perantara oleh satu pengguna lainnya tidak ditampilkan)
Baris 67:
Misalkan [[domain Boolean]] '''B''' menjadi himpunan dua elemen, misalnya, {{nowrap|1='''B''' = {0, 1}}}, yang elemennya dapat diartikan sebagai nilai logika, biasanya {{nowrap|1=0 = salah}} dan {{nowrap|1=1 = benar}}. [[Fungsi indikator|fungsi karakteristik]] dari ''R'', dilambangkan dengan χ<sub>''R''</sub>, adalah [[Fungsi nilai Boolean]] {{nowrap|χ<sub>''R''</sub>: ''X''<sub>1</sub> × … × ''X''<sub>''n''</sub> → '''B'''}}, didefinisikan oleh {{nowrap|1=χ<sub>''R''</sub>({{nowrap|(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>)}}) = 1}} jika {{nowrap|''Rx''<sub>1</sub>…''x''<sub>''n''</sub>}} dan {{nowrap|1=χ<sub>''R''</sub>({{nowrap|(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>)}}) = 0}}.
 
Dalam matematika terapan, [[ilmu komputer]] dan statistik, adalah umum untuk merujuk ke fungsi bernilai Boolean sebagai ''n''-ari [[Predikat (matematika)| ''predikat'']]. Dari sudut pandang yang lebih abstrak dari [[logika formal]] dan [[teori model]], relasi ''R'' merupakan ''model logika'' atau ''struktur relasional'', yang berfungsi sebagai salah satu dari banyak kemungkinan [[interpretasi (logika)|interpretasi]] dari beberapa simbol predikat ''n''-ari.
 
Karena relasi muncul dalam banyak disiplin ilmu, serta di banyak cabang [[matematika]] dan [[logika]], banyak variasi dalam terminologi. Selain dari [[teori himpunan]] [[ekstensi (semantik)|ekstensi]] dari konsep atau istilah relasional, istilah "relasi" juga dapat digunakan untuk merujuk ke entitas logis yang sesuai, baik [[Komprehensi (logika)|Komprehensi logika]], yang merupakan totalitas [[intensi]] atau sifat abstrak yang dimiliki oleh semua elemen dalam relasi, atau simbol yang menunjukkan elemen dan intensitas. Lebih lanjut, beberapa penulis dari persuasi terakhir memperkenalkan istilah dengan konotasi yang lebih konkret (seperti "struktur relasional" untuk perluasan teori himpunan dari konsep relasional tertentu).
Baris 75:
Logikawan [[Augustus De Morgan]], dalam karya yang diterbitkan sekitar tahun 1860, adalah orang pertama yang mengartikulasikan gagasan relasi dalam segala hal seperti pengertiannya saat ini. Dia juga menyatakan hasil formal pertama dalam teori relasi (tentang De Morgan dan relasi, lihat Merrill 1990).
 
[[Charles Sanders Peirce|Charles Peirce]], [[Gottlob Frege]], [[Georg Cantor]], [[Richard Dedekind]] dan lainnya mengajukan teori relasi. Banyak ide mereka, terutama pada relasi yang disebut [[Teori order |order]], diringkas dalam ''[[The Principles of Mathematics]]'' (1903) di mana [[Bertrand Russell]] memanfaatkan hasil ini secara bebas.
 
Pada tahun 1970, [[Edgar F. Codd|Edgar Codd]] mengusulkan [[model relasional]] untuk [[database]], sehingga mengantisipasi pengembangan [[sistem manajemen basis data]].<ref name="Codd1970"/>
Baris 120:
{{Authority control}}
 
[[Kategori: Logika matematika]]
[[Kategori: Relasi matematika]]