Logika Matematika

Rifki Sadikin, ST

Copyleft © 2002 Dokumen ini bebas dicopy

Daftar Isi
Sillabus
I. Sistem Boolean
I.1 Himpunan
I.2 Operator Boolean
I.3 Simbol 1 dan 0
I.4 Aljabar Boolean
I.5 Hukum Aljabar Boolean
I.6 Hukum Turunan Aljabar Boolean
I.7 Sifat Dual Aljabar Boolean
I.8 Aljabar Boolean Untuk 1 dan 0
II. Fungsi Boolean
II.1 Rangkaian Saklar
II.1.1 Rangkaian Saklar Paralel
II.1.2 Rangkaian Saklar Seri
II.1.3 Rangkaian Saklar Kombinatorial
II.2 Gerbang Logika
II.2.1 Gerbang OR
II.2.2 Gerbang AND
II.2.3 Gerbang NOT
II.3 Fungsi Boolean dan Rangkaian Kombinatorial
II.3.1 Fungsi Boolean
II.3.2 Rangkaian Kombinatorial
III. Simplifikasi Boolean
III.1 Simplifikasi
III.2 Aturan Boole untuk Simplifikasi
III.3 Bentuk Sum Of Product dan Product of Sum
III.4 Karnough Map
III.5 Interprestasi Peta Karnough
III.6 Peta Karnough untuk Banyak Variabel
IV. Aplikasi Aljabar Boolean
IV.1 Rangkaian Kombinatorial
IV.1.1 Bilangan Biner
IV.1.2 penjumlahan Biner
IV.1.3 Half Adder
IV.1.4 Full Adder
IV.1.5 Rangkaian Penjumlah
IV.2 Rangkaian Sekuensial
VIII Dasar Logika Predikat
VIII.1 Pendahuluan
VIII.2 Sintaksis
VIII.2.1 Simbol
VIII.2.2 Term
VIII.2.3 Proposisi
VIII.2.4 Kalimat
VIII.2.5 Subterm, Subkalimat, dan Subekspressi
VIII.3 Variabel Bebas dan Terikat (free and bound variables )
VIII.4 Soal Latihan
IX. Interpretasi Logika Predikat
IX.1 Motivasi
IX.2 Interpretasi
IX.3 Aturan Semantik
IX.4 Interpretasi Termodifikasi
IX.5 Aturan untuk Kuantifier
IX.6 Latihan