SILABUS Desain Ini
SILABUS Desain Ini
KEMENTERIAN AGAMA
INSTITUT AGAMA ISLAM NEGERI (IAIN)
SULTHAN THAHA SAIFUDDIN JAMBI
Silabus Perkuliahan
1. Identitas Mata kuliah
Nama Mata Kuliah
Kode Mata Kuliah
Jumlah SKS
Semester/ Jenjang
Jurusan
Nama Dosen
No. Hp
:
:
:
:
:
:
:
2. Tujuan
Perkuliahan
Pengantar
Dasar
Matematika (PDM)
bertujuan
agar
4. Pendekatan Pembelajaran
Pendekatan
: Pendekatan
pembelajaran
pada
menggunakan metode ekspositori,
penugasan.
perkuliahan
tanya jawab
ini
dan
5. Evaluasi
Penilaian yang dilakukan meliputi 4 aspek yaitu; tugas 25%, partisipasi 20%, Mid
semester 25% dan Ujian semester 30%.
1. Nilai tugas diambil dari tugas individu dan tugas makalah
2. Nilai partisipasi diambil dari keaktifan mahasiswa dalam proses pembelajaran
dan dari kehadiran siswa selama proses perkuliahan
3. Nilai Mid semester dilakukan pada pertemuan ke 9 setelah mahasiswa
melewati materi pada pertemuan ke 2-8
4. Nilai semester diambil setelah mahasiswa menyelesaikan semua materi yang
telah ditentukan.
Nilai akhir mahasiswa ditentukan oleh skor akhir yang diperoleh dengan
menggunakan sistem PAP yang diperoleh dari nilai skor akhir yang
ditransformasikan menjadi skala berikut :
80 100
A
60 64,9
C
75 79,9
B+
55 59,9
D
70 74,9
B
0 54,9
E
65 69,9
C+
6. Outline Materi
Pertemuan ke
1
2
3
4
5
6
7
8
9
10
11
12
13
Materi Perkuliahan
Kontrak Kuliah
Pendahuluan (Definisi himpunan, anggota himpunan)
Himpunan kuasa dan himpunan yang saling asing, hukum-hukum
aljabar pada himpunan
pembuktian kalimat himpunan, relasi
Operasi pada relasi, sifat-sifat relasi (refleksif, simetris, transitif),
kelas ekivalensi
Fungsi, fungsi injektif, surjektif dan bijektif, sifat-sifat fugsi
Kalimat deklaratif dengan kata penghubung: negasi, konjungsi,
disjungsi, implikasi (konvers, kontraposisi, invers), biimplikasi
beserta tabel kebenarannya.
UTS
Hukum-hukum logika, tautologi dan kontradiksi
Kaidah inferensi : modus ponens, modus tolens, silogisme
Kuantor universal, kuantor eksistensial
Negasi dari pernyataan dengan satu dan dua kuantor, diagram
venn dari negasi pernyataan berkuantor, operasi pernyataan
berkuantor
Pembuktian Matematika: Pembuktian langsung, tak langsung,
14
15
16
Bukti Kosong
Pembuktian matematika: Pembuktian Trivial, Kontradiksi,
Eksistensial
Pembuktian Matematika: Pembuktian ketunggalan, pembuktian
dengan Counter Example, Pembuktian dengan induksi
Matematika
UAS
7. Sumber Bacaan
a. Sukirman.2006. Logika dan Himpunan. Hanggar Kreator.
b. Bachtiar Syarif .1990. Pengantar Dasar matematika. Bandung: ITB
c. Patrick Suppes, 1993. Introduction to Logic. Mac Milian Publishing Co. Inc.
New York,
d. Rinaldi Munir.2014. Matematika Diskrit.Informatika bandung
No
Nama
No HP
Tanda Tangan
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35