na INLIS000000000000147 20250804103901 250804||||||||| | ||| |||| || | 978-979-29-1234-0 010-0825000147 id 511.3 511.3 SOE l Soesianto Djoni Dwijono Logika Matematika Untuk Ilmu Komputer 2 Jakarta Andi Offset 2010 xx, 470 p.: ill.; 23 cm Buku 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. Logika Matematika -- Ilmu Komputer