/www/wwwroot/opac.peradaban.ac.id/lib/SearchEngine/DefaultEngine.php:610 "Search Engine Debug 🔎 🪲"
Engine Type ⚙️: "SLiMS\SearchEngine\DefaultEngine"
SQL ⚙️: array:2 [ "count" => "select count(distinct b.biblio_id) from biblio as b left join mst_publisher as mp on b.publisher_id=mp.publisher_id left join mst_place as mpl on b.publish_place_id=mpl.place_id where b.opac_hide=0 and (b.biblio_id in(select bt.biblio_id from biblio_topic as bt left join mst_topic as mt on bt.topic_id=mt.topic_id where mt.topic like ?))" "query" => "select b.biblio_id, b.title, b.image, b.isbn_issn, b.publish_year, mp.publisher_name as `publisher`, mpl.place_name as `publish_place`, b.labels, b.input_date, b.edition, b.collation, b.series_title, b.call_number from biblio as b left join mst_publisher as mp on b.publisher_id=mp.publisher_id left join mst_place as mpl on b.publish_place_id=mpl.place_id where b.opac_hide=0 and (b.biblio_id in(select bt.biblio_id from biblio_topic as bt left join mst_topic as mt on bt.topic_id=mt.topic_id where mt.topic like ?)) order by b.last_update desc limit 10 offset 0" ]
Bind Value ⚒️: array:1 [ 0 => "%Logika Matematika%" ]
Buku ini dapat digunakan sebagai buku ajar atau buku referensi yang menunjang pembelajaran mata kuliah Matematika Diskrit. Buku ini membahas materi tentang logika, teori himpunan, relasi, fungsi, barisan, dan teori graf. Penyajiannya diupayakan dengan bahasa yang mudah dipahami oleh pembaca dengan disertai beberapa contoh latihan dan soal.
Buku ajar ini disusun untuk memahami konsep logika matematika dan matematika diskrit yang terdiri atas delapan bab dan disertai dengan glosarium, diantaranya: 1. Logika dan Penalaran 2. Penghubung Pernyataan 3. Penarikan kesimpulan 4. Kalkulus Predikat 5. Aljabar Boolean (termasuk didalamnya Bentuk Normal) 6. Program sebagai Logika Instruksi 7. Pengulangan Instruksi, dan 8. Teroi Graf
Materi dalam buku ini mencakup: - tabel kebenaran - proposisi majemuk - tautologi - ekuivalensi logis - penyederhanaan - strategi pembalikan - tablo semantik - bentuk normal - resolusi - deduksi alami - kalikulus deret
Materi dalam buku ini mencakup : - konsep dasr - logika proposisional - logika first order - aljabar boolean
Ulasan buku ini tentang: 1. Logika proposisi 2. Teori Himpunan 3. Teori Himpunan Fuzzy 4. Logika Fuzzy 5. Relasi Klasik 6. Fungsi 7. Aljabar Boole 8. Teori Graph 9. Mesin Matematika