Geri Dön

Coalgebraic modal logic for Pw

Pw için kocebirsel modal mantık

  1. Tez No: 237123
  2. Yazar: EZGİ IRAZ SU
  3. Danışmanlar: DOÇ. DR. ÇİĞDEM GENCER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Modal mantık, kocebir, bisimilasyon, dogal donusum, Modal logic, Coalgebra, Bisimulation, Predicate lifting
  7. Yıl: 2008
  8. Dil: İngilizce
  9. Üniversite: İstanbul Kültür Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik ve Bilgisayar Bilimleri Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 90

Ö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

  1. Hom-Lie-Hopf cebirler

    Hom-Lie-Hopf algebras

    ADNAN KARATAŞ

    Doktora

    Türkçe

    Türkçe

    2020

    MatematikPamukkale Üniversitesi

    Matematik Ana Bilim Dalı

    DOÇ. DR. SERPİL HALICI

  2. Incidence algebras and coalgebras

    Çakışma cebirleri ve ko-cebirler

    SERKAN SÜTLÜ

    Yüksek Lisans

    İngilizce

    İngilizce

    2007

    MatematikBoğaziçi Üniversitesi

    Matematik Ana Bilim Dalı

    Y.DOÇ.DR. MÜGE KANUNİ

  3. Değişmeli cebirler ve kocebirler için Hopkins-Levitzki teoremi

    Hopkins-Levitzki theorem in commutative algebra and coalgebra

    AYŞE DENİZ GÖZEN

    Yüksek Lisans

    Türkçe

    Türkçe

    2013

    MatematikBahçeşehir Üniversitesi

    Matematik Ana Bilim Dalı

    DOÇ. DR. ATABEY KAYGUN

  4. Antimetrik yüklü sığ küresel kabukların geometrik doğrusal olmayan analizi

    The geometrically nonlinear analysis of antimetrically loaded shallow spherical shells

    MURAT ALTEKİN

    Doktora

    Türkçe

    Türkçe

    2005

    MatematikYıldız Teknik Üniversitesi

    İnşaat Mühendisliği Ana Bilim Dalı

    PROF. DR. FARUK YÜKSELER