Text

Logika informatika : dasar-dasar logika untuk pemrogaman komputer dan perancangan komputer

---

Buku ini merupakan pengenalan dasar terhadap konsep lojik dan teknik – teknik yang mendasari pemrograman computer. Bahasa lojik merupakan alat alami untuk mengekspresikan maksud – maksud atau perilaku – perilaku yang mempunyai tujuan dari program – program computer, dalam cara yang sama bahasa – bahasa pemrograman mengekspresikan algoritma yang mewujudkan maksud – maksud tersebut. Teknik – teknik lojik memainkan peranan utama dalam pekerjaan untuk otomasi pemrograman computer, meliputi sintesa program, verifikasi, pencarian kesalahan (debugging), dan transformasi. Dalam pembahasannya, buku logika informatika ini �disusun dalam 4 bab yaitu : bab pertama tentang kalimat – kalimat abstrak dalam logika proposisional, interpretasi, semantic tree, kalimat – kalimat valid, satisviable, dan subtitusi; bab kedua tentang kalimat – kalimat dalam logika predikat, domain, interpretasi, kalimat – kalimat tertutup, valid, tidak valid quantifier; dilanjutkan bab ketiga berisi skema – skema kalimat valid, closur universal, dan bab keempat tentang logika biner, aljabar Boolean, manipulasi map.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

004 SUP l

Penerbit

Yogyakarta : Gava Media., 2003

Deskripsi Fisik

x, 202 hlm.; 23 cm

Bahasa

Indonesia

ISBN/ISSN

979-97088-3-4

Klasifikasi

004

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

KOMPUTER-INFORMATIKA

Info Detail Spesifik

-

Pernyataan Tanggungjawab

SUPRAPTO

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar