Zaman lojiğindeki teoremlerin Lattice teorisinde yorumu
Comments of temporal logic theorems in the Lattice theory
- Tez No: 179530
- Danışmanlar: YRD. DOÇ. DR. MURAT ATMACA
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Kafesler, Matematiksel mantık, Lattices, Mathematical logic
- Yıl: 2008
- Dil: Türkçe
- Üniversite: Muğla Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu çalışmada Lattice teori ile zaman lojiği arasında nasıl bir geçiş olabileceğini araştırıldı. Lattice teori iki veya daha fazla nesne arasında yatay olmayan bir sıralama verirken zaman lojiği hem yatay hem de dikey sıralamaya izin vermektedir . Zaman lojiği ve lattice teorinin bu özelliklerinden yola çıkarak bir dönüşüm tanımlandı. Zaman lojiği operatörleri bu dönüşüme uygun olarak yeniden tanımlandı. Örneğin zaman lojiğindeki until ikili operatörü için denkliğini kuruldu. Zaman lojiğinde yatay sıralamada belirtilen teoremlerin bu dönüşüm ile lattice uzayında dikey sıralamada karşılığının olup olmadığını araştırıldı ve bazı teoremlerin iki uzayda farklı anlamlara sahip olduğunu görüldü. Örneğin zaman lojiğinde?(p q) ?p ?qİken aynı ifadenin latticedeifadesine denk olduğu ispatı ile belirtildi. Teoremler diğer bağlaçlar için de benzer şekilde ifade edildi. Sonuç olarak tanımlar ve teoremler yardımıyla zaman lojiğinde verilen bir ifadeye kafes teorisi ışığı altında nasıl anlamlar kazandırılabileceğini belirlendi.
Özet (Çeviri)
In this thesis, we have studied what sort of transition that is possible between the Lattice theory and temporal logic.Although lattice Theory gives an ordering betweeen two or more subjects which is not hortizonal; temporal logic gives permission to both hortizonal and vertical ordering.We have defined a new transformation from the features of temporal logic and lattice theory. We have predicated the operators in temporal logic once again for this transformation. For example in temporal logic, for until operator, we come out with this equation;In the temporal logic, we have researched whether there is reciprocity of the theorems that are defined on horizontal ordering for the vertical ordering on lattice space and we found out that some theorems have different meanings on two different spaces. For example in temporal logic;?(p q) ?p ?qand same expression in Lattice isequal to this statement. We have expressed these theorems in a congruent way to other conjunctions.
Benzer Tezler
- Lower-top and upper-bottom points for any formula in temporal logic
Zaman lojiğinde herhangi bir formül için alt-tepe ve üst-taban noktalar
ONUR BAYSAL
Yüksek Lisans
İngilizce
2006
Matematikİzmir Yüksek Teknoloji EnstitüsüMatematik Ana Bilim Dalı
PROF. DR. RAFAİL ALİZADE
YRD. DOÇ. DR. MURAT ATMACA
- Türkiye 1997-1998 1. Ligi futbol takımlarının performans analizleri
Performance analysis of first league football teams between 1997-1998 in Turkey
CELALETTİN DOĞAN
Yüksek Lisans
Türkçe
1998
SporSakarya ÜniversitesiBeden Eğitimi ve Spor Öğretmenliği Ana Bilim Dalı
DOÇ. DR. GÜL TİRYAKİ SÖNMEZ
- Kentsel toprak mülkiyetini üç boyutlu olarak benimseyen planlama-uygulama sürecinin sorunların çözümüne getirebileceği olanaklar
Başlık çevirisi yok
KAMUTAY TÜRKOĞLU
Doktora
Türkçe
1988
Şehircilik ve Bölge PlanlamaGazi ÜniversitesiŞehir ve Bölge Planlama Ana Bilim Dalı
DOÇ. DR. İBRAHİM BOYNUKALIN
- Moda faktörünün beş yıldızlı otel mimarisinde lobi iç mekan kimliği üzerindeki etkileri
Influences of the fashion on the five star hotel building's lobby designing and it's effects on design's identity
AYKUT ÇELİKÖZ
Yüksek Lisans
Türkçe
2001
İç Mimari ve DekorasyonMimar Sinan Güzel Sanatlar ÜniversitesiMimarlık Bölümü
PROF. DR. ONUR ALTAN