Dasar Logika Informatika

Dasar Logika Informatika

Buku ini berisi kumpulan materi dasar-dasar logika matematika yang sangat berguna untuk menunjang pembelajaran informatika, komputer, dan jurusan matematika. Buku ini cocok untuk kalangan mahasiswa jurusan Informatika yang notabenenya tidak begitu suka dengan pembuktian dalam matematika karena bahasa yang digunakan ringan dan aplikatif. Selain itu, buku ini juga bisa menjadi referensi bagi para pelajar sekolah menengah, karena logika matematika juga ada di tingkat sekolah menengah. Bagi mahasiswa jurusan Informatika buku ini merupakan referensi baru cara memandang ilmu matematika dari segi terapan dunia informatika. Buku ini disusun atas beberapa bab dan di setiap bab dijelaskan secara terperinci serta diakhiri dengan latihan mandiri. Contoh-contoh yang diberikan disusun agar seaplikatif mungkin sehingga akan semakin mudah dipahami. Buku ini ditulis berdasarkan pengalaman mengajar penulis, silabus, dan pustaka-pustaka yang ada.

Pengantar Logika Informatika. Algoritma dan Pemrograman Komputer

LOGIKA INFORMATIKA

Buku Logika Informatika ini merupakan Buku Kolaborasi lintas dosen di Indonesia yang membawahi bidang informatika, sistem informasi dan ilmu komputer, dalam buku ini dijelaskan tentang Sejarah dan perkembangan logika, Konsep dasar logika, Simbol logika, Operator logika, Tabel verifikasi, Kalkulus proposisi, Kalkulus predikat, Logika relasional, Logika temporal, Logika temporal relasional, Logika fuzzy, Logika bayesiana, Logika multivalensi, dan Aplikasi logika dalam bidang informatika. Buku ini akan menjadi referensi bagi mahasiswa informatika, Sistem informasi dan ilmu komputer dalam mempelajari dan memahami tentang logika informatika.