Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program

Permanent URI for this collectionhttps://hdl.handle.net/11413/4941

Browse

Browsing Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program by Language "en_US"

Filter results by typing the first few letters
Now showing 1 - 5 of 5
  • Thumbnail Image
    PublicationOpen Access
    Coalgebraic modal logic for Pw
    (İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalı, 2008-06) Su, Ezgi Iraz; Çiğdem Gencer
    Modal 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 donusum
  • Thumbnail Image
    PublicationOpen Access
    Multi-norms
    (İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik ve Bilgisayar Bilimleri Anabilim Dalı, 2010-06) TÜRER, MEHMET SELÇUK; Mert Çağlar
    Eldeki cal ışmada H. G. Dales ve M. E. Polyakov tarafı ndan geli ştirilen " cok-normlu uzaylar" ile ilgilenilmektedir. Bu tezin as ıl amacı , Banach org ulerinin direkt toplam ayrışı s mlar ı hakk nda H. G. Dales taraf ından verilen a cçık bir problem uzerine cal ışmaktı r. I kapalı birim aral ık olmak üzere, Lp(I) Banach örg üs ü i çin problemin çözümü verilmi ştir.
  • Thumbnail Image
    PublicationOpen Access
    Positive operators on banach lattices
    (İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalı, 2007-06) Çavuşoğlu, Özlem; Mert Çağlar
    Eldeki çalışmada pozitif (negatif-olmayan) operatörlerle; özel olarak bir matris operatörünün pozitif olma koşulları ile ilgilenilmektedir. Burada yapılmaya çalışılan bir Banach uzayı üzerinde tanımlanan bir operatörün bir baza göre pozitif olabilmesi için gerekli kriterler elde ederek invaryant alt-uzay problemi'ne kısmi bir yanıt bulabilmektir. Anahtar Kelimeler : ?Invaryant alt-uzay, Banach örgüsü, pozitif operatör, baz değişimi
  • No Thumbnail Available
    PublicationMetadata only
    Tableaux approaches for region based theories of space
    (İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Anabilim Dalı / Matematiğin Temelleri ve Matematiksel Lojik Bilim Dalı, 2016-09) Özdemir, Zafer; Çağlar, Mert
    Uzay n b olgeye dayal teorilerini i cin tablo yakla s m n inceledi gimiz bu tez be s b ol umden olu smaktad r. Tezin ilk k sm nda problemin tan m ve uygulanan y ontemler verilmi stir. Tezin ikinci ve u c unc u k sm nda uzay n b olgeye dayal teorisinin sentaks, semantik ve aksiyomatik ozellikleri tan t larak uzay n b olgeye dayal teorisi i cin tablo kurallar verilmi s ve tablo y onteminin temel kavramlar olan; ba slang c tablosu, a c k ve kapal tablo, dal, d u g um kavramlar ifade edilerek tablo kurallar n n uygulamalar orneklerle ayr nt l olarak a c klanm st r. Tablo kurallar n n sonlanma ve sa glaml k teoremleri ve kan tlar verilmi stir. Ayr ca tablo kurallar i cin taml k teoreminin kan t nda kullan lan sistematik tablo in sa y ontemi, do gruluk lemmas ve taml k teoremleri ve ispat lar verilmi stir. Ek olarak, uzay n b olgeye dayal teorisinin modellerini geni sleterek simetrik, yans mal ve ge ci smeli olmas durumunda tablo kurallar tan mlanarak, sonlanma, sa glaml k ve taml k teoremlerinin kan t nda kullan lan yard mc teoremler ve bu teoremlerin kan tlar ayr nt l olarak verilmi stir. Tezin d ord unc u k sm nda, ba g nt l mant klar n bir geni slemesi olan evrensel modalite i ceren ba g nt l mant klar n; sentaks, semantik ve aksiyomatik ozellikleri tan t larak, tablo kurallar verilmi s ve uygulamalar orneklerle ayr nt l olarak a c klanm st r. Ard ndan tablo kurallar n n sonlanma ve sa glaml k teoremleri ve kan tlar verilmi stir. Ayr ca tablo kurallar i cin do gruluk lemmas ve taml k teoreminin kan tlar verilmi stir. Be sinci b ol umde, ba g nt l mant klar n farkl bir semanti gi olan reel say aral klar uzerindeki yorumu uzerine cal s lm s ve bu ba glamda; sentaks, semantik ve aksiyomatik ozellikleri tan t larak, tablo kurallar verilmi s ve tablo kurallar n n uygulamalar orneklerle ayr nt l olarak a c klanm st r. Ek olarak, tablo kurallar n n sonlanma ve sa glaml k teoremleri kan tlar ile verilmi stir. Ayr ca tablo kurallar i cin do gruluk lemmas ve taml k teoreminin kan t verilmi stir.
  • Thumbnail Image
    PublicationOpen Access
    Tax system and database design in Libya
    (İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik ve Bilgisayar Bilimleri Anabilim Dalı, 2006) Alatrest, Emhimed S. A.; Çağlar, Hikmet
    The taxation system is considered one of the bases of any financial system all over the world. The tax is defined as (the amount of money that government earns obligatory through one of the general departments according to approved legal laws. Then it is apparent that tax is considered a financial tool through which earnings are transferred forming the private use to public usage, as it is the tool that extract a portion of individuals’ incomes or wealth, and transfer it to the governmental budget in order to accomplish its financial, economical and social objectives. The first taxation law in Libya has appeared in the Turkish era (Ottoman) as there were taxes earned on agricultural corps and commercial activities. These taxes are paid to the government in a form of gifts or donations presented by the individuals to the governing authority started to demand it by itself from the individuals whenever the government goes through economical crises and natural disasters and wars. Then tax has become regularly paid on constant bases, and then this elective contribution has been converted into a national duty which the society imposes through the government representing it. Thus individuals has become obliged to pay part of their incomes or wealth as their contribution to undertake governmental burden, and the obligation element in this stage requires the approval of the donors to pay the tax, but it was the government that imposed it by its open choice and bond its payers, then tax is not imposed any further, but it is demanded according to laws issued by the legislative authority representing the people which is supposed to authorize this government to impose taxes , that is what is called the consent principle , wasn’t but a game played by the governors and this tax 2 system has continued till 1968 and is considered the first integrated tax system applied in Libya till AlFATEH revolution . For the year 1973 . Subjected to judicial control on constitutionality of laws, which is still valid till the present time, with the addition of some amendments from time to time on this law in order to satisfy people’s need.