Ditulis Oleh : Nur Muhammad Faiz
Nama Penulis : F.Soesianto | Djoni Dwijono
Penerbit : Andi Yogyakarta
Tahun Terbit : 2010
No. ISBN : 978-979-29-1234-0
Sinopsis Buku :
Buku ini merupakan buku ajar mengenai logika matematika untuk ilmu komputer. Logika matematika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, sistem pakar, jaringan, dan lainnya. banyak hal yang bisa dipetik dari buku ini, selain belajar logika matematika, anda juga dapat belajar sejarah singkat tentang perkembangan logika matematika beserta para pakar yang mengembangkannya. Anda juga dapat mengerjakan latihan soal yang ada didalam buku ini, agar bisa menambah ilmu lebih banyak.
Buku Ini Membahas :
- Pengenalan logika matematika
- Pengantar logika proposional
- Metode logika matematika
- Pengantar logika predikat
- Komponen sintaktik
- Penafsiran dan validitas
- Kuantor-kuantor
- Derivasi
- Ekuivalen logis untuk logika predikat
- Tablo semantik untuk logika predikat
- Bentuk normal prenex
- Resolusi logika predikat
Kelebihan Buku Ini :
- Buku ini sangat bagus bagi mahasiswa ilmu komputer, karena dengan adanya buku ini dapat membantu mahasiswa agar lebih paham tentang logika matematika untuk ilmu komputer.
- Buku mudah didapat dan ditemui diberbagai pusat perbelanjaan & perpustakaan.
Kekurangan Buku Ini :
- Membutuhkan waktu yang lama untuk memahaminya, karena banyaknya halaman pada buku tersebut.
- Masih ada beberapa materi yang sulit dimengerti didalam buku tersebut
Tidak ada komentar:
Posting Komentar
Catatan: Hanya anggota dari blog ini yang dapat mengirim komentar.