na INLIS000000000001472 20250804104159 250804||||||||| | ||| |||| || | 979-95779-9-3 010-0825001472 id 511.3 511.3 HEN l Retno Hendrowati Bamabang Haryanto Logika Matematika Bandung Informatika 2000 viii, 104 p.: ill.; 28 cm Materi pembahasan yang dimuat dalam buku ini meliputi: teori himpunan; definisi aksioma aljabar boolean; fungsi boolean; komplemen fungsi; konversi bentuk fungsi; operasi-operasi dan gerbang logika; metode penyederhanaan fungsi boolean; metode peta karnaugh; metode quine-mccluskey; penyederhanaan rangkaian digital; konsep dan notasi dasar kalkulus proposisi; penghubung logika dan well-form formula; tabel kebenaran dan penalaran; konsep dan definisi kalkulus predikat; aturan kalimat; dan aturan-aturan kuantifier. Logika Matematika -- Aljabar Boole