Kuliah ini berkaitan dengan pernyataan dan penalaran pada matematika. Materi yang dibahas pada kuliah ini mencakup logika matematika, teori himpunan dan fungsi serta metoda pembuktian dalam matematika.