Hasil pencarian
Loncat ke navigasi
Loncat ke pencarian
- ...]], [[nilai kebenaran]], atau lebih umumnya, [[Interpretasi (logika)|nilai semantik]]. Dalam [[logika klasik]], negasi biasanya diidentifikasi dengan [[fungsi ...2 KB (198 kata) - 13 Desember 2023 13.01
- ==Sintaksis dan semantik== ...6 KB (814 kata) - 21 Maret 2023 07.24
- ...menentukan teori itu, meskipun kadang-kadang disamarkan sebagai '' [[model semantik]] '' ketika seseorang membahas gagasan dalam pengaturan yang lebih umum dar ...7 KB (962 kata) - 10 Mei 2024 07.23
- == Semantik formal == ...nya, yang biasanya dinyatakan sebagai fungsi dari objek sintaksis ke objek semantik. Artikel ini hanya membahas masalah bagaimana elemen pembilang diinterpreta ...23 KB (3.124 kata) - 6 November 2024 06.45
- Nama "Medan miring" memiliki fitur [[semantik leksikal|semantik]] yang menarik: pengubah (di sini "skew") ''memperluas'' cakupan istilah da ...10 KB (1.321 kata) - 29 Juli 2023 23.03
- Teori model mengakui dan sangat berkaitan dengan dualitas: Elemen [[semantik]] (makna) dengan menggunakan elemen [[sintaks]] (rumus dan bukti) dari baha Sedangkan [[aljabar universal]] menyediakan [[semantik]] untuk [[tanda tangan (logika)|tanda tangan]], [[logika matematika|logika] ...18 KB (2.362 kata) - 20 November 2024 00.44
- Rangkap juga muncul dalam [[aljabar relasional]]; ketika memprogram [[web semantik]] dengan [[Resource Description Framework]] (RDF); dalam [[linguistik]];<re ...8 KB (981 kata) - 18 Desember 2023 04.49
- * [[Jaringan semantik]] ...8 KB (978 kata) - 6 Desember 2024 02.35
- ...kan tipe data dasar yang disebut "Tipe Data Abstrak", bahasa tindakan, dan semantik eksekusi untuk membuat mesin status hingga dapat dieksekusi. == Alternatif semantik == ...71 KB (9.465 kata) - 10 Februari 2024 14.37
- ...[[sintaksis]], cukup banyak aspek masalah komposisi kalimat yang dibahas. Semantik filosofis lebih cenderung fokus kepada prinsip komposisionalitas untuk menj ...l entitas (yang dalam hal ini, kuda) sebagai input dan juga output ''fakta semantik'' tadi (yaitu, proposisi yang diwakili oleh "Kuda itu merah"). Dengan begit ...76 KB (10.225 kata) - 12 Oktober 2023 08.17
- ...nakan untuk memformalkan banyak sistem lain dalam ilmu komputer, seperti [[semantik bahasa pemrograman]]. ...15 KB (2.056 kata) - 14 November 2022 08.43
- * [[Analisis semantik laten]] ...14 KB (1.925 kata) - 10 November 2022 13.31
- ...czos dapat diterapkan secara efisien ke dokumen teks (lihat [[Pengindeksan Semantik Laten]]). Vektor eigen juga penting untuk metode peringkat skala besar sepe ...16 KB (2.148 kata) - 13 Maret 2025 08.40
- * [[Semantik bahasa pemrograman]] ...21 KB (2.775 kata) - 21 Mei 2024 02.37
- ...]], mode operasi harus memberikan keamanan yang dikenal sebagai [[keamanan semantik]].<ref name=bellare2005 /> Secara nonformal, itu berarti bahwa, bila diketa ...21 KB (2.938 kata) - 17 Agustus 2024 05.56
- ...tidak selalu dapat direkonstruksi secara langsung dikarenakan [[pergeseran semantik]] yang menyebabkan perbedaan dari arti dalam [[refleks (linguistik)|refleks ...24 KB (3.315 kata) - 17 Agustus 2024 17.11
- ...rkan [[kalkulus]] berurutan dan berganda, berdasarkan kerangka tabel aux [[semantik]] (tabel analitik) untuk mewakili konteks wacana.<ref>{{Cite book|last=Alis ...23 KB (3.100 kata) - 20 Juni 2023 16.20
- ...semua aljabar Heyting.<ref name="Kripke63">Kripke, S. A.: 1965, 'Analisis semantik logika intuisionistik I'. Dalam: J. N. Crossley dan M. A. E. Dummett (eds.) ...42 KB (5.758 kata) - 7 Januari 2024 20.18
- ...komputasi kuantum]], teori automata, [[teori informasi]], [[kriptografi]], semantik dan verifikasi pemrograman, [[pembelajaran mesin]], [[biologi komputasi]], ...30 KB (3.784 kata) - 30 Januari 2025 01.35