ISBN: 6238317515 9786238317516

Category: Computers / General

Page count: 135

<p>Buku ini adalah buku teks yang dirancang untuk membantu mahasiswa mempelajari logika informatika secara komprehensif dan praktis. Buku ini mencakup berbagai topik logika informatika, mulai dari konsep dasar hingga aplikasi lanjutan. Buku ini juga sesuai dengan kurikulum Universitas Nusa Putra pada mata kuliah Logika Informatika. </p><p>Buku ini mencakup materi bab:</p><p>Bab 1: Konsep Logika</p><p>Bab 2: Logika Proposisi dan Predikat</p><p>Bab 3: Proposisi Majemuk</p><p>Bab 4: Ingkaran Pernyataan</p><p>Bab 5: Tautologi, Kontradiksi dan Kontingen</p><p>Bab 6: Ekuivalensi Logika</p><p>Bab 7: Inferensi Logika</p><p>Bab 8: Kalimat Berkuantor</p><p>Bab 9: Gerbang Logika</p><p>Bab 10: Pembuktian Validitas Argumen</p><p>Bab 11: Tablo Semantik</p><p>Bab 12: Substitusi</p><p>Bab 13: First Order Logic</p><p>Bab 14: Interpretasi Logika Predikat</p><p>Dengan demikian, buku ini merupakan sumber belajar yang lengkap dan sistematis untuk memahami logika informatika dari dasar hingga tingkat lanjutan. Buku ini dilengkapi dengan gambar-gambar ilustratif dan contoh-contohnya untuk memudahkan Anda memahami materi. Buku ini juga menyediakan latihan-latihan soal di akhir setiap bab untuk menguji pemahaman Anda. Buku ini adalah buku yang ideal untuk Anda yang ingin belajar logika informatika secara mendalam dan menarik.</p>