Pengantar Logika Informatika - Silabus dan SAP
Tujuan Instruksional Umum:
Setelah mengikuti kuliah ini mahasiswa mampu memahami konsep logika yang mendukung kemampuan logika pemrograman
Tujuan Instruksional Khusus:
- Mahasiswa memahami Pengertian Logika Informatika
- Mahasiswa memahami Sistem Bilangan
- Mahasiswa memahami Statement dan Notasi
- Mahasiswa memahami Konektif
- Mahasiswa memahami Tautologi & Kontradiksi
- Mahasiswa memahami Konvers
- Mahasiswa memahami Invers & Kontraposisi
- Mahasiswa memahami Inferensi logika
- Mahasiswa memahami Penerapan dalam pemrograman
- Mahasiswa memahami Prinsip induksi
- Mahasiswa memahami Prinsip induksi yang digeneralisasikan
- Mahasiswa memahami Prinsip induksi kuat
- Mahasiswa memahami Bentuk umum induksi
- Mahasiswa memahami Fungsi
- Mahasiswa memahami Relasi & teori himpunan
Rancangan jumlah pertemuan:
16 kali pertemuan
Pertemuan ke-8: UTS
Pertemuan ke-16: UAS (opsional)
Jadwal (Perhatikan perbedaan jam yang telah disepakati):
Kamis, 12.00 - 13.40 WIB
