Geri Dön

Uzaysal modal lojikler için bir inşa yöntemi

A construction method for spatial modal logics

  1. Tez No: 291023
  2. Yazar: HATİCE GÖZDE AYTAÇ
  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: 2011
  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ı: 76

Ö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

  1. Uzaysal modal lojikler

    Spacial modal logics

    AHMET HAMAL

    Doktora

    Türkçe

    Türkçe

    2007

    MatematikEge Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. MEHMET TERZİLER

  2. 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

    Türkçe

    2011

    Elektrik ve Elektronik MühendisliğiGazi Üniversitesi

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

    YRD. DOÇ. DR. ÖZGÜR ERTUĞ

  3. 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

    Türkçe

    2013

    Elektrik ve Elektronik MühendisliğiGazi Üniversitesi

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

    YRD. DOÇ. DR. ÖZGÜR ERTUĞ

  4. Oscillation problems of the closed seas

    Kapalı denizlerin salınım problemleri

    SİNAN ÖZEREN

    Yüksek Lisans

    Türkçe

    Türkçe

    1997

    Jeoloji Mühendisliğiİstanbul Teknik Üniversitesi

    Meteoroloji Mühendisliği Ana Bilim Dalı

    PROF. DR. H. NÜZHET DALFES

  5. 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

    İngilizce

    2020

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

    Makine Mühendisliği Ana Bilim Dalı

    PROF. DR. HASAN NEVZAT ÖZGÜVEN