Modeller Kuramı (MAT 474), 2016–7
- Saatler
- Çarşamba 15–16:50, Perşembe 14–14:50
- Ödevler
- Alıştırmalar
- 7 alıştırma, 2 sayfa, A4 kağıt, 6 Nisan 2017
- Daha fazla alıştırmalar (ve notlar), Mayıs 2017, pdf dosyası olarak Dropbox'tan alınabilir
- Metin
- Temel kavramlar: imzalar ve yapılar; terimler, formüller, ve doğruluk; tanımlanabilirlik; göndermeler. 23 Mart 2017 tarihli, A5 boylu, 29 sayfalı bir taslak: Bu metnin düzeltmesi, ödev olarak alınabilir!
- Sınav
- Çarşamba 19 Nisan 2017
- İlginç bir şey
- Gabriel Conant'ın hazırladığı “Map of the Universe” [Evren Haritası] sitesi. Bu evrenin her gezegeni, tam bir teoridir.
Bakmakla öğrenilse, köpekler kasap olurdu.