4.5/ 5.0
100% pembeli merasa puas
2 rating • 1 ulasan
5(1)50%
4(1)50%
3(0)0%
2(0)0%
1(0)0%
Atur jumlah dan catatan
Stok Total: Sisa 8
Subtotal
Rp106.500
Buku Logika Matematika Untuk Ilmu Komputer (Edisi 2 )
Rp106.500
- Kondisi: Baru
- Min. Pemesanan: 1 Buah
- Etalase: Komputer & Internet
ISBN: 978-979-29-1234-0
Penulsi: F.Soesianto dan Djoni Dwijono
Ukuran⁄Halaman: 16x23 cm² ⁄ xxii+476 halaman
Edisi⁄Cetakan: II, 1st Published
Tahun Terbit: 2010
Sinopsis
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
Penulsi: F.Soesianto dan Djoni Dwijono
Ukuran⁄Halaman: 16x23 cm² ⁄ xxii+476 halaman
Edisi⁄Cetakan: II, 1st Published
Tahun Terbit: 2010
Sinopsis
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
Ada masalah dengan produk ini?