P. 1
SILABUS Logika Matematika

SILABUS Logika Matematika

|Views: 982|Likes:
Dipublikasikan oleh adita_putra

More info:

Published by: adita_putra on Sep 22, 2011
Hak Cipta:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

03/12/2013

pdf

text

original

SILABUS PERKULIAHAN MATA KULIAH KODE MATA KULIAH PROGRAM BOBOT SKS SEMESTER DOSEN : LOGIKA MATEMATIKA : GD 321

: S1 REGULER / DUAL MODES : 2 (DUA) : V (LIMA) : DRA. DETI ROSTIKA, M.PD.

A. DESKRIPSI :

Logika Matematika merupakan salah satu mata kuliah yang harus ditempuh oleh mahasiswa konsentrasi matematika yang mempelajari tentang: pengertian logika; pernyataan dan operasinya; argumen dan metode deduksi; kuantor dan teori kuantifikasi; serta sylogisme.

B. STANDAR KOMPETENSI Setelah menyimak, mempelajari, tanya jawab, diskusi dan latihan, diharapkan mahasiswa memiliki kemampuan dalam memahami pengertian logika; pernyataan dan operasinya; argumen dan metode deduksi; kuantor dan teori kuantifikasi; serta sylogisme.

Pertemuan ke 1.

Kompetensi Dasar 1. Mahasiswa dapat

Materi Pokok dan Rincian Materi 1.Pengertian Logika

Langkah-langkah Pembelajaran dan Estimasi Waktu Menyimak, tanya

Media dan Sumber Yaya S Kusumah.

Tugas dan Evaluasi Mengerjakan soal

Operasi biner jawab. Mengerjakan soal latihan tentang Yaya S Kusumah. Mahasiswa dapat memahami pernyataanpernyataan ekivalen. invers. Logika Matematika Elementer. Pernyataanpernyataan ekivalen h. 2. Bandung: Tarsito. 6. Konvers. tautologi. Operasi uner d. tautologi. g. e. Bandung: Tarsito. Mengerjakan soal latihan tentang operasi uner dan operasi biner. kontrapositif. dan aplikasi logika dalam jaringan listrik. 2. 3. Tautologi. 2. 3. Argumen dan Metode Deduksi 4. kontrapositif. pengertian pernyataan dan bukan pernyataan. Pernyataan dan Operasinya a. kontrapositif i. diskusi dan latihan soal tentang tabel kebenaran pernyataan. 4. c. diskusi dan latihan soal tentang pengertian logika. serta aplikasi logika dalam jaringan listrik. kontradiksi. Mahasiswa dapat memahami Operasi Uner dan operasi biner 5. diskusi. latihan soal tentang pernyataan ekivalen. Yaya S Kusumah. tanya jawab. b. serta aplikasi logika dalam jaringan listrik. konvers. Mahasiswa dapat memahami pengertian argumen. kontrapositif. Mengerjakan soal latihan tentang pernyataan ekivalen. Menyimak. latihan tentang pengertian logika. konvers. diskusi. Logika Matematika Elementer. kontradiksi. serta nilai kebenaran. dan kontingensi. tanya jawab. (1986). tautologi. Logika Matematika Elementer. dan kontingensi. dan kontingensi. invers. tanya jawab. (1986).Aplikasi logika dalam jaringan listrik. Mahasiswa dapat memahami pernyataan dan operasinya: pengertian pernyataan. Menyimak. Yaya S Kusumah. Mahasiswa dapat memahami tabel kebenaran pernyataan. Bandung: Tarsito. 7. 3. kontradiksi. Menyimak. invers. dan 5. (1986). tanya jawab. pengertian pernyataan dan bukan pernyataan. (1986). Nilai kebenaran. Logika . Yaya S Kusumah. Tabel kebenaran pernyataan f. Bandung: Tarsito. konvers. diskusi dan latihan tentang operasi uner dan operasi biner Menyimak. Mengerjakan soal latihan tentang tabel kebenaran pernyataan. Pengertian pernyataan dan bukan pernyataan. Mahasiswa dapat memahami Nilai Kebenaran.memahami pengertian logika. kontradiksi. Logika Matematika Elementer. invers. serta nilai kebenaran. (1986). kontingensi.

