Logika Informatika (dasar-dasar logika untuk pemrograman komputer

Logika Informatika (dasar-dasar logika untuk pemrograman komputer & perancangan komputer)

Penulis : Suprapto
Ukuran : 16 x 23 cm
Tebal : x + 202 hlm
ISBN : 979-97088-3-4

Deskripsi :
Mengingat keterbasan buku logika khususnya logika informatika dan khususnya yang berbahasa Indonesia, maka buku ini disamping untuk memenuhi kebutuhan mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer, juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer. Buku ini disusun dalam empat bab. Bab pertama berisi kalimat-kalimat abstrak dalam logika proporsional, interpretasi, sematic tree, kalimat-kalimat valid, satisfiable dan substitusi. Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid tidak valid, quantifier. Bab ketiga berisi skema-skema kalimat valid, closure. Bab keempat berisi logika biner, aljabar, Boolean, fungsi-fungsi Boolean, manipulasi aljabar, manipulasi dengan Map