Silabus Logika Informatika

Mata kuliah  : Logika Informatika
Kode              : PTI 4101
SKS                : 3 sks
Semester       : I
Prasyarat       : –
Program Studi            : Pendidikan Teknologi Informasi
Standar kompetensi  : Memahami, menguasai dan mengembangkan kemampuan penalaran tentang argumen-argumen berdasarkan hukum logika yang berlaku.

Deskripsi Mata Kuliah :
Mata kuliah ini membahas mengenai konsep dasar penyelesaian permasalahan logika informatika yang menjadi dasar dalam logika pemrograman. Metode yang sistematis dalam berpikir (reasoning) digunakan untuk mengurangi tindakan menebak dalam menghadapi, memperjelas kaidah matematika dan menyelesaikan suatu masalah guna menghasilkan cara berpikir rasional dan deduksi.

Pokok Bahasan:
1. Pengantar Logika Informatika, dan Pengantar logika proposisional dan tabel kebenaran
2. Ekuivalensi Logis
3. Tautology, Konvers, Invers dan Kontraposisi
4. Penyederhanaan Ekspresi Logika
5. Strategi Pembalikan
6. Tablo Semantic
7. Pengantar Logika Predikat
8. Komponen Sintaktik
9. Kuantor Universal dan eksistensial

Daftar Bacaan :
1. F. Soesianto dan Djoni Dwijono, Logika matematika untuk ilmu komputer, 2006, Penerbit ANDI, Yogyakarta.
2. Suprapto, Logika Informatika, 2003, Gava Media, Yogyakarta

This entry was posted in catatan, Logika Informatika and tagged , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s