Feb

23

Pengantar Logika Informatika

Posted by : Wibisono Sukmo Wardhono | On : 23 February 2012

Kepada seluruh peserta Matakuliah Logika Informatika, di bawah ini adalah rangkaian materi yang akan kita pelajari dalam satu semester ke depan
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
Jadwal:
Kamis, jam 07.00 – 08.40
Unduh presentasi pertemuan hari pertama:
(ODP, buka dengan OpenOffice.org Impress, LibreOffice Impress, MS Word 2010 atau versi sebelumnya + plugin)

Leave a Reply

Your email address will not be published. Required fields are marked *

CAPTCHA Image

*