Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program

Permanent URI for this collectionhttps://hdl.handle.net/11413/4941

Browse

Browsing Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program by Author "Ateş, İlayda"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    PublicationOpen Access
    S4 ve GL modal mantıklarının modelleri üzerine
    (İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalıth, 2012-06) Ateş, İlayda; Çiğdem Gencer
    Bu tezde, S4 ve GL modal mantıklarının sonlu Henkin ve filtreleme yöntemiyle elde edilen modellerinin izomorf olduğu ispatlanmıştır. Bu amaçla S4 ve GL modal mantıklarının modal tamlığından ve kanonik modellerinden yararlanılmıştır