Logika Informatika.Suprapto

Logika Informatika.Suprapto

Judul Buku	:	Logika Informatika (Dasar-dasar Logika untuk Pemrograman Komputer & Perancangan Komputer)
Pengarang	:	Suprapto
Penerbit	:	Gava Media
Cetakan	:	Cetakan Ke-1
Tahun Terbit	:	2003
Bahasa	:	Indonesia
Jumlah Halaman	:	201
Kertas Isi	:	HVS
Cover	:	Soft
Ukuran	:	16 x 23
Berat	:	300
Kondisi	:	Baru
Harga	:	Rp     39,000	diskon 15%
Bayar	:	Rp     33.150
Stock	:	1

Logika Informatika (Dasar-dasar Logika untuk Pemrograman Komputer & Perancangan Komputer)

Pengarang : Suprapto

Penerbit : Gava Media

Daftar Isi:

BAB 1 Logika Proposisional

1.1. Pendahuluan

1.2. Bahasa

^1.3^.   Arti Suatu Kalimat

^1.4^.   Sifat-sifat Kalimat

^1.5^.   Tabel Kebenaran

1.6. Pohon Semantik

^1.7^. Pembuktian dengan "Falsification"

1.8. Skema Kalimat Valid

1.9. Substitusi

1.10. Interpretasi Diperluas

1.11. Ekuivalensi

1.12. Soal

BAB 2 Logika Predikat

2.1. Pendahuluan

2.2. Bahasa

^2.3^. Arti Suatu Kalimat

^2.4^. Aturan-aturan Semantik

^2.5^. Validitas

2.6. Universal and Existential Closure

^2.7^. Soal

BAB 3 Logika Predikat (Lanjut)

3.1. Skema Kalimat Valid

3.2. Ekuivalensi

3^.3^. Substitusi Aman

3^.4  Sifat Nilai - Value Property

3^.5  Skema Valid dengan Substitusi

3.6. Fungsi Pengenalan dan Penghapusan

3^.7^. Soal

BAB 4 Rangkaian Logika Kombinasional

4^.1. Logika Biner dan Gerbang

4.2. Aljabar Boolean

4^.3  Bentuk-bentuk Standar

4^.4  Penyederhanaan Map

4^.5. Manipulasi Map

4.6. Gerbang NAND dan NOR

4^.7^. Gerbang Eksklusif-OR

4.8. Soal

Daftar Pustaka

KEMBALI KE HALAMAN AWAL

Share This Article