FAKULTAS MATEMATIKA & ILMU PENGETAHUAN ALAM

UNIVERSITAS NEGERI PADANG

JL. Prof. Dr. Hamka Kampus Air Tawar Padang 25131, telp. (0751) 57420

SILABUS MATA KULIAH

(Semester Ganjil 2012-13)
A. INFORMASI UMUM Program Studi : Matematika Mata Kuliah : Pengantar Dasar Matematika Kode Mata Kuliah : MAT001 Jumlah SKS : 3 (Tiga) SKS Tempat Ruang Kuliah : Ruang Kuliah FMIPA UNP Waktu Kuliah : Sesuai dengan Jadwal Tempat Konsultasi : Ruang Dosen Matematika Pembina Mata Kuliah : Tim B. DESKRIPSI MATA KULIAH 1. Kedudukan Mata Kuliah : Mata Kuliah ini merupakan mata kuliah Wajib dan salah satu Mata Kuliah Keilmuan dan Keterampilan (MKK) 2. Sinopsis Mata Kuliah : Logika Matematika Elementer: proposisi, kuantor, fungsi proposisi, argument, aturan-aturan pengganti, pembuktian tautology, fungsi proposisi yang berkuantor, bukti keabsahan dan ketaksahan argument yang berkuantor, menentukan nilai kebenaran suatu proposisi komposit dengan aritmatika, induksi Matematika. Teori Himpunan: himpunan dan operasi himpunan, diagram Venn, product cartesius, keluarga himpunan dan himpunan indeks, himpunan bilangan, relasi dan fungsi aljabar himpunan, kardinalitas. 3. Standar Kompetensi : Setelah mempelajari mata kuliah ini, mahasiswa diharapkan mampu menggunakan konsep-konsep dasar matematika dalam permasalahan matematika secara logis dan sistematis. 4. Prasyarat : Tidak ada. C. KEPUSTAKAAN Buku Wajib : 1. Sibley (2009). Foundations of Mathematics. John Wiley. 2. Sukirman (2006). Logika dan Himpunan. Hanggar Kreator. 3. Bachtiar Syarif (1990). Pengantar Dasar matematika. Bandung: ITB Buku Anjuran : 1. Pantur silaban (1989). Teori Himpunan. Jakarta: Erlangga 2. Seymour Lipschutz (1991). Set Theory. Schaums, out line 3. RM.JT.Soehakso (1993). Pengantar Matematika Modren. Jakarta: P3MTK 4. Yaya S. Kusumah (1986). Logika Matematika Elementer. Bandung: Tarsito 5. R. Soedjadi (1988). Himpunan dan Pengantar Topologi. Jakarta: UT 6. Fletcher (1996). Foundations of Higher Mathematics. Brooks/Cole. 7. Suppes (1969), Introduction to Logics, Van Nostrand

8. Velleman (1994), How to Prove It, Cambridge. 9. Garnier (1996), 100% Mathematical Proof, John Wiley 10. Bartle, R (2000). Introduction to Real Analysis 3rd ed. John Wiley D. SISTIM PENILAIAN DAN EVALUASI 1. Tugas 2. Ujian Mid Semester 4. Ujian Akhir Semester 5. Kehadiran, Partisipasi, dll : 15% : 35% : 35% : 15%

E. Uraian Kegiatan
Minggu ke 1 1-2 Kompetensi Dasar 2 Mahasiswa mampu mengenal pernyataan matematika dan mampu menilai pernyataan sederhana maupun komposit. Materi Pokok dan Uraian Materi Pokok 3 Logika proposisi 1. Pengertian proposisi 2. Tabel kebenaran 3. Operasi pada proposisi 4. Tautologi, Kontradiksi, dan Kontingensi 5. Aturan Ekivalensi dan Aturan Inferensi Pengalaman Belajar 4 Mengeksplorasi kalimatkalimat, menganalisa kebenaran proposisi tunggal dan karakteristik kebenaran proposisi majemuk hasil operasi Mengeksplorasi proposisi majemuk yang dipengaruhi/tidak oleh kebenaran proposisiproposisi pembentuknya. Mengenali tautologi yang terbentuk sebagai derifatif dari tautologi lain Menyelesaikan masalah menggunakan konsepkonsep pada bagian ini Menganalisa kevalidan bermacam-macam argumen menggunakan prinsip-prinsip penarikan kesimpulan. Diberikan beberapa kalimat matematika yang berbentuk pernyataan berkuantor dan diskusi dalam kelompok dan mahasiswa diminta membandingkan proposisi yang mengandung kuantor. Mahasiswa diminta dalam kelompok menyusun bukti keabsahan argumen yang mengantung kuantor kuantor Indikator 5 Mahasiswa mampu : 1. Membedakan proposisi/bukan 2. Menganalisa nilai kebenaran suatu proposisi majemuk jika diketahui nilai kebenaran proposisi tunggalnya dan sebaliknya. 3. Menentukan klasifikasi suatu proposisi: tautologi, kontinjensi, atau kontradiksi 4. Membentuk proposisi baru menggunakan inferensi dan ekivalensi 1. Menarik kesimpulan dari suatu argumen 2. Menyusun bukti formal langsung, bersyarat, dan taklangsung 1. 2. Menyusun aturan bukti bersyarat yang diperkuat Membedakan tautologi, kontradiksi dan kontigensi Evaluasi 6 Tanya jawab Tugas Observasi kelas Rujukan 7

