P. 1
Silabus Logika Matematika

Silabus Logika Matematika

|Views: 55|Likes:
Dipublikasikan oleh dalmerim
Logika
Logika

More info:

Published by: dalmerim on Mar 09, 2013
Hak Cipta:Attribution Non-commercial

Availability:

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

12/09/2013

pdf

text

original

SILABUS PERKULIAHAN

MATA KULIAH

: LOGIKA MATEMATIKA

KODE MATA KULIAH : GD 321 BOBOT SKS TAHUN AKADEMIK PROGRAM SEMESTER DOSEN : 2 (DUA) : 2007/2008 : PGSD S-1 KELAS : GANJIL (5) : MAULANA, S.Pd., M.Pd. (2224)

A. DESKRIPSI

Mata kuliah ini diperuntukkan bagi mahasiswa Pendidikan Guru Sekolah Dasar program Strata 1 (S-1), dengan fokus pengembangan pemikiran logis, kritis, objektif dan terbuka, sebagai dasar sikap yang harus dimiliki oleh seorang yang berprofesi sebagai pengajar/guru.

B. BAHAN MATA KULIAH

Bahan mata kuliah ini meliputi: 1. Pengertian Logika a. Pengertian Logika b. Sejarah Logika c. Pentingnya Logika

2. Pernyataan dan Operasinya a. Pengertian Pernyataan b. Nilai Kebenaran c. Operasi Uner

d. Operasi Biner 1) 2) 3) 4) Operasi Konjungsi Operasi Disjungsi Operasi Implikasi Operasi Biimplikasi

Validitas Syllogisme C. Pembuktian Validitas Argumen e. j. Susunan dan Modus Syllogisme b. Inferensi Induksi c. Kontraposisi i. Aturan Pembuktian Kondisional h. Pengertian Argumen b. Aturan Pembuktian Tak Langsung i. TUJUAN Mata kuliah ini didesain untuk memberi kesempatan kepada mahasiswa dalam meningkatkan kemampuan problem solving dan kemampuan menulis argumentasi. Aturan Pembuktian Tautologi Pembuktian Invaliditas Argumen 4. Pernyataan-Pernyataan Ekuivalen h. Aturan Penukaran g. Tautologi. Kontradiksi. Syllogisme (Pengayaan) a. Invers. Pembuktian Invaliditas Argumen Berkuantor 5. Aplikasi Logika 3. Pernyataan yang mengandung Relasi g. Fungsi Proposisi b. Inferensi Deduksi d. Kuantor Umum c. Pembuktian Validitas Argumen Berkuantor h. Mata . Tabel Kebenaran Pernyataan 1) Tabel Kebenaran Biasa 2) Tabel Kebenaran Singkat f. Kuantor dan Kuantifikasi a. Negasi Pernyataan Berkuantor e.e. Aturan Penarikan Kesimpulan f. Empat Pernyataan dalam Logika Tradisional f. Kekecualian pada Aturan Inferensi i. Konvers. Kontingen g. Kuantor Khusus d. Argumen dan Metode Deduksi a.

9 Bab III Subbab 1. E. 3 Bab IV Subbab 4. 9.Brody. Macmillan Publishing Co.Maulana. . New Jersey: 1973. Logika Matematika Elementer. 6. Symbolic Logic. Houghton Mifflin Co. Boston: 1971. RENCANA KEGIATAN PERKULIAHAN No. 2. 4. 3 Bab III Subbab 4. 10 Bab IV Subbab 1.Kusumah. .Standley. 7. 3. 14. Irving M. 5 Bab IV Subbab 6. 3. 11. 2.Copi. 2. Gerald B. 7 Bab II Subbab 8.kuliah ini juga diharapkan dapat merangsang mahasiswa untuk berpikir kreatif dalam menyelesaikan suatu permasalahan yang menyangkut logika matematika. D. Vijaya Kusumah: 1991 . 5. Diktat Perkuliahan Konsep Dasar Matematika. 9 Bab V Sumber Waktu 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit 100 menit @ 90 menit Jadwal Minggu I Minggu II Minggu III Minggu IV Minggu V Minggu VI Minggu VII Minggu VIII Minggu IX Minggu X Minggu XI Minggu XII Minggu XIII Minggu XIV Minggu XV Minggu disesuaikan Sebanyak 2 pertemuan dialokasikan untuk UTS dan UAS . 10. 2006 . 8. Pokok Bahasan Pengertian logika Pernyataan dan operasinya Pernyataan dan operasinya Pernyataan dan operasinya Argumen dan metode deduksi Argumen dan metode deduksi Argumen dan metode deduksi Argumen dan metode deduksi Argumen dan metode deduksi Kuantor dan Kuantifikasi Kuantor dan Kuantifikasi Kuantor dan Kuantifikasi Kuantor dan Kuantifikasi Kuantor dan Kuantifikasi Syllogisme Bab I Bab II Subbab 1. 13. Braunch A. Prentice Hall Inc. 8 Bab IV Subbab 8. KEPUSTAKAAN . 5 Bab III Subbab 5 Bab III Subbab 6. Logic (Teoretical and Applied). 6. 2. 12. 15. 9. 1. New York: 1973. Yaya Sukjaya. 4 Bab II Subbab 5. 7 Bab IV Subbab 7. 7 Bab III Subbab 8. New Method in Symbolic Logic.

. disediakan bonus maksimal 10% untuk partisipasi dan keaktifan dalam kegiatan kelas. EVALUASI Ujuan Tengah Semester Ujian Akhir Semester Tugas Individu/Kelompok : Sesuai kalender akademik : Sesuai kalender akademik : Minimal 2 kali (Take home) Ujian mempunyai bobot 60%. Di samping itu. dan kehadiran 10%. tugas 30%.F.

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)//-->