Sinopsis Buku: Buku ini membahas pokok-pokok materi dalam bidang Logika dan Teori Himpunan, yang merupakan dua konsep dasar dan penting dalam matematika serta ilmu komputer. Buku ini terdiri dari delapan bab utama yang disusun secara sistematis dan terstruktur, dengan pembahasan yang jelas, lengkap, dan dilengkapi dengan contoh-contoh untuk memudahkan pemahaman pembaca. Bab 1 membahas pernyataan dan perangkai logika, yang merupakan fondasi dasar dalam logika matematika. Bab 2 menjelaskan tentang kuantor, termasuk kuantor universal dan eksistensial, serta implikasi dan ekuivalensi logis dalam pernyataan berkuantor. Bab 3 memperkenalkan konsep dilemma konstruktif dan destruktif, yang merupakan bagian dari logika formal. Bab 4 sampai dengan Bab 8 membahas secara mendalam tentang teori himpunan, termasuk himpunan bagian, operasi himpunan, hukum-hukum teori himpunan, relasi, fungsi, serta aljabar Boolean dan sistem saklar. Setiap bab diakhiri dengan soal-soal latihan yang beragam, sehingga memungkinkan pembaca untuk menguji pemahaman dan kemampuan penerapan konsep yang telah dipelajari. Buku ini juga dilengkapi dengan daftar pustaka, indeks, dan glosarium untuk memudahkan pencarian dan pemahaman konsep-konsep yang disajikan. Buku ini sangat cocok sebagai bahan referensi untuk mahasiswa yang mengambil mata kuliah Logika dan Teori Himpunan, serta bagi siapa saja yang tertarik untuk mempelajari dasar-dasar logika dan teori himpunan secara sistematis dan terstruktur.
Buku diktat ini terdiri dari sembilan bab yang dapat dikelompokkan menjadi tiga bagian Bagian pertama membahas dasar dasar logika proposisional terdiri dari lima bab yaitu pernyataan dan perangkai logika Bab 1 tautologi dan kontradiksi Bab 2 hukum logika dan kaidah inferensi Bab 3 kuantor Bab 4 dan definisi dan bukti teorema Bab 5 Bagian kedua membahas teori himpunan terdiri dari tiga bab yaitu himpunan dan operasi himpunan Bab 6 hukum hukum teori himpunan Bab 7 dan relasi dan fungsi Bab 8 Bagian ketiga terdiri dari satu bab Bab 9 yang membahas salah satu penggunaan logika dan teori himpunan yaitu aljabar Boole dan sistem saklar Setiap bab disusun dengan sistematika pembahasan mendeskripsikan bahan topik pembahasan topik yang disertai contoh contoh dan diakhiri dengan soal soal latihan
Jumlah Halaman | 260 |
---|---|
Kategori | Matematika dan Sains |
Penerbit | UB PRESS |
Tahun Terbit | 2010 |
ISBN | 978-979-8074-51-6 |
eISBN | 978-979-8074-52-3 |