18.02.2025 Giriş (Draft)

25.02.2025 Önerme Bağlaçları ve Doğruluk Tabloları 

04.03.2025 Totolojiler, Mantıksal Gerektirme 

11.03.2025 Totolojiler II

09.04.2025 Vize Cevap Anahtarı 

15.04.2025 Parantezler ve Ara Tekrar 

22.04.2025 Yeterli Bağlaçlar 

29.04.2025 Aksiyom Sistemi 

06.05.2025 Tümevarım, Çıkarım Teoremi ve Sağınlık

13.05.2025 Tamlık Teoremi ---Güncellenecek---

20.05.2025 Sözdizimsel Kanıt Örnekleri

27.05.2025 Tümevarım Üzerine Ek Notlar