Buku Teknik Industri

Logika Matematika untuk Ilmu Komputer

---

Materi yang dibahas dalam buku ini meliputi:rnBab 1 : Pengenalan Logika MatematikarnBab 2 : Pengantar Logika ProposionalrnBab 3 : Tabel Kebenaran rnBab 4 : Proposisi MajemukrnBab 5 : TautologirnBab 6 : Ekuivalen LogisrnBab 7 : PenyederhanaanrnBab 8 : Strategi PembalikanrnBab 9 : Tablo SemantikrnBab 10 : Bentuk NormalrnBab 11 : ResolusirnBab 12 : Deduksi AlamirnBab 13 : Kalkulus DeretrnBab 14 : Pengantar Logika PredikatrnBab 15 : Komponen-Komponen SintatikrnBab 16 : Kuantor-KuantorrnBab 17 : Penafsiran Dan ValiditasrnBab 18 : DerivasirnBab 19 : Ekuivalen Logis Untuk Logika PredikatrnBab 20 : Tablo Semantik Untuk Logika PredikatrnBab 21 : Bentuk Normal PrenexrnBab 22 : Resolusi Untuk Logika Predikat

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

511.3 SOE l

Penerbit

Yogyakarta : Andi., 2010

Deskripsi Fisik

xxii,476hlm.;23cm.

Bahasa

Indonesia

ISBN/ISSN

978-979-29-1234-0

Klasifikasi

511.3 SOE l

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

ed. 2

Subjek

-

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar