Text

Logika matematika

---

Daftar isi:

BAGIAN I PENDAHULUAN
BAB 1 Teori himpunan

BAGIAN II ALJABAR BOOLEAN
BAB 2 Definisi dan aksioma aljabar boolean
BAB 3 Fungsi boolean
BAB 4 Komplemen fungsi
BAB 5 Konversi bentuk fungsi
BAB 6 Operasi-operasi dan gerbang logika

BAGIAN III PENYEDERHANAAN FUNGSI BOOLEAN
BAB 7 Metode penyerderhanaan fungsi boolean
BAB 8 Metode peta karnaugh
BAB 9 Metode quine-MMCLUSKEY
BAB 10 Penyederhanaan rangkaian digital

BAGIAN IV KALKULUS PROPOSISI
BAB 11 Konsep dan notasi dasar kalkulus proposisi
BAB 12 Penghubung logika dan well-from formula
BAB 13 Tabel kebenaran dan penalaran

BAGIAN V KALKULUS PREDIKAT
BAB 14 Konsep dan definisi kalkulus predikat
BAB 15 Aturan kalimat
BAB 16 Aturan-aturan kuantifier

DAFTAR PUSTAKA

---

Availability

Detail Information

Series Title

--

Call Number

511.3 RET b

Publisher

Bandung : Informatika., 2002

Collation

viii, 104 hlm.; ilus.; 24 cm

Language

Indonesia

ISBN/ISSN

9799577993

Classification

511.3

Content Type

-

Media Type

-

Carrier Type

-

Edition

Cetakan kedua

Subject(s)

Matematika
Logika

Specific Detail Info

--

Statement of Responsibility

Retno Hendrowati dan Bambang Hariyanto

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment