Modeller Kuramı (MAT 474), 2016–7

Saatler

Çarşamba 15–16:50, Perşembe 14–14:50

Ödevler

1. Perşembe 23 Mart
   • pdf
   • ps
   • dvi
   • tex
2. Perşembe 6 Nisan
   1. Bir gruplar zincirinin birleşiminin grup olduğunu gösterin.
   2. Aksiyomları ∀∃ biçimde olan bir teorinin modeller sınıfının, zincirlerin birleşimlerini almak altında kapalı olduğunu gösterin.

Alıştırmalar

• 7 alıştırma, 2 sayfa, A4 kağıt, 6 Nisan 2017
  • pdf
  • ps
  • dvi
  • tex
• 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:

• pdf
• ps
• dvi
• tex

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.