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

Mahasiswa mampu mengidentifikasikan logika, operasi dan inferensi pada logika proposisional.

Mahasiswa mampu mengkonstruksikan simbol-simbol logika

Mahasiswa mampu mengkonstruksikan logika predikat

Mahasiswa mampu mengidentifikasi teori himpunan, relasi dan fungsi bagian

Mahasiswa mampu mengenal dan mengaplikasikan aljabar boolean

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

Logika, the calculus of computer science, memegang peran yang sangat penting di bidang ilmu komputer atau teknik informatika. Logika, bersama dengan komputasi numerik dan matematika diskrit, adalah pondasi dasar dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, dan menguji ketepatan suatu program. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/ sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lainnya yang mempergunakan logika secara intensif. 

Mahasiswa dapat memahami, menguasai dan mengembangkan kemampuan penalaran tentang argumen-argumen berdasarkan hukum logika yang berlaku dan dapat menerapkan serta menerangkan secara matematis  

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

Logika, the calculus of computer science, memegang peran yang sangat penting di bidang ilmu komputer atau teknik informatika. Logika, bersama dengan komputasi numerik dan matematika diskrit, adalah pondasi dasar dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, dan menguji ketepatan suatu program. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/ sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lainnya yang mempergunakan logika secara intensif. 

Mahasiswa dapat memahami, menguasai dan mengembangkan kemampuan penalaran tentang argumen-argumen berdasarkan hukum logika yang berlaku dan dapat menerapkan serta menerangkan secara matematis  

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

Logika, the calculus of computer science, memegang peran yang sangat penting di bidang ilmu komputer atau teknik informatika. Logika, bersama dengan komputasi numerik dan matematika diskrit, adalah pondasi dasar dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, dan menguji ketepatan suatu program. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/ sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lainnya yang mempergunakan logika secara intensif. 

Mahasiswa dapat memahami, menguasai dan mengembangkan kemampuan penalaran tentang argumen-argumen berdasarkan hukum logika yang berlaku dan dapat menerapkan serta menerangkan secara matematis  

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

Logika, the calculus of computer science, memegang peran yang sangat penting di bidang ilmu komputer atau teknik informatika. Logika, bersama dengan komputasi numerik dan matematika diskrit, adalah pondasi dasar dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, dan menguji ketepatan suatu program. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/ sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lainnya yang mempergunakan logika secara intensif. 

Mahasiswa dapat memahami, menguasai dan mengembangkan kemampuan penalaran tentang argumen-argumen berdasarkan hukum logika yang berlaku dan dapat menerapkan serta menerangkan secara matematis  

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
5. Barry Woollard, Elektronika Praktis, Pradnya Paramita, Jakarta, 1988
6. Ralph J. Smith, Rangkaian, Piranti dan Sistem, Erlangga, Jakarta, 1990
7. Roger L. Tokheim, Elektronika Digital, Erlangga, Jakarta, 1995
8. Samuel C. Lee, Rangkaian Digital dan Rancangan Logika, Erlangga, Jakarta, 1994

Logika, the calculus of computer science, memegang peran yang sangat penting di bidang ilmu komputer atau teknik informatika. Logika, bersama dengan komputasi numerik dan matematika diskrit, adalah pondasi dasar dalam pemrograman. Logika merupakan dasar-dasar matematis suatu perangkat lunak, digunakan untuk memformalkan semantik bahasa pemrograman dan spesifikasi program, dan menguji ketepatan suatu program. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/ sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lainnya yang mempergunakan logika secara intensif. 

Mahasiswa dapat memahami, menguasai dan mengembangkan kemampuan penalaran tentang argumen-argumen berdasarkan hukum logika yang berlaku dan dapat menerapkan serta menerangkan secara matematis  

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
5. Barry Woollard, Elektronika Praktis, Pradnya Paramita, Jakarta, 1988
6. Ralph J. Smith, Rangkaian, Piranti dan Sistem, Erlangga, Jakarta, 1990
7. Roger L. Tokheim, Elektronika Digital, Erlangga, Jakarta, 1995
8. Samuel C. Lee, Rangkaian Digital dan Rancangan Logika, Erlangga, Jakarta, 1994