Logika informatika

Deskripsi

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.

Subjek

Detail

Penerbit

Gava Media

Tahun

2003

ISBN

979-97088-3-4

Kolasi

x, 202 hal.; bibl.; ill.; 23.5 cm

Bahasa

Indonesia

Klasifikasi

621.381 5