3-4 Mahasiswa mampu memeriksa kevalidan suatu argumen dengan aturan aturan pengganti dan aturan ekivalensi Mahasiswa memahami konsep variabel dan logika predikat. Argumen 1. Pengertian argumen 2. Bukti formal 3. Bukti bersyarat 4. Bukti taklangsung Variabel Logika Predikat -

Tanya jawab Tugas Observasi kelas Tanya jawab Tugas Observasi kelas

5-6

Mahasiswa dapat menggunakan konsepkonsep logika dalam bahasa pembuktian matematika

Struktur argumen dalam matematika Metode pembuktian

8 9

Mahasiswa dapat melakukan pembuktian dengan induksi

Induksi Matematika

10

Mahasiswa mampu mengenal unsur unsur pokok teori himpunan dan dapat memahaminya dengan baik

Teori himpunan Aksioma-aksioma himpunan

- Mahasiswa diberikan beberapa struktur argumen dalam matematika dan beberapa metode pembuktian yang logis dan sistematis MID SEMESTER - Mahasiswa dihadapkan dengan masalah matematika yang tidak bisa dibuktikan secara deduktif - Mahasiswa menyelesaikan beberapa masalah matematika secara induktif - Mahasiswa dihadapkan pada objek objek nyata, kemudian mengidentifikasikan pada suatu himpunan - Diberikan contoh contoh himpunan dan diminta mahasiswa menunjukkan elemen elemennya dan menuliskan notasi notasi himpunan - Mahasiswa dihadapkan pada operasi bilangan bilangan secara berkelompok, diminta membandingkan operasi operasi pada himpunan. - Mahasiswa diberikan sifatsifat operasi pada himpunan dan mencoba membuktikan sifat-sifat tersebut. - Mahasiswa diminta membentuk pasangan terurut dari dua himpunan - Mahasiswa diminta membuat beberapa pengaitan dari suatu pasangan terurut sehingga dapat membentuk pengertian relasi

1. Menjelaskan pengertian definisi, aksioma, teorema, lemma, dll. 2. Menuliskan kerangka pembuktian suatu argumen.

Tanya jawab Tugas Observasi kelas

Menggunakan prinsip induksi matematika dalam beberapa masalah matematika

Tanya jawab Tugas Observasi kelas

1. Menyebutkan definisi himpunan dan sub himpunan 2. Menerapkan aksiomaaksioma himpunan pada beberapa masalah.

Tanya jawab Tugas Observasi kelas

11

Mahasiswa mampu menggunakan definisi dan sifat-sifat operasi himpunan

Operasi himpunan : a. Gabungan b. Irisan c. Selisih d. Komplemen Sifat Operasi Himpunan

1.Menyebutkan definisi operasi himpunan 2. Membuktikan beberapa sifat operasi pada himpunan

Tanya jawab Tugas Observasi kelas

12

Relasi

Hasilkali Kartesius Relasi Jenis-jenis Relasi

1. Menentukan hasilkali Kartesius dari dua himpunan 2. Membentuk suatu relasi antara dua himpunan. 3. Menentukan jenis suatu relasi

Tanya jawab Tugas Observasi kelas

13-14

Fungsi

Pengertian Fungsi Jenis-jenis Fungsi Operasi dan Komposisi Fungsi Peta dan Prapeta

15

Mahasiswa mampu mengenal konsep kardinalitas/bilangan kardinal

Kardinalitas a. Pengertian kardinalitas b. Himpunan hingga dan tak hingga c. Himpunan terbilang d. Koleksi himpunan terbilang

16

- Mahasiswa dan diminta membuat karakteristik relasi dan fungsi - Mahasiswa diberikan beberapa karakteristik relasi dan diarahkan ke pengertian fungsi - Mahasiswa diberikan beberapa karakteristik fungsi dan memeriksa beberapa fungsi. - Mahasiswa mengamati bahwa fungsi bisa dioperasikan dan memeriksa karakteristik hasil operasi tersebut. - Mahasiswa dihadapkan pada bermacam macam bilangan dan menyebutkan bilangan kardinal - Diberikan beberapa himpunan bilangan dan diminta mahasiswa membedakan mana terbilang dan terhitung UJIAN AKHIR

1. Memeriksa apakah suatu relasi adalah fungsi atau tidak 2. Memeriksa jenis suatu fungsi 3. Membuktikan sifat-sifat operasi fungsi.

Tanya jawab Tugas Observasi kelas

1. Membedakan himpunan hingga dan tak hingga, terbilang dan tak terbilang 2. Menentukan koleksi himpunan terbilang

Tanya jawab Tugas Observasi kelas