Pencarian berdasarkan :
Pencarian terakhir:
Pencarian berdasarkan :
Pencarian terakhir:
— Suprapto - Nama Orang;
Buku ini disusun dalam empat bab yaitu bab pertama berisi kalimat-kalimat abstrak dalam logika proposisional, interpretasi, simantic 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, dan bab kelima berisi logika biner, aljabar boolean, fungsi-fungsi boolean, manipulasi aljabar, manipulasi dengan map.
Ketersediaan
Tidak ada salinan data