Geri Dön

K modal lojiğinin genişlemeleri üzerine

On the extensions of modal logic K

  1. Tez No: 134575
  2. Yazar: MELİKE KAYALIK
  3. Danışmanlar: PROF. DR. MEHMET TERZİLER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Süzme, sonlu model özelliği, tamlık ve saptanabilirlik, Filtration, finite model property (finp), completeness and decidability
  7. Yıl: 2003
  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ı: 53

Özet

ÖZET K MODAL LOJİĞİNÎN GENİŞLEMELERİ ÜZERİNE KAYALIK, Melike Yüksek Lisans Tezi, Matematik Bölümü Tez Yöneticisi: Prof. Dr. Mehmet TERZİLER Haziran 2003, 45 sayfa Giriş ve ön Bilgiler bölümleri dışmda bu tez esas olarak dört bölümden oluşmaktadır. 3. bölümde; D ve 0 operatörlerinin bazı özellikleri verildi. 4. bölüm belirli morfîzmalar altında semantik denk yapılarla ilgilidir. 5. ve 6. bölümlerde süzme (filtration) yöntemi ve sonlu model özelliği (finite model property) kullanılarak belirli modal lojiklerin tamlık (completeness) ve saptanabilirlik (decidability) karakterleri belirlendi.

Özet (Çeviri)

vn ABSTRACT ON THE EXTENSIONS OF MODAL LOGIC K KAYALIK, Melike MSc in Mathematics Department Supervisor: Prof. Dr. Mehmet TERZÎLER June 2003,45 pages In addition to Introduction and Preliminaries Chapters, the thesis consists essentially of four chapters. Chapter 3 describes some properties of the operations D and 0. Chapter 4 concerns with semantic equivalent structures under certain morphisms. In chapter 5 and 6, it is shown that some well-known modal logics are complete and decidable by using filtration and finite model property concepts.

Benzer Tezler

  1. Tez No

    202091

    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. Tez No

    162372

    Sivil lojistik sektörü ile K.K.K lığının lojistik sınıflarında görev alan personelin alması gereken optimum eğitim sistem ve modelinin tespiti

    The determination of optimum education system and model of logistics personnel working in civilian logistics sector and land forces

    TOLGA ÖZ

    Yüksek Lisans

    Türkçe

    Türkçe

    2005

    Eğitim ve ÖğretimEge Üniversitesi

    Eğitim Yönetimi, Teftişi, Planlaması ve Eko. Ana Bilim Dalı

    YRD. DOÇ. DR. HADİYE KÜÇÜKKARAGÖZ

  3. Tez No

    143774

    K. K. K. lığının tedarik faaliyetlerine yönelik birimlerinde görev yapan personelin tedarik sürecine ilişkin ve beklenti düzeylerinin tespiti

    Determination of the level of perception and expectation relating to acquisition process of the staff working al land forces commandership's acquisition units

    MEMDUH BEGENİRBAŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    2004

    Savunma ve Savunma TeknolojileriKara Harp Okulu Komutanlığı

    Teknoloji Yönetimi Ana Bilim Dalı

    DR. DOĞAN KARADOĞAN

  4. Tez No

    148569

    Uzaktan eğitim ve Kara Harp Okulu için bir model önerisi

    Distance education and a model for Land Force Academy (KHO)

    CİHAN ERCAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2004

    Eğitim ve ÖğretimYüzüncü Yıl Üniversitesi

    Eğitim Bilimleri Ana Bilim Dalı

    PROF.DR. NECMETTİN TOZLU

  5. Tez No

    150520

    Türk Deniz Kuvvetleri'nin ihtiyaçlarını karşılamada yerli gemi ve yan sanayiine yönelme: Yapılması gerekenler ve stratejik yararlar

    Inclining national naval conctruction and original equipment manufacture to cover the needs of Turkish Naval Forces Command: The needs and the strategic advantages

    SERHAT ÇELEBİOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    2004

    İşletmeİstanbul Üniversitesi

    Deniz İşletmeciliği Ana Bilim Dalı

    DOÇ.DR. NECMETTİN AKTEN

Geri Dön