Text

Logika Informatika (Dasar-dasar logika untuk pemrograman komputer dan perancangan komputer)

---

Mengingat keterbasan buku logika khususnya logika informatika dan khususnya yang berbahasa Indonesia, maka buku ini disamping untuk memenuhi kebutuhan mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer, juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer. Buku ini disusun dalam empat bab. Bab pertama berisi kalimat-kalimat abstrak dalam logika proporsional, interpretasi, sematic tree, kalimat-kalimat valid, satisfiable dan substitusi. Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid tidak valid, quantifier. Bab ketiga berisi skema-skema kalimat valid, closure. Bab keempat berisi logika biner, aljabar, Boolean, fungsi-fungsi Boolean, manipulasi aljabar, manipulasi dengan Map

---

Ketersediaan

28

005.160 SUP l

Kampus Tipes (005)

Tersedia

Informasi Detail

Judul Seri

-

No. Panggil

005.160 SUB l

Penerbit

Yogyakarta. : Gava Media.., 2003

Deskripsi Fisik

x; 202; 23

Bahasa

Indonesia

ISBN/ISSN

979-78088-3-4

Klasifikasi

NONE

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

PEMROGRAMAN.
LOGIKA
INFORMATIKA.

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar