Art Original

Logika Matematika: Buku Teks Ilmu Komputer

---

Buku teks ini disusun sebagai materi ajar formal untuk memperkenalkan fondasi logika matematika yang menjadi pilar mendasar dalam ilmu komputer dan informatika. Materi di dalam buku ini dirancang agar mahasiswa dapat memahami bagaimana penalaran logis diaplikasikan dalam pembentukan struktur instruksi pemrograman, basis data, kecerdasan buatan, hingga analisis kompleksitas algoritma. Cakupan bahasannya meliputi pengantar logika proposisional (tabel kebenaran, ekuivalensi, validitas argumen) serta logika predikat (kuantor dan kalkulus predikat). Dengan pendekatan yang sistematis dan ringkas, buku ini membantu pembaca membangun kerangka berpikir logis yang kuat guna memecahkan masalah komputasi secara terstruktur.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

511.3 HEN L

Penerbit

Bandung : Infromatika., 2000

Deskripsi Fisik

viii + 104 halaman; dilengkapi ilustrasi; ukuran tinggi 24

Bahasa

English

ISBN/ISSN

979-95779-9-3

Klasifikasi

511.3

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

cet 1

Subjek

Logika Informatika, Kalkulus Proposisional

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar