/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 10" ]
Bind Value ⚒️: array:1 [ 0 => "%LOGIKA%" ]
Buku ini membahas: 1. Pengenalan logika matematika 2. Pengantar logika proporsional 3. Metode-metode logika proporsional 4. Pengantar logika predika 5. Komponen-komponen sintaktik 6. Kuantor-kuantor 7. Penafsiran dan validitas 8. Derivasi 9. Ekuivalen logis untuk logika predikat 10. Tablo semantikl untuk logika predikat 11. Bentuk normal prenex 12. Resolusi untuk logika preā¦
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
Buku ini membahas tentang; 1. Hubungan antara Teori Himpunan Sederhana dan Teori Himpunan Samar, 2. Hubungan antara Teori Logika Matematika dan Teori Logika Samar, 3. Relasi Samar, 4. Teori Logika Samar dan Beberapa Aplikasinya (dalam keteknikan, perekonomian, pertanian, kedokteran, dan sebagainya)
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