General
Deskripsi
Mata kuliah Logika Informatika adalah mata kuliah dasar yang wajib dikuasai oleh mahasiswa bidang komputer. Mata Kuliah ini akan mengajarkan mahasiswa untuk dapat berpikir kritis dengan penalaran yang baik.
Capaian Pembelajaran
Setelah menyelesaikan perkuliahan ini, anda akan mampu:
- Mahasiswa mampu memahami konsep dan prinsip dasar logika informatika
- Mahasiswa mampu mengidentifikasikan logika proposional
- Mahasiswa mampu mengkonstruksikan operasi-operasi pembuktian pada logika proposional
- Mahasiswa mampu mengkonstruksikan inferensi pada logika proposional
- Mahasiswa mampu mengenal logika predikat
Topik Pembelajaran
Adapun topik yang akan dibahas dalam kelas ini adalah:
- Pendahuluan algoritma
- Flowchart dan Pseudocode
- Tipe data dasar dan operator
- Teknik percabangan (struktur pemilihan)
- Teknik Perulangan
- Array satu dimensi
- Array dua dimensi
- Tipe data bentukan (record)
- Prosedur
- Fungsi
- Record
Penjelasan lebih rinci dapat dibaca pada Rencana Pembelajaran Semester dan Peta Program yang dapat di download pada tautan berikut ini
Rencana Pembelajaran Semester (unduh)
Peta Program (unduh)
Buku Acuan
1. F. Soesianto dan Djoni Dwijono, Logika matematika untuk ilmu komputer, 2010, Penerbit ANDI
2. Nolt, John, 1990, Schaum's Outline Of Set Theory And Related Topics 2nd Edition. McGraw-Hill.
3. Lipson, 1997, Schaum's Outline Of Theory And Problems of Discrete Mathematics 2nd Edition. McGraw-Hill.
4. Mordechai Ben-Ari, 1948, Mathematical Logic for Computer Science, Springer.
5. Srivastava, 2008, A Course on Mathematical Logic. Springer.
6. Logika Matematika Untuk Ilmu Komputer”, oleh F.Soesianto dan Djoni Dwijono, Andi Offset, Jogjakarta
Dosen Pengampu
I Dewa Made Bayu Atmaja Darmawan,S.Kom.,M.Cs.
Email: dewabayu@cs.unud.ac.id
- Mahasiswa mampu memahami konsep dan prinsip dasar logika informatika