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ı: Belirtilmemiş.
Ö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
- Dirac systems in terms of the berry gauge fields and effective field theory of a topological insulator
Berry ayar alanları cinsinden dirac sistemleri ve bir topolojik yalıtkanın etkin alan kuramı
ELİF YUNT
Doktora
İngilizce
2014
Fizik ve Fizik Mühendisliğiİstanbul Teknik ÜniversitesiFizik Mühendisliği Ana Bilim Dalı
PROF. DR. ÖMER FARUK DAYI
- 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
MikrobiyolojiBoğaziçi ÜniversitesiKimya Mühendisliği Ana Bilim Dalı
PROF. DR. KUTLU ÜLGEN
- Richardson solution for the spin-orbit coupled fermi gas
Spin-momentum bağlı fermi gazlarında Richardson çözümü
BUĞRA TÜZEMEN
Yüksek Lisans
İngilizce
2015
Fizik ve Fizik Mühendisliğiİstanbul Teknik ÜniversitesiFizik Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. AHMET LEVENT SUBAŞI
- İki boyutlu kaotik sistem üretecinin geliştirilmesi ve blok tabanlı görüntü şifreleme algoritmasının tasarımı
The development of a two-dimensional chaotic system generator and the design of a block-based image encryption algorithm
ÖMER KOÇAK
Doktora
Türkçe
2026
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKonya Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. İSMAİL BABAOĞLU
DOÇ. DR. UĞUR ERKAN