Dinamik topolojik sistemler üzerine

Basit Öğe Kaydı
dc.contributor.advisorAlaca, Cihangir
dc.contributor.authorÜlker, Alper
dc.date.accessioned2025-03-23T19:01:51Z
dc.date.available2025-03-23T19:01:51Z
dc.date.issued2010
dc.departmentEnstitüler, Lisansüstü Eğitim Enstitüsü, Fen Bilimleri Enstitüsü, Matematik Ana Bilim Dalı
dc.description.abstractBu 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.
dc.description.abstractIn 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 .
dc.identifier.endpage50
dc.identifier.startpage1
dc.identifier.urihttps://tez.yok.gov.tr/UlusalTezMerkezi/TezGoster?key=veR1mHu9yoWjwcVUjCEoPKdM5QyQFvVNFZz31JuPrR83D6uJ6uSP4cPxv5Ah7sTO
dc.identifier.urihttps://hdl.handle.net/11486/2665
dc.identifier.yoktezid275716
dc.institutionauthorÜlker, Alper
dc.language.isotr
dc.publisherSinop Üniversitesi
dc.relation.publicationcategoryTez
dc.rightsinfo:eu-repo/semantics/openAccess
dc.snmzKA_TEZ_20250323
dc.subjectMatematik
dc.subjectMathematics
dc.titleDinamik topolojik sistemler üzerine
dc.title.alternativeOn dynamic topological systems
dc.typeMaster Thesis

Dosyalar

Koleksiyon

Tez Koleksiyonu