Hasil pencarian

...s]], ataupun objek matematika yang lain; lihat [[#Definisi formal|definisi formal di bawah ini]]. Pentingnya fungsi eksponensial dalam matematika dan ilmu-ilmu lainnya adalah karena sifat [[turunan]]nya. ...

'''Operator nonlokal''' dalam ilmu [[matematika]] adalah [[Pemetaan (matematika)|pemetaan]] yang memetakan fun == Definisi formal == ...

'''Ekspresi''' atau '''ungkapan matematika''' dalam [[matematika|ilmu matematika]] adalah suatu kombinasi tertentu dari [[Daftar simbol matematik {{Main|Semantics|Formal semantics (logic)}} ...

{{Ilmu}} ...l]] dan kekuatan deduktif dari sistem [[pembuktian matematika|pembuktian]] formal. Logika matematika sering dibagi ke dalam cabang-cabang dari [[teori himpun ...

...omputasi dibagi menjadi tiga cabang besar: [[teori automata]] dan [[bahasa formal]], [[teori komputabilitas]] dan [[teori kompleksitas komputasional]], diman ...logika]] digunakan. Pada abad terakhir, teori komputasi dijadikan menjadi ilmu akademis disiplin yang terpisah dari matematika. ...

...yang digunakan dalam [[matematika]], [[filosofi]], [[linguistika]], dan [[ilmu komputer]]. ...

...] dan [[ilmu komputer]], '''monoid sintaktik''' ''M''(''L'') dari [[bahasa formal]] '' L '' adalah [[monoid]] terkecil yang [[himpunan dikenali|mengenali]] b ...invers dari elemen]] di <math> S </math>. Ini disebut [[Hasil bagi bahasa formal|hasil bagi]], dan salah satunya dapat mendefinisikan hasil bagi kanan atau ...

...relasional]] menyebut [[Baris (pangkalan data)|barisnya]] ''tuple'' secara formal. ...var|X}}, dan daerah tujuannya himpunan anggota rangkap, {{mvar|Y}}. Secara formal, rangkap dapat didefinisikan sebagai ...

...i himpunan]] dan [[aljabar Boolean]], Hukum De Morgan dapat ditulis secara formal sebagai | title = In Quest of Univeral Logic: A brief overview of formal logic's evolution ...

Dalam [[matematika]], khususnya dalam ilmu [[teori peluang]] dan [[statistika]], suatu '''proses stokastik''' merupaka ...hi oleh informasi tambahan terkait perilaku prosesnya di masa lalu. Secara formal,<blockquote><math>\Pr\{ X_{n+1} = j | X_0 = i_0, \ldots, X_{n-1} = i_{n-1}, ...

...g seiring dengan berlangsungnya reaksi. Laju reaksi dipelajari oleh cabang ilmu kimia yang disebut [[kinetika kimia]]. == Definisi formal == ...

...alah '''[[postulat]]'''. Suatu aksioma adalah basis dari sistem [[logika]] formal yang bersama-sama dengan aturan inferensi mendefinisikan [[logika]]. Pada a ...ena itu matematika merupakan sistem yang aksiomatik.<ref>{{Cite book|title=Ilmu dalam perspektif|url=https://books.google.co.id/books?id=Jq_kZ68TuFAC&lpg=P ...

'''Teori graf''' adalah cabang [[matematika]] dan [[ilmu komputer]] yang mempelajari [[graf]], yaitu struktur yang menggambarkan him == Definisi formal == ...

...beberapa". Dilambangkan dengan [[koneksi logis|operator logika]] [[Simbol (formal)|simbol]] ∃, jika digunakan bersama dengan variabel predikat, disebut '''ku ...iintegrasikan dan diinterpretasikan sebagai suatu disjungsi dalam [[logika formal]]. ...

== Definisi Formal == === Ilmu Komputer === ...

== Definisi formal == ...embuatan, Operasional, dan Pemanfaatan|location=Yogyakarta|publisher=Graha Ilmu|isbn=|pages=|ref={{sfnref|Suyitno, Sujono, dan Dharmanto|2010}}|url-status= ...

Parameter memiliki arti yang lebih mendalam dalam berbagai disiplin ilmu, termasuk [[matematika]], [[pemrograman komputer]], [[rekayasa]], [[statist ...isikan untuk argumen [[bilangan bulat]] non-negatif. Presentasi yang lebih formal dari situasi seperti itu biasanya dimulai dengan fungsi beberapa variabel ( ...

...n seberapa "jauh" atau "dekat" posisi dua objek. Dalam [[psikologi]] dan [[ilmu sosial]], jarak adalah ukuran non-numerik. ...mpuh jika tidak ada halangan antara kedua titik (umumnya dinyatakan secara formal sebagai [[jarak Euklides]]). ...

...m|infimum]] (pertemuan). Kisi lengkap pada aplikasi dalam matematika dan [[ilmu komputer]]. Sebagai contoh khusus dari [[Kisi (order)|kisi]], dengan [[Teor == Definisi formal == ...

Dalam teori [[bahasa formal]], biasanya serangkaian "simbol" A (kadang-kadang disebut alfabet) dianggap Dengan demikian, studi abstrak bahasa formal dapat dianggap sebagai studi subset dari monoid bebas yang dihasilkan tanpa ...