Dinamik topolojik sistemler üzerine
2010
0 views
0 downloads
Advisor: Yrd. Doç. Dr. Cihangir Alaca
Abstract (TR)
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.
Author
Dr. Alper Ülker
How to Cite
Alper Ülker (Yüksek Lisans Tezi). Dinamik topolojik sistemler üzerine, 2010, Sinop University.
Keywords
License
Tüm Hakları Saklıdır
This work is shared under the specified license terms.
More theses from Sinop University
- Nil tilapiyası (Oreochromis niloticus) yemlerinde unkurdu (Tenebrio molitor) larva ununun kullanımı(2025)
- Deniz anemonlarının genel özellikleri ve Actinia equina türünün kültüre alınması(2016)
- Genelleştirilmiş yarı mükemmel halkalar(2016)
- Sinop ili tatlısularından Scenedesmus spp. izolasyonu ve laboratuvar şartlarında üretiminin araştırılması(2016)
- 1932-1990 yılları arasında Sinop'ta meydana gelen suç olayları ve diğer önemli olaylar(2016)
- Karasu çayı ve Sırakaraağaçlar deresinde nütrient ve anyonik deterjan kirliliğinin araştırılması(2016)