Soesianto text Jakarta Andi Offset 2010 2 id 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 511.3 978-979-29-1234-0 250804 20250804103901 INLIS000000000000147 Converted from MARCXML to MODS version 3.5 using MARC21slim2MODS3-5.xsl (Revision 1.106 2014/12/19)