Course Descriptions

Mata kuliah ini memberikan dasar-dasar logika untuk komputasi. Logika Informatika merupakan bagian dari matematika diskrit.  Materi yang dibahas meliputi Dasar-dasar Logika (logika proporsisi, inferensi logika dan logika predikat), Aljabar Boolean,dan Penyederhanahan Fungsi Bolean dan Rangkaian Digital.

Learning Outcomes

1. Mahasiswa mampu mengidentifikasikan logika, operasi dan inferensi pada logika proposisional.
2. Mahasiswa mampu mengkonstruksikan simbol-simbol logika
3. Mahasiswa mampu mengkonstruksikan logika predikat
4. Mahasiswa mampu mengidentifikasi teori himpunan, relasi dan fungsi bagian
5. Mahasiswa mampu mengenal dan mengaplikasikan aljabar boolean

References

1. Setiadji, Logika Informatika, Graha Ilmu, Jakarta, 2007
2. F. Soesianto, Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit ANDI, Yogyakarta, 2010
3. Retno Hendrowati; Bambang Hariyanto, Logika Informatika, Penerbit Informatika, Bandung, 2000
4. Jong Jek Siang, Matematika Diskrit dan Aplikasinya pada Ilmu Komputer, Andi Yogyakarta, 2004

Details ...

Course Descriptions

Mata kuliah ini memberikan dasar-dasar logika untuk komputasi. Logika Informatika merupakan bagian dari matematika diskrit.  Materi yang dibahas meliputi Dasar-dasar Logika (logika proporsisi, inferensi logika dan logika predikat), Aljabar Boolean,dan Penyederhanahan Fungsi Bolean dan Rangkaian Digital.

Learning Outcomes

1. Mahasiswa mampu mengidentifikasikan logika, operasi dan inferensi pada logika proposisional.
2. Mahasiswa mampu mengkonstruksikan simbol-simbol logika
3. Mahasiswa mampu mengkonstruksikan logika predikat
4. Mahasiswa mampu mengidentifikasi teori himpunan, relasi dan fungsi bagian
5. Mahasiswa mampu mengenal dan mengaplikasikan aljabar boolean

References

1. Setiadji, Logika Informatika, Graha Ilmu, Jakarta, 2007
2. F. Soesianto, Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit ANDI, Yogyakarta, 2010
3. Retno Hendrowati; Bambang Hariyanto, Logika Informatika, Penerbit Informatika, Bandung, 2000
4. Jong Jek Siang, Matematika Diskrit dan Aplikasinya pada Ilmu Komputer, Andi Yogyakarta, 2004

Details ...

Course Descriptions

Mata kuliah ini memberikan dasar-dasar logika untuk komputasi. Logika Informatika merupakan bagian dari matematika diskrit.  Materi yang dibahas meliputi Dasar-dasar Logika (logika proporsisi, inferensi logika dan logika predikat), Aljabar Boolean,dan Penyederhanahan Fungsi Bolean dan Rangkaian Digital.

Learning Outcomes

1. Mahasiswa mampu mengidentifikasikan logika, operasi dan inferensi pada logika proposisional.
2. Mahasiswa mampu mengkonstruksikan simbol-simbol logika
3. Mahasiswa mampu mengkonstruksikan logika predikat
4. Mahasiswa mampu mengidentifikasi teori himpunan, relasi dan fungsi bagian
5. Mahasiswa mampu mengenal dan mengaplikasikan aljabar boolean

References

1. Setiadji, Logika Informatika, Graha Ilmu, Jakarta, 2007
2. F. Soesianto, Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit ANDI, Yogyakarta, 2010
3. Retno Hendrowati; Bambang Hariyanto, Logika Informatika, Penerbit Informatika, Bandung, 2000
4. Jong Jek Siang, Matematika Diskrit dan Aplikasinya pada Ilmu Komputer, Andi Yogyakarta, 2004

Details ...

Course Descriptions

Mata kuliah ini memberikan dasar-dasar logika untuk komputasi. Logika Informatika merupakan bagian dari matematika diskrit.  Materi yang dibahas meliputi Dasar-dasar Logika (logika proporsisi, inferensi logika dan logika predikat), Aljabar Boolean,dan Penyederhanahan Fungsi Bolean dan Rangkaian Digital.

Learning Outcomes

1. Mahasiswa mampu mengidentifikasikan logika, operasi dan inferensi pada logika proposisional.
2. Mahasiswa mampu mengkonstruksikan simbol-simbol logika
3. Mahasiswa mampu mengkonstruksikan logika predikat
4. Mahasiswa mampu mengidentifikasi teori himpunan, relasi dan fungsi bagian
5. Mahasiswa mampu mengenal dan mengaplikasikan aljabar boolean

References

1. Setiadji, Logika Informatika, Graha Ilmu, Jakarta, 2007
2. F. Soesianto, Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit ANDI, Yogyakarta, 2010
3. Retno Hendrowati; Bambang Hariyanto, Logika Informatika, Penerbit Informatika, Bandung, 2000
4. Jong Jek Siang, Matematika Diskrit dan Aplikasinya pada Ilmu Komputer, Andi Yogyakarta, 2004

Details ...

Course Descriptions

Mata kuliah ini memberikan dasar-dasar logika untuk komputasi. Logika Informatika merupakan bagian dari matematika diskrit.  Materi yang dibahas meliputi Dasar-dasar Logika (logika proporsisi, inferensi logika dan logika predikat), Aljabar Boolean,dan Penyederhanahan Fungsi Bolean dan Rangkaian Digital.

Learning Outcomes

1. Mahasiswa mampu mengidentifikasikan logika, operasi dan inferensi pada logika proposisional.
2. Mahasiswa mampu mengkonstruksikan simbol-simbol logika
3. Mahasiswa mampu mengkonstruksikan logika predikat
4. Mahasiswa mampu mengidentifikasi teori himpunan, relasi dan fungsi bagian
5. Mahasiswa mampu mengenal dan mengaplikasikan aljabar boolean

References

1. Setiadji, Logika Informatika, Graha Ilmu, Jakarta, 2007
2. F. Soesianto, Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit ANDI, Yogyakarta, 2010
3. Retno Hendrowati; Bambang Hariyanto, Logika Informatika, Penerbit Informatika, Bandung, 2000
4. Jong Jek Siang, Matematika Diskrit dan Aplikasinya pada Ilmu Komputer, Andi Yogyakarta, 2004

Details ...