Bandung: Tarsito. 9. e. Bandung: Tarsito. g. 8. tanya jawab. Aturan pembuktian Mempelajari. latihan soal tentang aturan pembuktian kondisional dan pembuktian tak langsung. Mahasiswa dapat memahami aturan penarikan kesimpulan. presentase.. Menyimak. Bandung: Tarsito. 9. tanya kesimpulan jawab. dan inferensi induksi. diskusi dan latihan soal tentang inferensi deduksi. Pengertian argumen b. Mahasiswa dapat memahami inferensi deduksi dan pembuktian validitas argumen. Pembuktian presentasi dan latihan invaliditas argumen. serta latihan soal tentang aturan penarikan kesimpulan. diskusi. . 6. dan pembuktian validitas argumen. pengertian argumen. soal tentang aturan pembuktian tautologi dan pembuktian invaliditas argumen. dan aturan penukaran. Logika Matematika Elementer. inferensi induksi. Logika Matematika Elementer. diskusi. 8. Pembuktian tak presentasi serta langsung. (1986). latihan soal tentang pengertian argumen. dan f. (1986). j. tanya kondisional jawab. 10. Pembuktian faliditas argumen. Aturan penarikan Menyimak. Bandung: Tarsito. 11. a. 4. (1986). Mengerjakan soal latihan tentang aturan pembuktian kondisional dan pembuktian tak langsung. Mahasiswa dapat memahami aturan pembuktian kondisional dan aturan pembuktian tak langsung.Aturan pembuktian Mempelajari. dan pembuktian validitas argumen. c. Aturan penukaran. Yaya S Kusumah. Inferensi deduksi d. Mengerjakan soal latihan tentang ninferensi induksi. Mahasiswa dapat 10. Yaya S Kusumah. 12. diskusi dan h. tanya Matematika Elementer. Mengerjakan soal latihan tentang aturan penarikan kesimpulan dan aturan penukaran.. Mengerjakan soal Yaya S Kusumah. Mahasiswa dapat memahami aturan pembuktian tautologi dan pembuktian invaliditas argumen. tanya tautologi jawab. i. 7. Bandung: Tarsito. Mengerjakan soal latihan tentang aturan pembuktian tautologi dan pembuktian invaliditas argumen. Yaya S Kusumah. Yaya S Kusumah. Inferensi induksi. Kuantor dan teori Mempelajari.inferensi induksi. (1986). dan aturan penukaran. Logika Matematika Elementer. Logika Matematika Elementer.

berkuantor. diskusi.memahami kuantor dan teori kuantifikasi: yaitu fungsi proposisi dan kuantor umum. Logika Matematika Elementer. kuantifikasi. 16. Logika Matematika Elementer. (1986). jawab. tanya invaliditas argumen jawab. 15. Logika Matematika Elementer. fungsi proposisi soal tentang fungsi b. tradisional presentasi. 12. Bandung: Tarsito. diskusi. Pernyataan yang soal tentang empat mengandung relasi. Mahasiswa dapat memahami pembuktian validitas argumen berkuantor dan kekecualian pada aturan inferensi. tanya validitas argumen jawab. Kekecualian pada soal tentang aturan inferensi pembuktian validitas argumen berkuantor serta kekecualian pada aturan inferensi. presentasi dan latihan a. (1986). tanya d. Yaya S Kusumah. c. tanya dalam logika jawab. h. dan latihan soal tentang kuantor khusus dan negasi pernyataan berkuantor. 13. Pembuktian Mempelajari. latihan tentang fungsi proposisi dan kuantor umum. Pembuktian Mempelajari. dan latihan soal tentang (1986). Logika Matematika Elementer. presentasi. Mengerjakan soal latihan tentang kuantor khusus dan negasi pernyataan berkuantor. d. Bandung: Tarsito. dan latihan e. kuantor umum proposisi dan kuantor umum. Mahasiswa dapat memahami pembuktian invaliditas argumen berkuantor. Mengerjakan soal latihan tentang pembuktian invaliditas argumen Yaya S Kusumah. pernyataan dalam logika tradisional serta pernyataan yang mengandung relasi. Kuantor khusus Mempelajari. Yaya S Kusumah. Empat pernyataan Mempelajari. berkuantor presentasi. Mengerjakan soal latihan tentang empat pernyataan dalam logika tradisional serta pernyataan yang mengandung relasi. 14. 11. diskusi. 13. Bandung: Tarsito. Mahasiswa dapat memahami kuantor khusus dan negasi pernyataan berkuantor. Bandung: Tarsito. 14. (1986). berkuantor presentasi dan latihan g. Logika Matematika Elementer. Bandung: . Mengerjakan soal latihan tentang pembuktian validitas argumen berkuantor serta kekecualian pada aturan inferensi. diskusi. f. Negasi pernyataan jawab. Yaya S Kusumah. (1986). Mahasiswa dapat memahami empat pernyataan dalam logika tradisional dan pernyataan yang mengandung relasi. diskusi.

Validitas Sylogisme b.15. tanya jawan. . 5. Mempelajari. Tarsito. tanya jawab.Metode Diagram Venn 16. Susunan dan modus sylogisme b. (1986). (1986). diskusi. Sylogisme a. Mahasiswa dapat memahami validitas sylogisme dan metode diagram venn. berkuantor. dan latihan soal tentang validitas sylogisme serta metode diagram venn. presentasi. Yaya S Kusumah. Logika Matematika Elementer. Mempelajari. Bandung: Tarsito. dan latihan soal tentang susunan dan modus sylogisme. 17. presentasi. Mengerjakan soal latihan tentang susunan modus sylogisme. Mahasiswa dapat memahami sylogisme: susunan dan modus sylogisme 18. Bandung: Tarsito. Logika Matematika Elementer. Mengerjakan soal latihan tentang validitas sylogisme dan metode diagran venn. diskusi. Yaya S Kusumah. pembuktian invaliditas argumen berkuantor.

You're Reading a Free Preview

Mengunduh
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->