Uzaysal modal lojikler için bir inşa yöntemi
A construction method for spatial modal logics
- Tez No: 291023
- Danışmanlar: YRD. DOÇ. DR. TAHSİN ÖNER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Tamlık, Completeness
- Yıl: 2011
- 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ı: Belirtilmemiş.
Özet
Bu tezde, modal lojiğin bilinen tamlık sonuçlarını kullanmak ya da Kripke çatıları boyunca dolaylı olarak çalışmak yerine istenen genişletilmiş matematiksel yapıları direkt olarak inşa etmek için dikkatle gözden geçirilmiş bir sintaktik yaklaşım verilmiştir. S4 ün ya göre tamlığını göstermek için kullanılan bu inşa yöntemi aşamalarla ve adımlarla inşa edilmiştir. Ayrıca ve nın aksiyomlaştırılması sırasıyla FP dilini ve Since/Until dilini kullanarak sağlanır. Ek olarak S4 haricinde nun da göre tamlığı aynı inşa yöntemi ile gösterilmiştir. ye de genişlemelerin söz konusu olduğu, teorem ve önermeler ile ifade edilmiştir.
Özet (Çeviri)
In this thesis, instead of using the usual completeness results in modal logic or efforting through Kripke frames indirectly, a syntactic approximation is examined for contructing the desired mathematical structures is extended directly is given. A construction method which is used for demonstrating the completeness of S4 with respect to is established by the stages and the steps. In addition, the axiomatization of and is looked out for in advance in the ordered FP language and Since/Until language. Moreover, the completenesses of and with respect to except S4 are showed by using the same construction method. Existing the extension to also is explained in theorems and propositions.
Benzer Tezler
- 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Ğ
- 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
- Frekans tabanlı modal analizde belirsizlik değerlendirmesi
Uncertainty assessment in frequency domain modal analysis
BERNA KAYA GÜL
Yüksek Lisans
Türkçe
2024
İnşaat MühendisliğiEge Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. ÇAĞLAYAN HIZAL
- Hidroelektrik santrallerde modal özelliklerin derin öğrenme esaslı analizi ve deprem kayıtlarında anomali tahmini
Deep learning-based analysis of modal properties in hydroelectric power plants and anomaly prediction in earthquake records
GÜRHAN TOKGÖZ
Doktora
Türkçe
2026
İnşaat MühendisliğiGazi Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ EDA AVANOĞLU SICACIK