Show simple item record

Pw için kocebirsel modal mantık

dc.contributor.advisorÇiğdem Gencer
dc.contributor.authorSu, Ezgi Iraz
dc.date.accessioned2014-08-21T14:06:24Z
dc.date.available2014-08-21T14:06:24Z
dc.date.issued2008-06
dc.identifier.urihttp://hdl.handle.net/11413/591
dc.description.abstractModal mantık bilgisayar biliminin pek cok alanında onemli bir yer tutmaktadır Son yıllarda kocebirler ve bunların bilgisayar bilmine uygulamaları ilgi cekmektedir çünkü kocebirlerin cesitli aktarım sistemlerini modelledikleri gosterilmistir. Evrensel cebir 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 konunun temel ornekleri verilmistir. Son olarak modal operatorlerin yorumlanmasına olanak saglayan dogal donüşümler tanıtılmış, ozelikleri ispatlanmış ve sonlu kuvvet funktoru V?' ya tekabül eden kocebirsel mantık tanımlanmıstır. Anahtar Kelimeler: Modal mantık, kocebir, bisimilasyon, dogal donusumtr_TR
dc.description.abstractModal logic plays an important role in many areas of computer science. In recent years coalgebras and their applications to computer science have attracted a lot of attention because coalgebras have been introduced to model various types of transition systems. In this thesis we study P!-coalgebras and coalgebraic modal logic corresponding to this functor. This thesis begins with some preliminary definitions, examples and propositions about modal logic and category theory. After the notion of coalgebra is introduced, some basic definitions, properties and examples about the subject is given. Then, the concept of predicate lifting is widely mentioned. Next, some propositions and theorems are proven on predicate liftings. Finally, the coalgebraic modal logic corresponding to the finite power set functor is defined. Keywords: Modal logic, Coalgebra, Bisimulation, Predicate lifting
dc.language.isoen_UStr_TR
dc.publisherİstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalıtr_TR
dc.subjectmatematiktr_TR
dc.subjectmathematicstr_TR
dc.titleCoalgebraic modal logic for Pwtr_TR
dc.titlePw için kocebirsel modal mantık
dc.typeThesistr_TR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record