01105     2200217   4500001002100000005001500021008004100036020002200077035001900099041000700118082001000125090001600135100001400151700001800165245004200183250000600225260003100231300002800262500055800290650003900848INLIS00000000000014720250804103901250804|||||||||   |   |||   |||| ||   |   a978-979-29-1234-0  0010-0825000147  aid0 a511.3  a511.3 SOE l0 aSoesianto0 aDjoni Dwijono00aLogika Matematika Untuk Ilmu Komputer  a2  aJakartabAndi Offsetc2010  axx, 470 p.: ill.; 23 cm  aBuku ini berisi pembahasan mengenai logika matematika untuk ilmu komputer. Pembahasannya mencakup: pengenalan logika matematika; pengantar loika proposionaln; metode-metode logika proposional; pengantar logika predikat; komponen-komponen sintaktik; kuantor-kuantor; penafsiran dan validitas; derivasi; ekuivalen logis untuk logika predikat; tablo semantik untuk logika predikat; bentuk normal prenex; resolusi untuk logika predikat. Selain itu berisi juga informasi mengenai asal usul sejarah logika mulai dari logika klasik sampai dengan logika modern. 0aLogika Matematika -- Ilmu Komputer