Perkuliahan Logika Matematika merupakan perkuliahan wajib yang diberikan kepada mahasiswa di Fakultas Ilmu Komputer. di Fakultas Ilmu Komputer (Fasilkom) Universitas Muhammadiyah Riau, perkuliahan ini diberikan kepada mahasiswa semester pertama dengan bobot 3 SKS. Untuk tahun ajaran 2012/2013, perkuliahan ini diberikan kepada mahasiswa SI dan TI. adapun materi perkuliahan tidak jauh berbeda dari materi-materi sebelumnya yaitu sebagai berikut:

Pertemuan 1: Perkenalan, Aturan Perkuliahan dan Silabus

Pertemuan 2: Pengantar Logika (Pengertian, Sejarah Perkembangan Logika, Aliran Logika, Macam-macam logika, Manfaat Logika, dan Logika dan Komputer)

Tugas 1: Buat sebuah tulisan tentang salah seorang ahli ilmu logika modern tentang apa yang mereka temukan, jelaskan secara rinci temuan-temuan mereka, dan hubungannya dengan ilmu komputer. Tugas ditulis maksimal 3 halaman dan dikerjakan berkelompok dimana 1 kelompok terdiri dari 2/3 mahasiswa.

Pertemuan 3: Pernyataan Majemuk dan Negasinya

Nilai Sementara dan Keterangan Perbaikan

Nilai Logika Matematika UMRI SI Reg

Nilai Logika Matematika UMRI SI Reg Mlm

—————————————————————————————————————————————————–

Logika Matematika merupakan mata kuliah wajib yang diberikan kepada mahasiswa semester III di program Teknik Informatika Universitas Abdurrrab Riau. Bobot perkuliahan ini yaitu 3 SKS dengan kode mata kuliah KKTI 3301. Perkuliahan ini dilaksanakan pada hari kamis untuk kelas A  (13.00 s.d 15.15) dan pada hari minggu untuk kelas B (08.00 s.d 10.15). Perkuliahan diberikan oleh Zetra Hainul Putra, M.Sc.

Silabus ringkas

Mata kuliah ini membahas tentang sejarah logika matematika, hubungan logika matematika dengan informatika, kalimat terbuka, pernyataan, operasi logika (, konjungsi, disjungsi, implikasi, biimplikasi), langkah-langkah operasi logika, tabel kebenaran, negasi pernyataan majemuk, penarikan kesimpulan, konvers, invers, kontraposisi suatu implikasi, serta negasinya, tautologi, eukivalensi, dan kontradiksi, pernyataan berkuontor, serta induksi matematika.

Tujuan Instruksional Umum (TIU)

Para mahasiswa dapat menerapkan logika matematika dalam rangkaian algoritma pemrograman komputer.

References/Bibliography

– Pertemuan I (22 September 2011 dan 25 September 2011) yaitu: Pengantar Logika Matematika termasuk didalmnya Sejarah logika matematika dan hubunganya dengan Informatika.

– Pertemuan II (29 September 2011 dan 02 Oktober 2011) yaitu: Pernyataan dan Kalimat Terbuka.

– Pertemuan III (06 Oktober 2011 dan 09 Oktober 2011) yaitu: Operasi Logika, langkah-langkah dalam logika matematika, dan tabel kebenaran.

– Pertemuan IV(13 Oktober 2011 dan 16 Oktober 2011) yaitu: Negasi dari pernyataan-pernyataan majemuk (Konjungsi, disjungsi, implikasi, dan biimplikasi)

– Pertemuan V(20 Oktober 2011 dan 30 Oktober 2011) yaitu: Konvers, Invers, dan Kontraposisi

– Pertemuan VIyaitu: Ekivalensi, Tautologi dan Kontradiksi

– Pertemuan VII yaitu: Penarikan Kesimpulan

– Pertemusn VIII yaitu: Ujian Tengah Semester (UTS)

UTS Logika Matematika Unirab 2011

– Pertemuan IX yaitu: Digital Logic Circuit

– Pertemuan X yaitu: Cirkuit yang bersesuaian dengan Ekspresi Boolean

– Pertemuan XI yaitu: Pernyataan Berkuantor

– Pertemuan XII yaitu: Negasi Pernyataan Berkuantor

2 responses »

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s