KONTRAK PEMBELAJARANMATA KULIAH LOGIKA INFORMATIKA

PRODI TEKNIK INFORMATIKA JURUSAN TEKNIK UNSOEDSEMESTER I 2014/2015

1. Pengampu♣ Swahesti Puspita Rahayu, S.Kom, MT (SPR)♣ Dadang Iskandar, ST, M.Eng (DI)

2. Jadwal PertemuanSelasa 13.00-selesai Ruang B101

3. Penilaian♣ Quiz 10%♣ Tugas 20%♣ UTS 35%♣ UAS 35%

4. Rencana PerkuliahanPERT

KETGL MATERI KET

1 02/09/14 Pengantar Logika Informatikao Kontrak Pembelajarano Arti logika informatikao Manfaat logika informatikao Istilah-istilah logika

Pengampu:SPR

2 09/09/14 Aljabar Proposisi Bagian 1o Semesta Pembicaraano Kalimat Deklaratifo Validitas Argumeno Proposisi Atomik dan Majemuko Kata-kata Perangkai Kalimat

SPR ,PR/tugas

3 16/09/14 Aljabar Proposisi Bagian 2o Tabel Kebenarano Hukum Ekuivalensi Logika

SPRQuiz

4 23/09/14 Aljabar Proposisi Bagian 3o Tautologi dan Kontradiksio Konvers, Invers dan Kontraposisi

SPR,PR/tugas

5 30/09/14 Inferensi Logika dan Pembuktian SPRPR/tugas

6 07/10/14 Kuantifikasio Konstanta, Variabel, Kalimat Terbukao Kuantor

SPR,PR

7 14/10/14 Ingkaran Kalimat SPRQuiz

8 UTS Jurusan9 /11/14 Himpunan Bagian 1 DI10 /11/14 Himpunan Bagian 2 DI11 /11/14 Relasi dan Fungsi Bagian 1 DI12 /11/14 Relasi dan Fungsi Bagian 2 DI13 /12/14 Aljabar Boolean Bagian 1 DI14 /12/14 Aljabar Boolean Bagian 2 DI15 /12/14 Aljabar Boolean Bagian 3 DI16 12/14-01/15 UAS Jurusan

5. Referensi♣ Diktat Kuliah♣ Introduction to Logic, Patrick Suppes, D. Van Nostrand Company, Inc., Canada, 1959.♣ Set Theory and Logic, Robert R. Stoll, Eurasia Publishing House Ltd, New Delhi, 1976.♣ Logika Informatika, Setiadji, Graha Ilmu, Yogyakarta, 2007.♣ Logika Matematika untuk Ilmu Komputer, F.Soesianto dan Djoni Dwijono, Penerbit Andi, Yogyakarta,

2006.