Uzaysal modal lojikler
Spacial modal logics
- Tez No: 202091
- Danışmanlar: PROF. DR. MEHMET TERZİLER
- Tez Türü: Doktora
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Bisimulation, Peritopoloji, Kapanış Cebiri, Parçalanış, Fusion, Ağaç, Bisimulation, Peritopology, Closure Algebra, Dissectable, Fusion, Tree
- Yıl: 2007
- Dil: Türkçe
- Üniversite: Ege Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 93
Özet
Giriş ve Ön Bilgiler bölümleri dışında bu tez esas olarak üç bölümden oluşmaktadır. Üçüncü bölümde; Kripke çatıları ve topolojik çatılar için ortak bir genelleme olan peritopoloji kavramı işlenmiştir. Peritopoloji modal lojikte göz önünde bulundurulan her türden model biçimleri için olduğu kadar valuation, simulation, bisimulation ve çarpım v.b. kavramlarının birleştirilmesine ilişkin senteze olanak sağlar. Bu uzayların lojiği minimal normal lojik K dır. Dördüncü bölümde; McKinsey-Tarski'nin makalesi modern anlamda irdelenmiştir. Kapanış cebirleri bağlantılı, bağlantısız, iyi-bağlantılı, tamamen bağlantısız topolojik uzaylarla ilişkiledirilerek evrensel sonuçlara ulaşılmıştır. Makalede çoğu zaman kapalı ve anlaşılması zor olan ispatlar, yalın bir dille açıklığa kavuşturularak, iyileştirilmiş, geliştirilmiştir. Beşinci Bölümde; S4 lojiğinin T2 ağacına göre tamlığından hareket ederek van Benthem ve arkadaşları tarafından verilen S4 @ S4 fusion'u Q xQ ye göre tamdır sonucunun ispatı, özel etiketlemelere başvurularak ve farklı bir algoritma kullanılarak kolay bir biçimde yerine getirilmiştir.
Özet (Çeviri)
In addition to Introduction and Preliminaries, this thesis consists essentially of three chapters. In Chapter 3; the peritopology concept, which is a common generalization of Kripke frames and topological frames, is introduced. A peritopology allows an easy synthesis of all types models concidered in modal logic as well as a unification of vocabulary concerning valuations, simulations, bisimulation and products. The logic of those space is the minimal normal logic K. In Chapter 4; McKinsey-Tarski s paper is treated in a modern way. Certain universal results are obtained by linking up closure algebras with connected, disconnected, well-connected, and totally disconnected topological spaces. Proofs mostly implicit and difficult to grasp in the mentioned paper are improved by the use of a simple and precise language. In Chapter 5; starting with the completeness of S4 with respect to T2, the proof of the result The fusion S4 S4 is complete with respect to Q Q given in van Benthem and alias is easly established by means of a special labeling and a different algorithm.
Benzer Tezler
- Uzaysal modal lojikler için bir inşa yöntemi
A construction method for spatial modal logics
HATİCE GÖZDE AYTAÇ
- Dairesel mikroşerit antenlerde uzaysal modal alıcı çeşitlilik kazancının incelenmesi
Examination of the spatial modal diversity gain in circular microstrip antennas
RAMİ URFALIOĞLU
Yüksek Lisans
Türkçe
2011
Elektrik ve Elektronik MühendisliğiGazi ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. ÖZGÜR ERTUĞ
- MIMO-OFDM WLAN sistemlerinde kompakt çok-modlu anten dizinleri ve anten seçimi kullanılarak kapasite arttırımı
Capacity improvement in MIMO-OFDM WLAN systems using compact multimode antenna arrays and antenna selection
ASUMAN YAVANOĞLU
Doktora
Türkçe
2013
Elektrik ve Elektronik MühendisliğiGazi ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. ÖZGÜR ERTUĞ
- Oscillation problems of the closed seas
Kapalı denizlerin salınım problemleri
SİNAN ÖZEREN
Yüksek Lisans
Türkçe
1997
Jeoloji Mühendisliğiİstanbul Teknik ÜniversitesiMeteoroloji Mühendisliği Ana Bilim Dalı
PROF. DR. H. NÜZHET DALFES
- Nonlinear system identification and nonlinear experimental modal analysis by using response controlled stepped sine testing
Cevap kontrollü kademeli sinüs testi kullanarak doğrusal olmayan sistem tanılama ve doğrusal olmayan deneysel modal analiz
TAYLAN KARAAĞAÇLI
Doktora
İngilizce
2020
Makine MühendisliğiOrta Doğu Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. HASAN NEVZAT ÖZGÜVEN