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: Belirtilmemiş.
- 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ı: 72
Ö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
- 2016-2017 sezonunda Türkiye süper ligindeki takımların başarı sıralamasına göre koşu mesafelerinin incelenmesi
Examining the running distances of the teams in the Turkish super league in the 2016-2017 season according to the ranking of success
TEZCAN SAYAR
Doktora
Türkçe
2021
SporManisa Celal Bayar ÜniversitesiAntrenman ve Hareket Ana Bilim Dalı
PROF. DR. FATİH ÇATIKKAŞ
- 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
- 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
- Futbolcuların aerobik-anaerobik eşik seviyelerinin, Edirnespor, Kırklarelispor, Trakya Üniversitesi futbol takımlarında ölçülmesi ve saha uygulamaları
An Investigation and field application on aerobic threshold levels in the football clubs, football players of Edirnespor, Kırklarelispor and Trakya University
AKIN DEMİR
Yüksek Lisans
Türkçe
1999
SporTrakya ÜniversitesiBeden Eğitimi ve Spor Ana Bilim Dalı
YRD. DOÇ. DR. İLHAN TOKSÖZ