Logika dan Pembuktian Matematis

Tahun Akademik:
Gasal 2025/2026
Kelas-Offr:
K-K
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

• Mampu menjelaskan dan mengidentifikasi kalkulus proposisi, kalkulus predikat, dan teknik pembuktian secara kritis.
• Mampu menyelesaikan masalah dengan mengaplikasikan konsep turunan dan integral secara kritis dan kreatif.

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.