Logika dan Pembuktian Matematis

Tahun Akademik:
Gasal 2023/2024
Kelas-Offr:
G-G
Deskripsi:
Logika: kalkulus proposisi, tautologi, ekuivalensi, dan analisis argumen, kalkulus predikat, kuantifikasi; Menduga dan membuat kesimpulan; Metode Pembuktian Matematika: bukti langsung, bukti tidak langsung, bukti dengan kontraposisi, dan induksi matematik bentuk pertama dan induksi matematik bentuk kuat.
Capaian Pembelajaran

• Mengidentifikasi sifat-sifat kalkulus proposisi dan kalkulus predikat
• Menggunakan sifat-sifat kalkulus proposisi dan kalkulus predikat dalam bernalar matematis
• Terampil menggunakan teknik-teknik pembuktian di matematika

Daftar Pustaka:

• Morash, R. P. 1991. Bridge to Abstract Mathematics: Mathematical Proof and Structures. New York : McGraw-Hill, Inc.
• Bartle, R. G. 2011. Introduction to Real Analysis. Fourth Edition. New York : John Wiley & Sons, Inc.