01040     2200205   4500001002100000005001500021008004100036020001800077035001900095041000700114082001000121090001600131100002100147700002200168245002200190260003100212300003000243500052200273650003900795INLIS00000000000147220250804104159250804|||||||||   |   |||   |||| ||   |   a979-95779-9-3  0010-0825001472  aid0 a511.3  a511.3 HEN l0 aRetno Hendrowati0 aBamabang Haryanto00aLogika Matematika  aBandungbInformatikac2000  aviii, 104 p.: ill.; 28 cm  aMateri 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. 0aLogika Matematika -- Aljabar Boole