SILABUS MATA KULIAH
A. IDENTITAS MATA KULIAH
1. Matakuliah :
Logika Matematika
2. Kode Matakuliah : KK 2316
3. SKS :
2 SKS
4. Jam Semester : 2 JS
5. Semester :
5 (Lima)
6. Jenjang :
Srata 1 (S-1)
7. Program :
PGSD
8. Dosen Pengampu : Taurinda Mahardiyanti, S.Pd., M.Pd.
B. DESKRIPSI MATA KULIAH
Mata kuliah ini dimaksudkan
untuk memberikan pemahaman tentang penalaran atau proses penarikan
kesimpulan. Mata kuliah ini mengaji tentang pengertian logika, pernyataan dan
operasinya, argumen, kuantor, dan syllogisme.
C. TUJUAN PERKULIAHAN
Mata kuliah ini bertujuan membekali mahasiswa tentang penalaran atau proses
penarikan kesimpulan. Setelah mengikuti perkuliahan ini mahasiswa diharapkan dapat menjelaskan tentang
pengertian logika, pernyataan dan operasinya, argumen, kuantor, dan silogisme.
D. POKOK BAHASAN PERKULIAHAN
1. Pengantar Logika
a. Pengertian Logika
b. Sejarah Logika
c. Manfaat Mempelajari Logika
(Pertemuan ke-1, tanggal
_______________)
2. Pernyataanan Operasinya
a. Pengertian Pernyataan
b. Nilai Kebenaran
c. Operasi Uner (Negasi)
(Pertemuan ke-2, tanggal
_______________)
3. Operasi Biner dan Tabel Kebenaran
a. Konjungsi, Disjungsi, Implikasi, dan
Biimplikasi
b. Tabel Kebenaran
(Pertemuan ke-3, tanggal
_______________)
4. Tautologi, kontradiksi,
kontingensi
a. Tautologi,
b. Kontradiksi,
c. Kontingensi,
5. Pernyataan-pernyataan
ekuivalen, konvers, invers, dan kontraposisi
a.
Pernyataan-pernyataan yang Ekuivalen
b.
Konvers, Invers, dan Kontraposisi
(Pertemuan ke-5, tanggal _______________)
6. Argumen
a. Pengertian Argumen
b. Inferensi induksi
c. Inferensi deduksi
(Pertemuan ke-6, tanggal
_______________)
7. Argumen
a. Pembuktian Validitas Argumen
(Pertemuan
ke-7, tanggal _______________)
8. Ujian Tengah Semester (UTS)
(Pertemuan ke-8, tanggal
_______________)
9. Argumen
a. Aturan Penarikan Kesimpulan
b. Aturan Penukaran
(Pertemuan
ke-9, tanggal _______________)
10. Argumen
a. Aturan Pembuktian Kondisional
b. Aturan Pembuktian Tak Langsung
(Pertemuan ke-10, tanggal
_______________)
11. Argumen
a. Aturan Pembuktian Tautologi
b. Pembuktian Invaliditas Argumen
(Pertemuan ke-11, tanggal
_______________)
12. Kuantor
a. Kuantor Umum (Universal)
b. Kuantor khusus (Eksistensial)
c. Negasi Pernyataan Berkuantor
(Pertemuan ke-12, tanggal
_______________)
13. Kuantor
a. Empat Pernyataan dalam Logika Tradisional
b. Pernyataan yang Mengandung Relasi
c. Pembuktian Validitas Argumen Berkuantor
(Pertemuan ke-13, tanggal
_______________)
14. Silogisme
a.
Pengertian Silogisme
b.
Susunan dan Modus Silogisme
(Pertemuan ke-14, tanggal
_______________)
15. Silogisme
a. Validias Silogisme
b. Metode Diagram Venn
(Pertemuan ke-15, tanggal
_______________)
16. Ujian Akhir Semester (UAS)
(Pertemuan ke-16, tanggal _______________)
E. METODE PERKULIAHAN
1. Ekspositori
2. Diskusi
3. Tanya Jawab
4. Pemberian Tugas
F. MEDIA PEMBELAJARAN DAN BAHAN AJAR
1. Laptop dan LCD
2. White Board dan Spidol
3. Penggaris
G. EVALUASI
1. Laporan tugas, penyajian dan diskusi 20%
2.
Tes unit 20%
3.
UTS 25%
4.
UAS 35%
|
UAS 35%
Total 100%
H. BUKU SUMBER
§
Billstein, Rick., Libeskind, Sholomo.,
dan Lott, W. Johnny. 1993. A Problem Solving Aprroach to Mathematics for
Elementary School Teachers (5th Ed), Addison-Wesley Publishing Company, Inc, Reading, Massachusetts.
- Kusumah, Yaya, S. 1986. Logika Matematika Elementer. Bandung: Tarsito.
- Markaban.2004. Logika Matematika. Yogyakarta: PPPG Matematika.
§
Ruseffendi.
1984. Dasar-Dasar Matematika Modern dan Komputer Untuk Guru. Bandung: Tarsito.
- Sukirman. 2001. Matematika. Jakarta: Universitas Terbuka.
0 komentar:
Posting Komentar