Dinamik topolojik lojiklerin ifade güçleri
Yükleniyor...
Dosyalar
Tarih
2011
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Ege Üniversitesi
Erişim Hakkı
info:eu-repo/semantics/openAccess
Özet
Bu tezin amacı, dinamik topolojik lojiği, topolojik dinamik sistemlerin noktalarının yörüngeleri hakkında çıkarımlar yapabilmek için kullanmaktır. Tez, beş bölümden oluşmaktadır. Tez ile ilgili genel bilgilerin yer aldığı giriş bölümünden sonra, önbilgiler bölümünde çeşitli temel kavramlara yer verildi. üçüncü bölümde, yörünge kavramı tanıtıldı ve yörünge davranışları sınıflandırıldı. Dördüncü bölümde, temel dinamik dilin, yörüngelerin topolojik olarak ilginç özelliklerinin çoğunu ifade edebilmek için yeterli ifade gücüne sahip olmadığı gösterildi ve sonra amaçlanan ifade gücüne sahip olan zenginleştirilmiş dile ulaşmak için nominaller ve bazı operatörler eklenerek dil genişletildi. Beşinci bölümde, dinamik modalite için yeni bir yorum önerildikten sonra bu yorum altındaki temel dinamik dilin de yörüngelerin topolojik olarak ilginç özelliklerinin çoğunu ifade edebilmek için yeterli ifade gücüne sahip olmadığı gösterildi. Son olarak, bu dil melezleştirilerek ve genişletilerek elde edilen zenginleştirilmiş diller ile ilgili ulaşılan sonuçlar doğrultusunda, yeni yorumun eskisinden daha fazla ifade gücü sağladığına ve dolayısıyla, topolojik dinamik sistemler hakkında çıkarımlarda bulunmak için daha uygun olduğuna karar verildi.
Açıklama
Anahtar Kelimeler
Melez lojik; dinamik topolojik lojik; topolojik dinamik sistemler; yörüngeler., Hybrid logic; dynamic topological logic; topologic dynamical systems; orbits., Matematik A.B.D.
