Text

Logika Informatika : Dasar-Dasar Logika Untuk Pemprograman Komputer & Perancangan Komputer

---

Bibliografi : hlm. 202
Indeks : hlm.

Buku "Logika Informatika: Dasar-Dasar Logika Untuk Pemrograman Komputer & Perancangan Komputer" (sering dikaitkan dengan penulis Suprapto dan diterbitkan oleh Gava Media) merupakan buku teks yang dirancang khusus untuk memperkenalkan prinsip-prinsip dasar logika matematis yang diaplikasikan dalam dunia komputasi.
Sinopsis Umum
Buku ini berfungsi sebagai jembatan antara ilmu logika murni dengan penerapannya dalam disiplin ilmu komputer, seperti pemrograman dan perancangan sistem digital. Tujuannya adalah membekali pembaca, khususnya mahasiswa program studi ilmu komputer atau teknik informatika, dengan kemampuan berpikir logis dan sistematis yang esensial dalam menyelesaikan masalah komputasi.
Materi Bahasan
Buku ini disusun secara sistematis, umumnya terdiri dari empat bab utama atau lebih, yang mencakup topik-topik kunci berikut:
Logika Proposisional: Membahas kalimat-kalimat abstrak, interpretasi, tabel kebenaran (truth table), tautologi, kontradiksi, dan kontingen.
Hukum dan Ekuivalensi Logika: Menjelaskan berbagai hukum ekuivalensi logika (seperti hukum De Morgan) dan teknik penyederhanaan ekspresi logika.
Inferensi Logika: Mengajarkan cara menarik kesimpulan yang sah dari premis-premis yang diberikan (misalnya, modus ponens, modus tollens).
Penerapan dalam Komputer: Menunjukkan bagaimana konsep-konsep logika tersebut menjadi dasar dalam perancangan komputer, sistem digital, dan pembuatan algoritma pemrograman.
Secara keseluruhan, buku ini menekankan pentingnya logika sebagai "kalkulus ilmu komputer" dan menyediakan landasan teoretis yang kuat serta panduan praktis untuk mahasiswa dan siapa saja yang ingin mendalami cara kerja fundamental di balik perangkat lunak dan keras komputer.

Label : Ulasan AI-assited Diverifikasi Oleh Eka Alaina, S.I.Pust. 26 November 2025.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

SR 004 SUP l

Penerbit

Yogyakarta : Gava Media., 2003

Deskripsi Fisik

x + 202 hlm.: ill.; 15,5 x 22 cm

Bahasa

Indonesia

ISBN/ISSN

979-97088-3-4

Klasifikasi

004

Tipe Isi

text

Tipe Media

unmediated

Tipe Pembawa

volume

Edisi

Edisi Pertama, Cetakan Pertama 2003

Subjek

Teknik Informatika
Informatika

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Suprapto

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar