Logika Informatika Iwan Santosa, S.T., M.T. Teknik Informatika Universitas Trunojoyo Madura
Pengantar Deskripsi Manfaat Pokok Bahasan Referensi Aturan Perkuliahan Penilaian
Deskripsi Mata kuliah Logika informatika: konsep dasar penyelesaian permasalahan logika informatika permasalahan dasar dalam logika pemrograman
Manfaat untuk menyelesaikan permasalahan tertentu program dapat dibuat dengan model terstruktur dan dapat digunakan menyelesaikan permasalahan yang ada
Pokok Bahasan Pengantar Logika Informatika Logika Proposisi Logika Predikat Himpunan Relasi dan Fungsi Bagian Aljabar Boolean
Referensi Nolt, John, 1990, Schaum's Outline Of Set Theory And Related Topics 2nd Edition. McGraw-Hill. Lipson, 1997, Schaum's Outline Of Theory And Problems of Discrete Mathematics 2nd Edition. McGraw-Hill. Mordechai Ben-Ari, 1948, Mathematical Logic for Computer Science, Springer. Srivastava, 2008, A Course on Mathematical Logic. Springer. Logika Matematika Untuk Ilmu Komputer”, oleh F.Soesianto dan Djoni Dwijono, Andi Offset, Jogjakarta
Aturan Perkuliahan Tugas Individu dan Kelompok dikumpulkan tepat waktu (nilai dikurangi 5% setiap 1(satu) keterlambatan pengumpulan) Toleransi keterlambatan 15 menit dari jadwal UTS tes tulis ? UAS tulis ? Kehadiran 80% (2 kali dalam 16 pertemuan boleh tidak hadir)
Penilaian Tugas : 30% UTS : 30% UAS : 40% Nilai Point Range A 4 B+ 3,5 75 ≤ Nilai ≤ 80 B 3 70 ≤ Nilai < 75 C+ 2,5 60 ≤ Nilai < 70 C 2 55 ≤ Nilai < 60 D+ 1 50 ≤ Nilai < 55 D 45 ≤ Nilai < 50 E 0 ≤ Nilai < 45
Info Lanjutan Ketua kelas ……………….