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:
  1. Implikasi (Proposisi kondisional)
  2. Tautologi
  3. Kontradiksi
Jangan lupa bahwa untuk minggu ini, kuliah akan dilaksanakan pada hari Jumat jam 13.00 - 14.40 WIB

Pertemuan Ke-2, 3 dan 4

Pertemuan ke-2 membahas secara mendalam mengenai konversi antar sistem bilangan:
  1. Biner <>Desimal
  2. Oktal <> Desimal
  3. Heksadesimal <> Desimal
Note: File belum pernah dipresentasikan dan hanya berisi langkah konversi biner <> desimal, diharapkan para mahasiswa mampu belajar mandiri untuk konversi yang lain


Pertemuan ke-3 Kuis I dengan materi "Sistem Bilangan"


    Pertemuan ke-4 membahas Kalimat Logika dengan materi: