Terziler, Mehmet
Loading...
Name Variants
Job Title
Prof.Dr.
Email Address
Main Affiliation
01.01.02.02. Matematik Bölümü
Status
Former Staff
Website
ORCID ID
Scopus Author ID
Turkish CoHE Profile ID
Google Scholar ID
WoS Researcher ID
Sustainable Development Goals
1NO POVERTY
0
Research Products
2ZERO HUNGER
0
Research Products
3GOOD HEALTH AND WELL-BEING
1
Research Products
4QUALITY EDUCATION
0
Research Products
5GENDER EQUALITY
0
Research Products
6CLEAN WATER AND SANITATION
0
Research Products
7AFFORDABLE AND CLEAN ENERGY
0
Research Products
8DECENT WORK AND ECONOMIC GROWTH
0
Research Products
9INDUSTRY, INNOVATION AND INFRASTRUCTURE
0
Research Products
10REDUCED INEQUALITIES
0
Research Products
11SUSTAINABLE CITIES AND COMMUNITIES
0
Research Products
12RESPONSIBLE CONSUMPTION AND PRODUCTION
0
Research Products
13CLIMATE ACTION
0
Research Products
14LIFE BELOW WATER
0
Research Products
15LIFE ON LAND
0
Research Products
16PEACE, JUSTICE AND STRONG INSTITUTIONS
0
Research Products
17PARTNERSHIPS FOR THE GOALS
0
Research Products
Documents
14
Citations
95
h-index
4
Documents
7
Citations
56
Scholarly Output
15
Articles
5
Views / Downloads
0/0
Supervised MSc Theses
9
Supervised PhD Theses
1
WoS Citation Count
24
Scopus Citation Count
30
Patents
0
Projects
0
WoS Citations per Publication
1.60
Scopus Citations per Publication
2.00
Open Access Source
3
Supervised Theses
10
| Journal | Count |
|---|---|
| Analele Universitatii "Ovidius" Constanta - Seria Matematica | 1 |
| Ars Combinatoria | 1 |
| Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi | 1 |
| Sci | 1 |
Current Page: 1 / 1
Scopus Quartile Distribution
Quartile distribution chart data is not available
Competency Cloud
15 results
Scholarly Output Search Results
Now showing 1 - 10 of 15
Master Thesis Gerçel sürekli fonksiyonların riesz uzayı(2012) Aydın, Emel; Terziler, Mehmet; Ercan, ZaferThis thesis contains four chapters. The first three chapters contain some basic results of the Riesz Spaces Theory and some results which are necessary for the last main chapter.The aim of the last chapter: One of the main example of Riesz spaces are C(X)-spaces, namely the space of real valued continuous functions on a topological space X. It is well known that a uniformly complete Riesz space can be represented as C(X)-space for some compact Hausdorff space if the Riesz space has an order unit. This is known as Kakutani Representation Theorem. In the last chapter, Kakutani Representation Theorem is generalized, via the paper Montalvo, F., Pulgarin, A., Requejo, B. (2006). Riesz spaces of real continuous functions.Mainly, it will be shown that under certain conditions a Riesz space can be represented as C(X)-space for some topological space X, which is not necessarily compact.Master Thesis Kafes implikasyon cebirlerinin denk bir tanımı(2019) Sertoğlu, Berken; Terziler, MehmetBU TEZDE AKSİYOMLARIN SAYISINI İNDİRGEYEREK BİR KAFES İMPLİKASYON CEBİRİNİN DENK BİR TANIMINI VERİYORUZ VE BU ŞEKİLDE BİR LIA'NIN HER ZAMAN KABUL GÖREN TANIMINI ÖNEMLİ ÖLÇÜDE SADELEŞTİRDİĞİMİZİ DÜŞÜNÜYORUZ.Doctoral Thesis Non-Normal Modal Logics and Semantics(2019) Polat, Süleyman; Terziler, MehmetNORMAL OLMAYAN MODAL LOJİKLER VE SEMANTİKLER Polat, Süleyman Doktora Tezi, Matematik Danışman: Prof. Dr. Mehmet TERZİLER Bu tezde; temel modal önermesel dil baz alınarak normal ve normal olmayan modal lojikler üzerine yapılan çalışmalar ayrıntılı kanıtlarla gözden geçirilmiştir. Bu lojikler için tanımlanan bağıntısal, topolojik, komşuluk ve cebirsel semantikler tezin son bölümünde karşılaştırılmış ve aşağıdaki sonuçlar elde edilmiştir: •Bağıntısal semantik komşuluk semantiğinin bir alt semantiğidir. •Komşuluk semantiği cebirsel semantiğin bir alt semantiğidir. •Her cebirsel(dolayısıyla her komşuluk, her bağıntısal) çatı klasiktir. 'Bağıntısal çatılar (a izomorf) olmayan normal komşuluk çatılarının olup olmadığı ve varsa bağıntısal çatılar (a izomorf) olan komşuluk çatılarının nasıl karakterize edildiği' sorusuna sırasıyla 𝙚𝙨𝙖𝙨 𝙨𝙪̈𝙯𝙜𝙚ç ve 𝙖𝙩𝙤𝙢𝙡𝙪 𝘽𝙤𝙤𝙡𝙚 𝙘𝙚𝙗𝙞𝙧𝙞 kavramları kullanılarak yanıt verilmiştir. Ayrıca Sezgisel Önermeler Lojiği (IPL) için Kripke semantiği, Heyting semantiği ve Topolojik semantiği sunuluyor.IPL'nin bu semantiklere göre sağlam ve tam olduğu gösteriliyor. 𝘼𝙣𝙖𝙝𝙩𝙖𝙧 𝙨𝙤̈𝙯𝙘𝙪̈𝙠𝙡𝙚𝙧: Normal Lojikler, Normal Olmayan Lojikler, Bağıntısal Lojikler, Topolojik, Komşuluk, Cebirsel Semantikler, Tamlık, Tanımlanabilirlik, Alt SemantikMaster Thesis Orders, Alexandroff Spaces and Digraphs(2015) Azeez, Omeed Asaad; Terziler, MehmetThis thesis mainly deals with Alexandroff spaces which are related to some concepts like preorders, graphs and digraphs. The first chapter gives some basic notions about topology, order and minimal open sets, which are used in the next chapter. In the second chapter, Alexandroff spaces are defined by using minimal open sets, and definitions of preorder, partial order as well as their connection with the main subject(Alexandroff spaces) and T0-Alexandroff spaces are given. Then some new spaces such as the product of two Alexandroff spaces and Hausdorff Alexandroff spaces are constructed, and the definitions of a quotient map and quotient space and irreduicibility are given. The last chapter discusses notions about graphs and relates them to topology and Alexandroff spaces; the definitions of digraph and transitive digraph are introduced, and relation between these and Alexandroff spaces is considered.Master Thesis Kafes idealleri(2014) Tok, Özgür; Terziler, MehmetBu tez üç bölümden oluşuyor. Birinci bölümde;kısmi sıralı kümeler,kafes ve türleri ile ilgili temel kavram ve sonuçlar tanıtılıyor. İkinci bölümde;dağılmalı bir kafesin bir idealinin 0-ideali olması için yeter koşullar türetiliyor.Her 0-idealinin bir sıfırlayıcı ideal olması için bazı denk koşullar kanıtlanıyor.Dağılmalı bir kafesin asal 0-idealleri ve minimal asal idealleri arasında bir denklik elde ediliyor. Üçüncü bölümde;dağılmalı kafeslerin bir genellemesi olan 0-dağılmalı kafeslerin alfa-idealleri ve sıfırlayıcı idealleri ele alınıyor.Article Citation - Scopus: 3Mathematics and Poetry · Yang–Baxter Equations Boolean Algebras and BCK-Algebras(MDPI, 2022) Tugce Kalkan; Florin Felix Nichita; Tahsi̊n Öner; Ibrahim Senturk; Mehmet Terziler; Nichita, Florin F.; Terziler, Mehmet; Kalkan, Tugce; Oner, Tahsin; Senturk, IbrahimThe current paper explores the potential of the areas between mathematics and poetry. We will first recall some definitions and results that are needed to construct solutions of the Yang–Baxter equation. A new duality principle is presented and Boolean coalgebras are introduced. A section on poetry dedicated to the Yang–Baxter equation is presented and a discussion on a poem related to a mathematical formula follows. The final section presents our conclusions and further information on these topics. © 2022 Elsevier B.V. All rights reserved.Article Citation - WoS: 2Citation - Scopus: 2INDEPENDENCE OF COUNTABLE SETS OF FORMULAS OF THE PROPOSITIONAL LOGIC(CHARLES BABBAGE RES CTR, 2013) Tahsin Oner; Mehmet Terziler; Oner, Tahsin; Terziler, MehmetIn this paper we prove that every countable set of formulas of the propositional logic has at least one equivalent independent subset. We illustrate the situation by considering axioms for Boolean algebras, the proof of independence we give uses model forming.Master Thesis Modal lojiğin farklı semantikleri(2013) Yıldırım, Adil Tarık; Terziler, MehmetThis thesis consists of three chapters. In the first chapter, relational or Kripke semantics of the basic modal logic is studied. For well-known and basic logics such as S4 the soundness and completeness theorems are proved. In the second chapter, topological semantics and definability of certain logics are analysed. Our two basic modal operators 'box' and 'diamond' are interpreted as the topological interior and closure, respectively. The well-known result of McKinsey-Tarski that S4 is complete with respect to topological semantics is proved via modern approach. With this semantics, certain topological spaces are defined. In the third and last chapter, we deal with the neighborhood semantics that generalizes all the other modal semantics. All that is known valid with respect to Kripke or Topological semantics may not be so under this semantics. We give examples and results showing that this is indeed a general semantics.Article Sezgisel önermeler lojiği için semantikler(2018) MEHMET TERZİLER; Süleyman POLAT; Terziler, Mehmet; Polat, SüleymanBu çalışmada Sezgisel Önermeler Lojiği (IPL) için üç semantik sunuyoruz, yani Kripke semantiği Heyting semantiği ve topolojik semantik. IPL’nin bu semantiklere göre sağlam ve tam olduğunu gösteriyoruz.Master Thesis Kafeslerde türev(2014) Kayanselçuk, Nur; Terziler, MehmetBu tez esas olarak iki bölümden oluşuyor. Birinci bölümde; kafeslerle ilgili temel kavramlar tanıtıldıktan sonra kafesin iki farklı tanımının denkliği gösteriliyor. Literatürde yer alan sonuçlardan önemli olanların kanıtları veriliyor. İkinci bölümde; kafeslerde türev kavramı bol örneklerle tanıtılıyor ve monoton (ya da izoton) türev aracılığıyla Birkhoff' un 3 5 M N kafesleri için ifade ettiği karakterizasyon teoremine türevsel bir betimleme veriliyor. Bunun için özellikle [12] ve [13] kaynaklarından yararlanılıyor.
