SERI LOGIKA MATEMATIKA LOGIKA PROPOSISIONAL

Judul Buku	:	SERI LOGIKA MATEMATIKA LOGIKA PROPOSISIONAL
Pengarang	:	F. Soesianto dan Djoni Dwijono
Penerbit	:	Andi
Cetakan	:	Ke-1
Tahun Terbit	:	2003
Bahasa	:	Indonesia
Jumlah Halaman	:	208 hlm
Kertas Isi	:	HVS
Cover	:	Soft
Ukuran	:	16 x 23 cm
Berat	:	500 hlm
Kondisi	:	Baru
Harga	:	Rp       59,000	diskon 15%
Bayar	:	Rp       50,150
Stock	:	1

SERI LOGIKA MATEMATIKA LOGIKA PROPOSISIONAL

Pengarang: F. Soesianto dan Djoni Dwijono

Penerbit: Andi

DAFTAR ISI

BAB 1 PENGANTAR          

1.1 Pendahuluan        

1.2 Dasar-Dasar Logika         

1.3 Proposisi   

1.4 Variabel dan Konstanta Proposisional     

Ringkasan      

Soal-Soal Latihan       

BAB 2 TABEL KEBENARAN       

2.1 Pendahuluan        

2.2 Tabel Kebenaran  

2.3 Perangkai Logika atau Operator  

2.4 Konjungsi 

2.5 Disjungsi  

2.6 Negasi      

2.7 Implikasi  

2.8 Ekuivalensi           

2.9 Perangkai "Bukan dan"    

2.10 Perangkai "Bukan atau" 

2.11 Perangkai xor     

Ringkasan      

Soal-Soal Latihan       

BAB 3 PROPOSISI MAJEMUK     

3.1 Pendahuluan        

3.2 Ekspresi Logika   

3.3 Skema      

3.4 Menganalisis Proposisi Majemuk 

3.5 Aturan Pengurutan           

Ringkasan      

Soal-Soal Latihan       

BAB 4 TAUTOLOGI          

4.1 Pendahuluan        

4.2 Mengevaluasi Validitas Argumen

4.3 Tautologi  

4.4 Kontradiksi          

4.5 Contingent           

Ringkasan      

Soal-Soal Latihan       

BAB 5 EKUIVALENSI LOGIS    

5.1 Pendahuluan        

5.2 Ekuivalen secara Logis    

5.3 Komutatif

5.4 Asosiatif   

5.5 Hukum-Hukum Logika    

Ringkasan      

Soal-Soal Latihan       

BAB 6 PENYEDERHANAAN      

6.1 Pendahuluan        

6.2 Operasi Penyederhanaan  

6.3 Menghilangkan Perangkai dan <-4          

6.4 Perangkai Cukup  

Ringkasan      

Soal-Soal Latihan       

BAB 7 STRATEGI PEMBALIKAN          

7.1 Pendahuluan        

7.2 Konsistensi           

7.3 Operasi Strategi Pembalikan        

7.4 Model       

Ringkasan      

Soal-Soal Latihan       

BAB 8 TABLO, SEMANTIK        

8.1 Pendahuluan        

8.2 Tablo Semantik    

8.3 Aturan-Aturan Tablo Semantik   

8.4 Tablo Semantik pada Himpunan Ekspresi Logika           

8.5 Pembenaran Aturan Tablo           

8.6 Tablo Semantik pada Argumen   

8.7 Catatan Penting   

Ringkasan      

Soal-Soal Latihan       

BAB 9 BENTUK NORMAL          

9.1 Pendahuluan        

9.2 Bentuk Normal    

9.3 Bentuk Normal Konjungtif          

9.4 Bentuk Normal Disjungtif           

9.5 Tabel. Kebenaran dan Bentuk Normal    

9.6 Klausa      

9.7 Mengubah ke Bentuk Normal Konjungtif           

Ringkasan      

Soal-Soal Latihan       

BAB 10 RESOLUSI

10.1 Pendahuluan      

10.2 Resolving Arguments     

10.3 Himpunan Klausa          

10.4 Resolvent

10.5 Resolusi  

10.6 Contoh Validitas Argumen        

Ringkasan      

Soal-Soal Latihan       

BAB 11 DEDUKSI ALAMI           

11.1 Pendahuluan      

11.2 Falsum   

11.3 Aturan-aturan Deduksi Alami   

11.4 Pembuktian Teorema     

Ringkasan      

Soal-Soal Latihan       

BAB 12 KALKULUS DERET      

12.1 Pendahuluan      

12.2 Skemata Deret   

12.3 Aturan Kalkulus Deret   

12.4 Pembuktian Menggunakan Kalkulus Deret       

Ringkasan      

Soal-Soal Latihan       

Daftar Pustaka         

Daftar Tokoh-Tokoh Logika          

Daftar Istilah

Indeks

Lampiran - Aplikasi Logika untuk Merancang Rangkaian Elektronika           

KEMBALIKE HALAMAN AWAL