LOGI KA
Outline
Deskripsi Mata Kuliah
Materi kuliah
Deskripsi Mata Kuliah
Materi Kuliah
Cakupan Materi
Konsep logika, sejarah dan peranannya dalam Teknik Informatika
Representasi bilangan dan operasi aritmatika bilangan Kalkulus proposisi dan kalkulus predikatif
Silabus
Topik Deskripsi Materi
Pendahuluan Konsep logika; sej arah; peranan logika dalam ranah ilmu Teknik Inf ormat ika Represent asi
Bilangan
Sist em bilangan biner; Sist em bilangan desimal, Sist em bilangan hexadesimal; Konversi bilangan; Arit mat ika bilangan
Logika Proposisional Preposisi; Variabel dan konst ant a proposisi; Tabel kebenaran; Proposisi maj emuk; Taut ologi; Ekuivalensi; Hukum-hukum logika;
Logika Predikat if Komponen logika predikat if ; int erpret asi dan validit y; derivasi Himpunan Himpunan; Operasi himpunan; Tuples, sequences dan Powerset s; Relasi Relasi; komposisi relasi; Propert y relasi
Referensi
Buku
Jean-Paul Tremblay., 1996, “Logic and Discrete Mathematics”, Prentice Hall, New Jersey
F. Soesianto & Djoni Dwijono, 2003, “Logika Proposisional”, Andi Offset, Yogyakarta
F. Soesianto & Djoni Dwijono, 2003, “Logika Predikatif”, Andi Offset, Yogyakarta
Evaluasi
Komponen
Kehadiran dan partisipasi : 10 %
Tugas : 25%