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
Selasa, 05 Oktober 2010
Pertemuan Ke-5
Pertemuan ke-5
akan membahas lanjutan "Kalimat Logika" dengan materi:
Implikasi (Proposisi kondisional)
Tautologi
Kontradiksi
Jangan lupa bahwa untuk minggu ini, kuliah akan dilaksanakan pada hari
Jumat jam 13.00 - 14.40 WIB
Tidak ada komentar:
Posting Komentar
Posting Lama
Beranda
Langganan:
Posting Komentar (Atom)
Tidak ada komentar:
Posting Komentar