DASAR LOGIKA INFORMATIKA

Penulis :

Faradillah, S.Si., M.Kom
Rahmi Hidayati, S.Kom., M.Cs.
Kartika Sari, M.Cs.
Belinda Eka Sarah Dewi, S.Mat., M.Mat.
Dr. Aditya Firman Ihsan, S.Si, M.Si
Farid, M.Kom
Lathifatul Aulia, S.Si., M.Mat.
Novera Kristianti, S.T., M.T
Haryono, S.Kom, M.Kom
Cut Fadhilah S. T., M. Kom

ISBN : 978-634-7062-55-0

Jumlah Hlm : VIII + 141
Ukuran : 15 x23 Unesco
Kertas : Bookpaper
Tahun Terbit : 2025
Editor : Inggrid Yanuar Risca Pratiwi, S.S.T., M.Tr.T.

SINOPSIS

Buku Dasar Logika Informatika ini disusun untuk memberikan pemahaman fundamental mengenai prinsip-prinsip logika yang menjadi dasar dalam dunia informatika dan teknologi komputer. Buku ini membahas berbagai konsep utama dalam logika, seperti logika proposisional, logika predikat, serta penerapannya dalam pengembangan algoritma dan perangkat lunak. Setiap topik dijelaskan dengan cara yang mudah dipahami, dilengkapi dengan contoh-contoh soal dan pembahasan yang bertujuan memperkuat pemahaman pembaca.

Dirancang khusus untuk mahasiswa dan praktisi di bidang teknologi informasi, buku ini bertujuan untuk mengembangkan keterampilan berpikir analitis dan sistematis dalam memecahkan masalah dengan menggunakan prinsip logika. Dengan mempelajari buku ini, pembaca akan memiliki landasan yang kuat untuk mengembangkan kemampuan dalam berbagai disiplin ilmu komputer, termasuk algoritma, struktur data, dan pemrograman. Buku ini sangat cocok bagi mereka yang ingin memahami dan menguasai dasar-dasar logika informatika secara menyeluruh dan aplikatif.

Daftar Isi

Kata Pengantar V

Daftar Isi VII

Bab 1 Konsep Dasar Logika Matematika 1
Faradillah, S.Si., M.Kom

Bab 2 Simbol dan Notasi Logika 14
Rahmi Hidayati, S.Kom., M.Cs.

Bab 3 Logika Proposisi: Ide Pokok dan Penerapannya 27
Kartika Sari, M.Cs.

Bab 4 Logika Predikat: Pengantar dan Kegunaannya 41
Belinda Eka Sarah Dewi, S.Mat., M.Mat.

Bab 5  Pembuktian dalam Logika 53
Dr. Aditya Firman Ihsan, S.Si, M.Si

Bab 6 Logika Temporal: Pengenalan dan Contoh Penggunaan 69
Farid, M.Kom

Bab 7 Logika Fuzzy: Konsep Sederhana dan
Aplikasinya 87
Lathifatul Aulia, S.Si., M.Mat.

Bab 8 Logika Probabilistik: Pengantar dan Contoh Penerapan 99
Novera Kristianti, S.T., M.T

Bab 9 Logika Temporal Linier: Konsep dan Implementasi 111
Haryono, S.Kom, M.Kom

Bab 10 Inovasi dan Strategi dalam Pengembangan dan Pemasaran Produk 126
Cut Fadhilah S. T., M. Kom.