Tableaux approaches for region based theories of space
Uzayın bölgeye dayalı teorileri için tablo yaklaşımı
- Tez No: 436525
- Danışmanlar: PROF. DR. MERT ÇAĞLAR
- Tez Türü: Doktora
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2016
- Dil: İngilizce
- Üniversite: İstanbul Kültür Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Matematiğin Temelleri ve Matematiksel Lojik Bilim Dalı
- Sayfa Sayısı: 70
Özet
Uzayn bolgeye dayal teorilerini icin tablo yaklasmn inceledigimiz bu tez bes bolumden olusmaktadr. Tezin ilk ksmnda problemin tanm ve uygulanan yontemler verilmistir. Tezin ikinci ve ucuncu ksmnda uzayn bolgeye dayal teorisinin sentaks, semantik ve aksiyomatik ozellikleri tantlarak uzayn bolgeye dayal teorisi icin tablo kurallar verilmis ve tablo yonteminin temel kavramlar olan; baslangc tablosu, ack ve kapal tablo, dal, dugum kavramlar ifade edilerek tablo kurallarnn uygulamalar orneklerle ayrntl olarak acklanmstr. Tablo kurallarnn sonlanma ve saglamlk teoremleri ve kantlar verilmistir. Ayrca tablo kurallar icin tamlk teoreminin kantnda kullanlan sistematik tablo insa yontemi, dogruluk lemmas ve tamlk teoremleri ve ispatlar verilmistir. Ek olarak, uzayn bolgeye dayal teorisinin modellerini genisleterek simetrik, yansmal ve gecismeli olmas durumunda tablo kurallar tanmlanarak, sonlanma, saglamlk ve tamlk teoremlerinin kantnda kullanlan yardmc teoremler ve bu teoremlerin kantlar ayrntl olarak verilmistir. Tezin dorduncu ksmnda, bagntl mantklarn bir genislemesi olan evrensel modalite iceren bagntl mantklarn; sentaks, semantik ve aksiyomatik ozellikleri tantlarak, tablo kurallar verilmis ve uygulamalar orneklerle ayrntl olarak acklanmstr. Ardndan tablo kurallarnn sonlanma ve saglamlk teoremleri ve kantlar verilmistir. Ayrca tablo kurallar icin dogruluk lemmas ve tamlk teoreminin kantlar verilmistir. Besinci bolumde, bagntl mantklarn farkl bir semantigi olan reel say aralklar uzerindeki yorumu uzerine calslms ve bu baglamda; sentaks, semantik ve aksiyomatik ozellikleri tantlarak, tablo kurallar verilmis ve tablo kurallarnn uygulamalar orneklerle ayrntl olarak acklanmstr. Ek olarak, tablo kurallarnn sonlanma ve saglamlk teoremleri kantlar ile verilmistir. Ayrca tablo kurallar icin dogruluk lemmas ve tamlk teoreminin kant verilmistir.
Özet (Çeviri)
In this study, we examined tableaux approaches for region based theories of space. This thesis consists of ve chapters. In the rst chapter is devoted to statement of the problem, review of contents, methods applied. In Chapter 2 and Chapter 3, we introduce region based theories of space. In Chapter 2, we introduce historical background, syntax and semantics, axiomatization of the theory. In semantics subsection, we present relational semantics and topological semantics. Following sections continue with applications and de nability result in region based theories of space. In Chapter 3, we study tableau approaches for region based theories of space, we give basic de nitions about tableau approaches, we prove termination, soundness and completeness theorems. In last section of Chapter 3, we give tableaux rules for variants of region based theories of space. In its subsections, we prove soundness and completeness theorem for variants. In Chapter 4, we presents generalized contact logics. The rst section of Chapter 4 consists of syntax-semantics, de nability and axiomatizationn. The chapter continue with general tableau approaches for generalized contact logics. Section 4.4 and 4.3, consist of soundness-completeness theorems and proofs. In the end of Chapter 4, we give tableau rules for variants. And then we give soundness-completeness theorem and proofs. Chapter 6 is devoted to the study of interval semantics of contact logics and its tableau approaches. In particular, we give syntax and semantics. After that we present tableau rules for contact logics interpreted over intervals. The last two sections are about soundness and completeness theorems. We give proofs of these theorems.
Benzer Tezler
- La politique étrangère du Maroc sous le Roi Mohammed VI – face à l'affaire du Sahara: Intérêts internationaux et préoccupations de la politique interne discutés à partir de la théorie réaliste néoclassique
Kral 6. Muhammed döneminde Fas dış politikasında Sahra meselesinin neoklasik realist teoriye göre uluslararası çıkarlar ve iç politika meseleleri bakımından tartışılması
MUSTAFA BARLAS
Yüksek Lisans
Fransızca
2022
Uluslararası İlişkilerGalatasaray ÜniversitesiUluslararası İlişkiler Ana Bilim Dalı
PROF. DR. ERHAN BÜYÜKAKINCI
- Discussing social exclusion and inclusion from design perspective: The case of İzmir sea project
Tasarim perspektifinden sosyal dişlanma ve içerme tartişmasi: İzmir deniz projesi alan çalişmasi
MERVE AYTEN KILIÇ
Doktora
İngilizce
2023
Mimarlıkİzmir Yüksek Teknoloji EnstitüsüMimarlık Ana Bilim Dalı
PROF. ŞENİZ ÇIKIŞ
- Pruning algorithms for partially observable Markov decision processes
Kısmi gözlemlenebilir Markov karar süreçleri için budama algoritmaları
SELİM ÖZGEN
Doktora
İngilizce
2017
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. MÜBECCEL DEMİREKLER
- Romantik Dönemde piyano edebiyatında virtüozite arayışları ve getirilen yenilikler
The Research for virtuosity and new approaches in piano literature during the romantic era
BİRCE ARSLAN
Yüksek Lisans
Türkçe
2002
MüzikMimar Sinan Güzel Sanatlar ÜniversitesiMüzik Ana Sanat Dalı
PROF. HÜLYA TARCAN
- Fotoğraf sanatında kurgusal portre
Fictional portrait in art of photography
SEÇKİN TERCAN
Sanatta Yeterlik
Türkçe
2008
Güzel SanatlarMimar Sinan Güzel Sanatlar ÜniversitesiFotoğraf Ana Sanat Dalı
DOÇ. NİHAL KAFALI