Dinamik topolojik sistemler üzerine
On dynamic topological systems
- Tez No: 275716
- Danışmanlar: YRD. DOÇ. DR. CİHANGİR ALACA
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2010
- Dil: Türkçe
- Üniversite: Sinop Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 50
Özet
Bu tez çalışmasında, S4 lojiğinin Kripke semantikleri üzerinde durulup, topolojik anlamda tanımlanabilirliği, sağlamlığı ve tamlığı gösterilmiştir. Ayrıca sürekli fonksiyonlar yardımıyla ve temporal modaliteler ile oluşturulan S4C ve S4-next lojikleri tanıtılarak S4 sisteminin durağan lojiğinden dinamik S4C ve S4-next lojiklerinin nasıl oluşturulduğu incelenmiştir.
Özet (Çeviri)
In this thesis, definability, soundness and completeness were showed with topological interpretations of S4 logic. Moreover S4C and S4-next logics which are built by continuous functions and temporal modalities has been given. So the statical logic S4 has enriched to the dynamic logic S4C and S4-next .
Benzer Tezler
- Deforme çadır dönüşümleri üzerindeki dinamik sistemlerin incelenmesi
Investigation of the dynamical systems on deformed tent map
DAMLA AYDOĞDU
Yüksek Lisans
Türkçe
2022
MatematikEskişehir Teknik ÜniversitesiMatematik Ana Bilim Dalı
DOÇ. DR. MUSTAFA SALTAN
- Sembolik dinamik sistemleri ve kodlama teorisi üzerine
Başlık çevirisi yok
HASAN AKIN
Doktora
Türkçe
1998
MatematikYüzüncü Yıl ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. ABDURRRAHİM YILMAZ
- Dağıtık sistemler için ada uydu görüntülerinin vektörel modellenmesi ve zaman-mekânsal analizi
Vector modeling of island satellite images for distributed systems and spatio-temporal analysis
SÜLEYMAN EKEN
Yüksek Lisans
Türkçe
2012
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKocaeli ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. AHMET SAYAR
- Structural and dynamical evolution of nanocrystals
Nanokristallerin yapısal ve dinamik gelişimi
CAN YILDIRIM
Yüksek Lisans
İngilizce
2013
Metalurji MühendisliğiOrta Doğu Teknik ÜniversitesiMetalurji ve Malzeme Mühendisliği Ana Bilim Dalı
YRD. DOÇ. YUNUS EREN KALAY
- Investigation of aging (Chronological Life Span) in S. cerevisiae by systems biology approaches
Mayada (S. cerevisiae) yaşlanma mekanizmasının (Kronolojik Yaşam Süresinin) sistem biyolojisi yaklaşımıyla incelenmesi
ESRA BÖRKLÜ YÜCEL
Doktora
İngilizce
2013
BiyomühendislikBoğaziçi ÜniversitesiKimya Mühendisliği Ana Bilim Dalı
PROF. DR. KUTLU ÜLGEN