Coalgebraic modal logic for Pw
Pw için kocebirsel modal mantık
- Tez No: 237123
- Danışmanlar: DOÇ. DR. ÇİĞDEM GENCER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Modal mantık, kocebir, bisimilasyon, dogal donusum, Modal logic, Coalgebra, Bisimulation, Predicate lifting
- Yıl: 2008
- Dil: İngilizce
- Üniversite: İstanbul Kültür Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik ve Bilgisayar Bilimleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Modal mantık bilgisayar biliminin pek cok alanında onemli bir yer tutmaktadırSon yıllarda kocebirler ve bunların bilgisayar bilmine uygulamaları ilgi cekmektedirçünkü kocebirlerin cesitli aktarım sistemlerini modelledikleri gosterilmistir. Evrenselcebir teoerisine dual olarak gelisen kocebir teorisi dogal olarak kategori teoriye dayalıdır.Bu nedenle bu tezde oncelikle modal mantıktan ve kategori teoriden temel bilgiler verilmistir.Sonra kocebirler tanıtılarak bunların temel ozellikleri ile bu ozelliklerin ispatları ve konununtemel ornekleri verilmistir. Son olarak modal operatorlerin yorumlanmasına olanak saglayandogal donüşümler tanıtılmış, ozelikleri ispatlanmış ve sonlu kuvvet funktoru V?' yatekabül eden kocebirsel mantık tanımlanmıstır.
Özet (Çeviri)
Modal logic plays an important role in many areas of computer science.In recent years coalgebras and their applications to computer sciencehave attracted a lot of attention because coalgebras have beenintroduced to model various types of transition systems. In this thesiswe study P!-coalgebras and coalgebraic modal logic corresponding tothis functor. This thesis begins with some preliminary definitions,examples and propositions about modal logic and category theory. Afterthe notion of coalgebra is introduced, some basic definitions, propertiesand examples about the subject is given. Then, the concept of predicatelifting is widely mentioned. Next, some propositions and theorems areproven on predicate liftings. Finally, the coalgebraic modal logiccorresponding to the finite power set functor is defined.
Benzer Tezler
- Hibrid adım motorunun modellenmesi ve simülasyonu
Modelling and simulation of hybrid stepping motors
AYLİN TÜLAY USTA
Yüksek Lisans
Türkçe
1991
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. TAMER KUTMAN
- Yer altında kömür gazlaştırma için teorik model geliştirilmesi ve deneysel çalışmalar ile sonuçların yorumlanması ve karşılaştırılması
Development of a mathematical model and experimental work and comments on the results for the underground coal gasification process
AHMET YILDIZ
- Yaş kemikler için elektromekanik bir model
An Electromechanical model for wet bones
M.TACETTİN ŞARIOĞLU
- Grupların örgülü çaprazlanmış modül kategorisinin cebirsel ve kategoriksel yapısı
Algebraic and categorical structure of categories of braided crossed modules of groups
GİZEM DERBENTAKAR KESER
Yüksek Lisans
Türkçe
2017
MatematikEskişehir Osmangazi ÜniversitesiMatematik ve Bilgisayar Bilimleri Ana Bilim Dalı
YRD. DOÇ. DR. UMMAHAN EGE ARSLAN
- Implementation of non-equilibrium johnson-king turbulence model in a navier-stokes solver
Dengede olmayan johnson-king türbülans modelinin bir navier stokes akım çözücüsünde uygulanması
BÜLENT KORKEM
Yüksek Lisans
İngilizce
1997
Astronomi ve Uzay BilimleriOrta Doğu Teknik ÜniversitesiHavacılık Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. MEHMET Ş. KAVSAOĞLU