F. Soesianto Primary Author Djoni Dwijono Primary Author mixed material bibliography Yogyakarta Penerbit Andi 2006 id Indonesia

Text

xxii,476 hlm;16 x 23 cm 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 matematikaPengantar logika proposisionalMetode-metode logika proposisionalPengantar logika predikatKomponen-komponen sintaktikKuantor-kuantorPenafsiran dan validitasDerivasi Ekuivalen logis untuk logika predikatTablo semantik untuk logika predikatBentuk normal prenexResolusi untuk logika predkat Penulis, F. Soesianto,Djoni Dwijono Logika Matematika Matematika 9797635686 UNRIYO LIBRARY PERPUSTAKAAN UNIVERSITAS RESPATI YOGYAKARTA (UNRIYO) 511.3 Soe l C- 248-1 Perpustakaan Kampus 1 - Jln. Laksda Adi Sucipto Km 6,3 Depok, Sleman, Yogyakarta. 511.3 Soe l C-1 248-2 Perpustakaan Kampus 1 - Jln. Laksda Adi Sucipto Km 6,3 Depok, Sleman, Yogyakarta. 511.3 Soe l C-2 248-3 Perpustakaan Kampus 1 - Jln. Laksda Adi Sucipto Km 6,3 Depok, Sleman, Yogyakarta. 511.3 Soe l C-3 logika_matemATIKA.png.png 3545 2015-04-17 10:01:27 2016-06-23 14:15:48 machine generated