Geri Dön

Topolojideki modal tanımlanabilirlik üzerine

Modal definabilty in topology

  1. Tez No: 182593
  2. Yazar: OKAN AÇIKSÖZ
  3. Danışmanlar: YRD. DOÇ. DR. TAHSİN ÖNER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2006
  8. Dil: Türkçe
  9. Üniversite: Ege Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 87

Özet

Bu tez temel olarak, topolojik uzaylar üzerinde modal lojiğinyorumlanması durumundaki tanımlanabilirlik ile ilgilidir. Goldblatt-Thomason teoreminin bir topolojiksel benzeri ispatlanmış. Bazı yenitopolojik yapılar tanıtılmıştır. Bunlardan biri olan kompakt genişlemekavramı, topolojide bilinen Stone-Čech kompaktifikasyonu fikrinin birgenellemesidir. Uygun topolojik operatörlere göre modal geçerliliğinkorunması sunulmuştur.

Özet (Çeviri)

This thesis is mainly concerned with the definability issue whenmodal logic is interpreted on topological spaces. A topological analogonof Goldblatt-Thomason theorem is proved. Some new topologicalconstructions are introduced. One of them, namely the notion of compactextension, is a generalization of the concept of Stone-Čechcompactification known in topology. The preservation of modal validitywith respect to suitable topological operations is presented.

Benzer Tezler

  1. Design and implementation of LLC resonant converter and high frequency transformer

    LLC rezonans çeviricisi ile yüksek frekans transformatörünün tasarımı ve gerçeklenmesi

    NUR ELİF TOPUZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektrik Mühendisliği Ana Bilim Dalı

    PROF. DR. GÜVEN KÖMÜRGÖZ KIRIŞ

  2. Vpython ortamında farklı topolojideki seri manipülatörler için kinematik model çıkarımı

    Kinematic model extraction for serial manipulators which have in different topologies in Vpython environment

    ECE COŞGUN

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Mekatronik Mühendisliğiİstanbul Teknik Üniversitesi

    Mekatronik Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. SIDDIK MURAT YEŞİLOĞLU

  3. Çizgisel topolojideki yoğun telsiz duyarga ağları için ortam erişim kontrolü protokollerinin enerji verimliliği ve gecikme yönünden incelenmesi

    Energy efficiency and delay study of mac protocols for dense wireless sensor networks with linear topology

    EREN DEMİR

    Yüksek Lisans

    Türkçe

    Türkçe

    2014

    Elektrik ve Elektronik MühendisliğiEge Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. RADOSVETA SOKULLU

  4. A generalization of Zariski topology

    Zariski topolojinin genelleştirilmesi

    EDA YILDIZ

    Doktora

    İngilizce

    İngilizce

    2023

    MatematikYıldız Teknik Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. BAYRAM ALİ ERSOY

    PROF. DR. ÜNSAL TEKİR

  5. Grid-connected variable speed generator applications with doubly-fed induction machine

    Şebeke bağlantılı bilezikli asenkron generatörün aktif ve reaktif gücü ayrıştırılarak denetimi

    ERHAN DEMİROK

    Yüksek Lisans

    İngilizce

    İngilizce

    2007

    Elektrik ve Elektronik MühendisliğiSabancı Üniversitesi

    Elektronik Mühendisliği ve Bilgisayar Bilimi Ana Bilim Dalı

    PROF. DR. ASİF ŞABANOVİÇ