Geri Dön

Dinamik topolojik sistemler üzerine

On dynamic topological systems

  1. Tez No: 275716
  2. Yazar: ALPER ÜLKER
  3. Danışmanlar: YRD. DOÇ. DR. CİHANGİR ALACA
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2010
  8. Dil: Türkçe
  9. Üniversite: Sinop Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 50

Özet

Bu tez çalışmasında, S4 lojiğinin Kripke semantikleri üzerinde durulup, topolojik anlamda tanımlanabilirliği, sağlamlığı ve tamlığı gösterilmiştir. Ayrıca sürekli fonksiyonlar yardımıyla ve temporal modaliteler ile oluşturulan S4C ve S4-next lojikleri tanıtılarak S4 sisteminin durağan lojiğinden dinamik S4C ve S4-next lojiklerinin nasıl oluşturulduğu incelenmiştir.

Özet (Çeviri)

In this thesis, definability, soundness and completeness were showed with topological interpretations of S4 logic. Moreover S4C and S4-next logics which are built by continuous functions and temporal modalities has been given. So the statical logic S4 has enriched to the dynamic logic S4C and S4-next .

Benzer Tezler

  1. Deforme çadır dönüşümleri üzerindeki dinamik sistemlerin incelenmesi

    Investigation of the dynamical systems on deformed tent map

    DAMLA AYDOĞDU

    Yüksek Lisans

    Türkçe

    Türkçe

    2022

    MatematikEskişehir Teknik Üniversitesi

    Matematik Ana Bilim Dalı

    DOÇ. DR. MUSTAFA SALTAN

  2. Sembolik dinamik sistemleri ve kodlama teorisi üzerine

    Başlık çevirisi yok

    HASAN AKIN

    Doktora

    Türkçe

    Türkçe

    1998

    MatematikYüzüncü Yıl Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. ABDURRRAHİM YILMAZ

  3. Dağıtık sistemler için ada uydu görüntülerinin vektörel modellenmesi ve zaman-mekânsal analizi

    Vector modeling of island satellite images for distributed systems and spatio-temporal analysis

    SÜLEYMAN EKEN

    Yüksek Lisans

    Türkçe

    Türkçe

    2012

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKocaeli Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. AHMET SAYAR

  4. Structural and dynamical evolution of nanocrystals

    Nanokristallerin yapısal ve dinamik gelişimi

    CAN YILDIRIM

    Yüksek Lisans

    İngilizce

    İngilizce

    2013

    Metalurji MühendisliğiOrta Doğu Teknik Üniversitesi

    Metalurji ve Malzeme Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. YUNUS EREN KALAY

  5. Investigation of aging (Chronological Life Span) in S. cerevisiae by systems biology approaches

    Mayada (S. cerevisiae) yaşlanma mekanizmasının (Kronolojik Yaşam Süresinin) sistem biyolojisi yaklaşımıyla incelenmesi

    ESRA BÖRKLÜ YÜCEL

    Doktora

    İngilizce

    İngilizce

    2013

    BiyomühendislikBoğaziçi Üniversitesi

    Kimya Mühendisliği Ana Bilim Dalı

    PROF. DR. KUTLU ÜLGEN