Pengantar Matematika termasuk Mata Kuliah Dasar di Departemen Matematika UI. Pengantar Matematika memperkenalkan kepada mahasiswa bagaimana membuktikan suatu proporsi dengan memakai logika matematika. Bahasa matematika dan logika matematika sangatlah berbeda dengan pengertian logika pada umumnya.
Dalam logika matematika banyak digunakan lambang-lambang tertentu. Sebagai referensi, Anda bisa mengunduh file-file berikut.
- b_induk.pdf
- Bab2_fol.pdf
- Bab3_teori_bil_1.pdf
- Bab4_teori_bil_2.pdf
- Func_Series.pdf
- Inference_Rule.pdf
- Logika_Proporsi.pdf
- LogPuzzles.pdf
- Pembuktian.pdf
- Pohon_Semantik.pdf
- Set.pdf
- Set_12.rtf
File-file tersebut merupakan salah satu referensi bagi mahasiswa yang ingin memahami logika matematika.
Sumber: