Description

Logika merupakan suatu ilmu pengetahuan di mana objek formal adalah berpikir/penalaran. Logika dapat pula dikategorikan dalam matematika murni yang menggunakan simbol-simbol matematik. Informatika merupakan ilmu tentang pengumpulan, klasifikasi, penyimpanan, pengeluaran dan penyebaran pengetahuan, yang berkaitan dengan informasi. Disiplin ilmu informatika mencakup ilmu komputer, sistem informasi dan teknik komputer. Tujuan mempelajari Logika Informatika untuk meningkatkan kemampuan berpikir secara rasional, kritis dan mempelajari dasar pemrosesan data dalam komputer.
Buku Logika Informatika ini meliputi; himpunan dan sub-himpunan, operasi-operasi dasar dari himpunan, himpunan dari bilangan-bilangan, fungsi, hasil kali himpunan dan grafik dari fungsi, relasi, teori himpunan lanjut, lanjutan teori fungsi, himpunan terorde parsial dan himpunan teorde total, aljabar proposisi, aljabar boole, sistem bilangan, dan komplemen. Buku ini dapat dijadikan referensi bagi setiap pembaca, khususnya yang mendalami bidang ilmu Sistem Informasi dan Teknik Informatika serta yang ingin mengetahui pengetahuan tentang Logika Matematika atau Logika Informatika.