Pilih Bahasa  
Book's Detail
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 lain-lainnya yang mempergunakan logika secara intensif. Banyak hal yang bisa dipetik saat mempelajari buku ini Selain belajar logika, anda juga akan disuguhi serah singkat perkembangan logika beserta para pakar yang mengembangkannya dan beberapa latihan soal
Buku ini membahas :
1 Pengenalan logika matematika
2 Pengantar logika proposional
3 Metode-metode logika proposional
4 Pengantar logika predikat
5 Komponen-komponen sintaktik
6 Kuantor-kuantor
7 Penafsiran & validitas
8 Derivasi
9 Ekuivalen logis untuk logika predikat
10 Tablo semantik untuk logika predikat
11 Bentuk normal prenex
12 Resolusi untuk logika predikat.

Pernyataan Tanggungjawab
Pengarang SOESIANTO - Personal Name
Edisi 1st ed
No. Panggil 511.3 SOE l
ISBN/ISSN 979-763-568-6
Subyek Mathematical Logic
Mathematics
Klasifikasi 511.3
Judul Seri
GMD Printed
Bahasa Indonesia
Penerbit Andi
Tahun Terbit 2006
Tempat Terbit Yogyakarta
Deskripsi Fisik xxii, 476 hal.: ilus.; 23 cm
Info Detil Spesifik
Lampiran Berkas
LOADING LIST...
Ketersediaan
LOADING LIST...