LOGIKA MATEMATIKA UNTUK ILMU KOMPUTER

ISBN	979-763-568-6
Penulis	Djoni Dwijono
Format/Jml. Hlm	16x23, xxii+476 halaman
Edisi/Cetakan	I, 3th Published
Thn Terbit	2007
Harga	Rp. 58.000,-
Disc. 20 %	Rp. 46.400,-

Buku ini merupakan buku ajar mengenai logika matematika untuk Ilmu Komputer. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lainnya yang mempegunakan logika secara intensif. Banyak hal lain yang bisa dipetik saat mempelajari buku ini. Selain belajar logika, Anda juga disuguhi sejarah singkat perkembangan logika beserta para pakar yang mengembangkannya dan beberapa latihan soal. Anda bisa mendapatkan lebih banyak ilmu melalui suatu buku.

Buku ini membahas:

• Pengenalan logika matematika
• Pengantar logika proposisional
• Metode-metode logika proposisional
• Pengantar logika predikat
• Komponen-komponen sintaktik
• Kuantor-kuantor
• Penafsiran dan validitas
• Derivasi
• Ekuivalen logis untuk logika predikat
• Tablo semantik untuk logika predikat
• Bentuk normal prenex
• Resolusi untuk logika predkat