Buku Logika Matematika Untuk Ilmu Komputer (Edisi 2 )

Rp106.500

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

Ada masalah dengan produk ini?

ULASAN PEMBELI

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%