Show simple item record

Dinamik topolojik sistemler üzerine

dc.contributor.advisorAlaca, Cihangir
dc.contributor.authorÜlker, Alper
dc.date.accessioned2021-05-08T11:10:20Z
dc.date.available2021-05-08T11:10:20Z
dc.date.submitted2010
dc.date.issued2018-08-06
dc.identifier.urihttps://acikbilim.yok.gov.tr/handle/20.500.12812/679701
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 .en_US
dc.languageTurkish
dc.language.isotr
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsAttribution 4.0 United Statestr_TR
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectMatematiktr_TR
dc.subjectMathematicsen_US
dc.titleDinamik topolojik sistemler üzerine
dc.title.alternativeOn dynamic topological systems
dc.typemasterThesis
dc.date.updated2018-08-06
dc.contributor.departmentMatematik Ana Bilim Dalı
dc.identifier.yokid385772
dc.publisher.instituteFen Bilimleri Enstitüsü
dc.publisher.universitySİNOP ÜNİVERSİTESİ
dc.identifier.thesisid275716
dc.description.pages50
dc.publisher.disciplineDiğer


Files in this item

Thumbnail
Name:
yokAcikBilim_385772.pdf
Size:
1.078Mb
Format:
PDF
Description:
File_385772
View/Open

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/openAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess