Logika Informatika Iwan Santosa, S.T., M.T. Teknik Informatika

Presentasi berjudul: "Logika Informatika Iwan Santosa, S.T., M.T. Teknik Informatika"— Transcript presentasi:

1 Logika Informatika Iwan Santosa, S.T., M.T. Teknik Informatika
Universitas Trunojoyo Madura

2 Pengantar Deskripsi Manfaat Pokok Bahasan Referensi Aturan Perkuliahan
Penilaian

3 Deskripsi Mata kuliah Logika informatika:
konsep dasar penyelesaian permasalahan logika informatika permasalahan dasar dalam logika pemrograman

4 Manfaat untuk menyelesaikan permasalahan tertentu
program dapat dibuat dengan model terstruktur dan dapat digunakan menyelesaikan permasalahan yang ada

5 Pokok Bahasan Pengantar Logika Informatika Logika Proposisi
Logika Predikat Himpunan Relasi dan Fungsi Bagian Aljabar Boolean

6 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

7 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)

8 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

9 Info Lanjutan Ketua kelas ……………….