| Hafta | Teori Konu Başlıkları |
|---|---|
| 1 | Fonksiyonel Programlamaya Giriş, Lambda Kalkülüs Temelleri |
| 2 | Lambda Kalkülüs ile Hesaplama |
| 3 | Tip Sistemleri |
| 4 | β-indirgeme |
| 5 | Sabit Nokta Fonksiyonları ve Tekrarlamalı Fonksiyonlar |
| 6 | Church-Rosser Teoremi |
| 7 | Arasınav |
| 8 | Arasınav |
| 9 | Doğal Sayı Sistemini İspat Sistemlerine Tanıtma |
| 10 | Bilgisayar Dilinde Operatörler |
| 11 | Bilgisayar Dilinde Tümevarım |
| 12 | Bilgisayar Dilinde Mantık |
| 13 | Proje Sunumu |
| 14 | Genel Değerlendirme / Proje Tartışması |
