LOGIKA INFORMATIKA
Diktat Kuliah
Oleh :
Sukma Puspitorini, ST
PROGRAM STUDI TEKNIK INFORMATIKA STMIK NH JAMBI
TAHUN AJARAN 2007/2008
DAFTAR ISI
BAB 1 : DASAR-DASAR LOGIKA
1.1 Pengertian Umum Logika
1.2 Logika dan Pernyataan
1.2.1 Logika
1.2.2 Pernyataan (Proposisi)
1.2.3 Penghubung Kalimat Dan Tabel Kebenaran
1.2.4 Ingkaran (Negasi) Suatu Pernyataan
1.3 Tautologi dan Kontradiksi
1.4 Konvers, Invers, dan Kontraposisi.
1.5 Inferensi Logika
1.6 Soal Latihan
BAB 2 : KALIMAT BERKUANTOR
2.1 Predikat dan Kalimat Berkuantor
2.2 Kuantor Universal dan Kuantor Eksistensial
2.3 Ingkaran Kalimat Berkuantor
2.4 Kalimat Berkuantor Ganda
2.5 Soal Latihan
BAB 3 : ALJABAR BOOLE
3.1 Aljabar Boole Sebagai Suatu Struktur Aljabar
3.2 Fungsi Boolean
3.3 Ekspresi Boole
3.4 Bentuk Normal Disjunctive
3.5 Rangkaian Logika
3.6 Soal Latihan
BAB 4 : METODE PEMBUKTIAN
4.1 Petunjuk Umum Pembuktian
4.2 Metode Pembuktian Langsung
4.3 Metode Pembuktian Tak Langsung
4.3.1 Pembuktian Dengan Kontradiksi
4.3.2 Pembuktian Dengan Kontraposisi
4.4 Soal Latihan
untuk mendapatkan Modul PROGRAM STUDI TEKNIK INFORMATIKA STMIK NH JAMBI di atas,bisa anda download file nya di bawah, semoga bermanfaat.
DOWNLOAD
3 comments
Izin download boz.... post lebih bnyak lagi dunk,materi kuliah stmik nh jmbi?
Rizal --> di persilah kan boz, terima kasih,secepat nya nnti saya update lebih bnyak lagi,
semoga bermanfaat.salam kenal
kok ga bisa di dwonload ya??
Posting Komentar