Kernel for Word to PDF Demo Kernel for Word to PDF Demo Kernel

Kernel for Word to PDF Demo
SILABUS MATA KULIAH LOGIKA MATEMATIKA
SILABUS MATA KULIAH
A. IDENTITAS MATA KULIAH
Kernel for Word to PDF Demo
1. Matakuliah
: Logika Matematika
2. Kode Matakuliah
: MAT
3. SKS
: 3 SKS
4. Jam Semester
: 2-1 JS
5. Semester
: 5 (Lima)
6. Jenjang
: Srata 1 (S-1)
7. Program Studi
: Matematika
8. Dosen Pengampu
: Tiryono, Msc., PhD.
Kernel for Word to PDF Demo
Kernel for Word to PDF Demo
B. DESKRIPSI MATA KULIAH
Mata kuliah ini dimaksudkan untuk memberikan pemahaman tentang penalaran atau proses
penarikan kesimpulan. Mata kuliah ini mengkaji tentang pengertian logika, pernyataan (miss-
Kernel for Word to PDF Demo
isme) dan operasinya, argumen, kuantor, dan syllogisme.
C. TUJUAN PERKULIAHAN
Mata kuliah ini bertujuan membekali mahasiswa tentang penalaran atau proses penarikan
Kernel
for Word
to PDFSetelah
Demo
kesimpulan serta memaparkan
miss-isme
suatu pernyataan.
mengikuti perkuliahan ini
mahasiswa diharapkan dapat menjelaskan tentang pengertian logika, pernyataan (miss-isme)
dan operasinya, argumen, kuantor, dan silogisme.
Kernel for Word to PDF Demo
D. POKOK BAHASAN PERKULIAHAN
1. Pengantar Logika
a.
Pengertian Logika
b. Sejarah Logika
c.
Kernel
Manfaat Mempelajari Logika
for Word to PDF Demo
2. Pernyataanan – ( miss-isme) Operasinya
a.
Pengertian Pernyataan (Miss-Isme)
b. Nilai Kebenaran
Kernel for Word to PDF Demo
c.
Operasi Uner (Negasi)
Kernel for Word to PDF Demo
3. Operasi Biner dan Tabel Kebenaran
a.
Konjungsi, Disjungsi, Implikasi, dan Biimplikasi
b. Tabel Kebenaran
Kernel for Word to PDF Demo
4. Tautologi, kontradiksi, kontingensi
a.
Tautologi,
b. Kontradiksi,
c.
Kernel for Word to PDF Demo
Kontingensi,
5. Pernyataan-pernyataan ekuivalen, konvers, invers, dan kontraposisi
a.
Pernyataan-pernyataan yang
Ekuivalen
Kernel
for
b.
Konvers, Invers, dan Kontraposisi
Word to PDF Demo
6. Argumen
a.
Pengertian Argumen
Kernel for Word to PDF Demo
b. Inferensi induksi
c.
Inferensi deduksi
7. Argumen
a.
Kernel for Word to PDF Demo
Pembuktian Validitas Argumen
8. Ujian Tengah Semester (UTS)
Kernel for Word to PDF Demo
9. Argumen
a.
Aturan Penarikan Kesimpulan
b. Aturan Penukaran
Kernel for Word to PDF Demo
10. Argumen
a.
Aturan Pembuktian Kondisional
b. Aturan Pembuktian Tak Langsung
11. Argumen
Kernel for Word to PDF Demo
a.
Kernel for Word to PDF Demo
Aturan Pembuktian Tautologi
b. Pembuktian Invaliditas Argumen
12. Kuantor
a.
Kernel
Kuantor Umum (Universal)
for Word to PDF Demo
b. Kuantor khusus (Eksistensial)
c.
Negasi Pernyataan Berkuantor
13. Kuantor
a.
Kernel for Word to PDF Demo
Empat Pernyataan dalam Logika Tradisional
b. Pernyataan yang Mengandung Relasi
c.
Pembuktian Validitas Argumen Berkuantor
Kernel for Word to PDF Demo
14. Silogisme
a.
Pengertian Silogisme
b. Susunan dan Modus Silogisme
Kernel for Word to PDF Demo
15. Silogisme
a.
Validitas Silogisme
b. Metode Diagram Venn
Kernel for Word to PDF Demo
16. Ujian Akhir Semester (UAS)
E. METODE PERKULIAHAN
Kernel for Word to PDF Demo
1. Ekspositori
2. Diskusi
3. Tanya Jawab
4. Pemberian Tugas
Kernel for Word to PDF Demo
F. MEDIA PEMBELAJARAN DAN BAHAN AJAR
1. Laptop dan LCD
2. White Board dan Spidol
Kernel for Word to PDF Demo
3. Penggaris dan Alat Peraga Globe, Lingkaran Jam, Konversi Energi, …
Kernel for Word to PDF Demo
G. EVALUASI
1. Laporan tugas, penyajian dan diskusi
2. Tes unit
20%
20%
3. UTS
Kernel for Word
25%to PDF Demo
4. UAS
35%
Total
100%
H. BUKU SUMBER
Kernel for Word to PDF Demo
1. 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.
Kernel
for Word
to PDF
Demo
2. Kusumah, Yaya, S. 1986. Logika Matematika Elementer. Bandung: Tarsito.
3. Markaban.2004. Logika Matematika. Yogyakarta: PPPG Matematika.
4. Ruseffendi. 1984. Dasar-Dasar Matematika Modern dan Komputer Untuk Guru.
Bandung: Tarsito.
Kernel for Word to PDF Demo
5. Sukirman. 2009. Matematika. Jakarta: Universitas Terbuka.
Kernel for Word to PDF Demo
Kernel for Word to PDF Demo
Kernel for Word to PDF Demo
Kernel for Word to PDF Demo