Yaşar University | Curriculum Vitae

Prof. (PhD) Mehmet Terziler

Faculty of Science and Letters / Dept. of Mathematics

Short CV

After completing his undergraduate studies at the Faculty of Science.Clermont Ferrand (France) University, he completed Master and Ph.D. at the University of Clermont Ferrand and Ege University from the Mathematics Department. He started his academic career as assistant at the University of Ege and continued his academic career as Assistant professor and associated professor at the University of Ege. In 1996 he was appointted to the professorship at the University of Ege. He had administrative tasks which are head of dept and graduate school. He/She is currently working as a full-time academician at Faculty of Science and letters at Yaşar University.

  • Email mehmet.terziler@yasar.edu.tr  
  • Phone 0232-570 9220  

Education

Phd

MATEMATİK BÖLÜMÜ / EGE ÜNİVERSİTESİ
FEN FAKÜLTESİ/MATEMATİK BÖLÜMÜ/MATEMATİĞİN TEMELLERİ VE MATEMATİK LOJİK ANABİLİM DALI/
Thesis Name: Ilkel Yinelemeli Fonksiyonlar Uzerine Bir Araştırma (1980)
Thesis Advisor: Necdet San,Pierre François JURİE
1976 - 1980

Master

/ Universite Clermont Ferrand 1
1973 - 1976

Bachelor

/ Universite Clermont Ferrand 1
1969 - 1973

Academic Titles

Prof.

YAŞAR ÜNİVERSİTESİ / MATEMATİK BÖLÜMÜ
2008 -

Prof.

EGE ÜNİVERSİTESİ / MATEMATİK BÖLÜMÜ
1996 - 2008

Assoc.Prof.

EGE ÜNİVERSİTESİ / MATEMATİK BÖLÜMÜ
1989 - 1996

Asst.Prof.

EGE ÜNİVERSİTESİ / MATEMATİK BÖLÜMÜ
1985 - 1989

Thesis Superviser

Master Thesis
BERKEN SERTOĞLU An equivalent definition of lattice implication algebras Yaşar Üniversitesi 2019
BAHADIR ÇAMLI Boole cebirleri ve Boole homomorfizmaları Yaşar Üniversitesi 2016
OMEED ASAAD AZEEZ Orders, Alexandroff spaces and digraphs Yaşar Üniversitesi 2015
SHAHRAM SARAEI POUR Boole cebirleri ve regüler açık kümeler Yaşar Üniversitesi 2015
ÖZGÜR TOK Kafes idealleri Yaşar Üniversitesi 2014
NUR KAYANSELÇUK Kafeslerde türev Yaşar Üniversitesi 2014
UFUK ÇELİK Cebirsel yapılarda türev Yaşar Üniversitesi 2014
ADİL TARIK YILDIRIM Different semantics of modal logic Yaşar Üniversitesi 2013
EMEL AYDIN Riesz spaces of real continuous functions Yaşar Üniversitesi 2012
NAİLE TOPBAŞ Dinamik topolojik lojik Ege Üniversitesi 2008
MUSTAFA GÜLTEKİN Modal lojiğinin topolojik semantiğinde tanımlanabilirlik Ege Üniversitesi 2008
GÜLŞAH DARILMAZ Sahlqvist formülleri ve tamlık Ege Üniversitesi 2007
HÜLYA AYKAÇ Operatörlü kafesli modal lojik için dualite Ege Üniversitesi 2006
BERNİS ÖZGÖNÜL Modal lojik ve uygulamaları Ege Üniversitesi 2005
MELİKE KAYALIK K modal lojiğinin genişlemeleri üzerine Ege Üniversitesi 2003
AHMET HAMAL Sonlu doğurulmuş serbest heyting cebirleri Ege Üniversitesi 2001
TAHSİN ÖNER Niceleyicilerin elenmesi yöntemi üzerine Ege Üniversitesi 1995
HAYRETTİN KÖROĞLU Dağılmalı kafesler ve kongrüans bağıntıları Ege Üniversitesi 1989
PhD Thesis
SÜLEYMAN POLAT Normal olmayan modal lojikler ve semantikler Yaşar Üniversitesi 2019
GÜLŞAH ÖNER Önermesel modal dilinin farklı semantikleri Ege Üniversitesi 2012
AHMET HAMAL Uzaysal modal lojikler Ege Üniversitesi 2007
TAHSİN ÖNER Nonstandard lojikler için türetim kurallarının incelenmesi Ege Üniversitesi 1999
ÇİĞDEM GENCER Aritmetiğin nonstandart modelleri üzerine Ege Üniversitesi 1995

Publications

7.1 Published or Accepted to be Published in International Journals Covered by (SCI & SCI-E & SSCI & AHCI)
HAMAL AHMET,TERZİLER MEHMET Peritopological spaces and bisimulations Reports on Mathematical Logic, 50(), 67-81. (SCI-Expanded) 2015
Tahsin Öner, Mehmet Terziler Independence of Countable Sets of Formulas of the Propositional Logic ARS Combinatoria, 12(4), 73-80. (SCI-Expanded) 2013
Dalgin H, Haddad L, Terziler M On the additive group structure of the nonstandard models of the theory of integers MLQ Math. Log. Q, 48(3), 403-412. (SCI) 2002
Rybakov V, TerzilerM, Gencer C A basis in semi reduced form fort he admissible rules of the intuitionistic logic IPC Math. Log. Q., 46( 2), 207-218. (SCI) 2000
Guseinov G, Terziler M The eigenvalue problem for a matrix of a special form and its applications Linear Algebra Appl., 259(1), 329-346. (SCI) 1997
Gencer C, Terziler M On a question of Phillips Math.Logic Quart, 43(1), 78-82. (SCI) 1997
Gencer C, Terziler M On the Additive Group Structure of Nonstandard Models of Z Turkish J. Math., 20( 2), 179-183. (SCI) 1996
7.2 Published or accepted to be published in International journals covered by other indexes
Rybakov V, Terziler M, Rimatski V Description of a basis in a semi reduced form for inference rules of intionistic logic Algebra and Logic, 39(6), 412-422. Springer 2000
Rybakov V, Terziler M, Gencer C Unification and passive inference rules for modal logics J.A.Non-Classical Logics, 10( 3-4), 369-377. Endekste taranmıyor 2000
Rybakov V, Terziler M, Gencer C On self admissible quasicharacterizing inference rules Studia Logica, 65(3), 417-428. Springer 2000
Rybakov V, Kiyatkin V, Terziler M Independent bases for admissible rules in pretable logics Algebra and logic, 39( 2), 119-139. Springer 2000
Rybakov V, Terziler M, Gencer C An essay on unification and inference rules for modal logics Bull. Sect. Logic Univ., 28( 3), 145-157. Endekste taranmıyor 1999
RybakovV, Kiyatkin V, Terziler M Independent bases for admissible in pretabular logics Log. J. IGPL, 7(2), 253-266. Oxford Open 1999
Rybakov V, Terziler M, GencerC Description of self admissible quasi characterizing inference rules Bull. Sect. Logic Univ., 27(4), 164-172. Endekste taranmıyor 1998
TERZİLER MEHMET A Short Proof for Simplicity of the Filter Incompatible with Boolean Algebras Vareties in the Interpretability Lattice Doğa Math., 17( 3), 270-272. American Mathematical Society 1993
TERZİLER MEHMET La representation Booleienne via le calcul propositionnel French Boolean representation via propositional calculus International Nazim terzioglu syposium on MAthematics, 5(1), 245-252. Zentralblatt MATH 1982
7.4 Books & Book Chapters International
TERZİLER MEHMET,ÖNER TAHSİN,DALAN YILDIRIM ESRA,AYAR ÖZBAL ŞULE Mühendislik için Uygulamalı İstatistik ve Olasılık ( - ) Palme 2019
TERZİLER MEHMET,ÖNER TAHSİN,DALAN YILDIRIM ESRA,AYAR ÖZBAL ŞULE Mühendisler için Uygulamalı İstatistik ve Olasılık (Applied Statistics and Probability for Engineers) ( - ) Palme Yayınevi 2019
TERZİLER MEHMET,ÖNER TAHSİN,ÖNER GÜLŞAH İleri Mühendislik Matematiği ( - ) Palme Yayıncılık 2015
7.5 Published or Accepted to be Published in National Journals
Polat Süleyman,TERZİLER MEHMET Sezgisel Önermeler Lojiği için Semantikler BAUN Fen Bil. Enst. Dergisi, 20(2), 425-436. TR DİZİN 2018
TERZİLER MEHMET Sul la minimisation du numbre d axiomes pour les algebras booleinnes Ege U. Faculty of Science Journal, 1(1), 84-88. Üniversite Dergisi 1991
TERZİLER MEHMET Genelleştirilmiş Post Cebirleri Üzerine Ege University Faculty of Science Journal, 1(1), 197-207. Üniversitesi Dergisi 1990
TERZİLER MEHMET Une Recherche Sur Conctions Primitives Recursives Ege U.Faculty of Science Journal, 6(1), 47-54. Üniversite Dergisi 1983
TERZİLER MEHMET Yinelemeli İşlevler Ege U. Faculty of Science Journal, 4(1), 153-163. Üniversite Dergisi 1980
7.6 Published Conference Proceedings National
MEHMET TERZİLER SONSUZLUK VE TÜRLERİ () MANTIK, MATEMATİK, VE FELSEFE I. ULUSAL SEMPOZYUMU ASSOS ÇANAKKALE 2003
7.7 Other Publications
Others
TERZİLER MEHMET Soyut Cebire Giriş Palme Yayıncılık 2013
TERZİLER MEHMET Kalkülüs Palme Yayıncılık 2012
TERZİLER MEHMET Matematikçi Gibi Düşünmek Palme Yayınevi 2010
TERZİLER MEHMET Kanıt Nasıl Yapılır Palme Yayınevi 2010
TERZİLER MEHMET Matematiğin Kardinal Evreni Ege Üniversitesi 2006
TERZİLER MEHMET Kafes Teorisi Ege Üniversitesi Yayınları 2002
TERZİLER MEHMET Aksiyomatik Kümeler Kuramı Ege Üniversitesi Yayınları 1991
TERZİLER MEHMET Doğal Sayılardan Gerçel Sayılara Ege Üniversitesi Yayınları 1988

9. Administrative Duties

Enstitü Müdürü YAŞAR ÜNİVERSİTESİ

2010 - 2012

Fen Edebiyat Fakültesi Senatör Temsilcisi YAŞAR ÜNİVERSİTESİ

2009 -

Bölüm Bşk. YAŞAR ÜNİVERSİTESİ

2009 -

Bölüm Bşk. EGE ÜNİVERSİTESİ

2005 - 2008

Bölüm Başkan Yardımcısı EGE ÜNİVERSİTESİ

1995 - 2005

Anabilim Dalı Başkanı EGE ÜNİVERSİTESİ

1985 - 2009

10. Membership in Scientific and Professional Organizations

Türk Matematikçiler Derneği

1990 -

11. Awards

TÜBA Çeviri Eser 1. Ödülü

TÜRKİYE BİLİMLER AKADEMİSİ (TÜBA) / TÜRKİYE
2012

12. Son Dört Yılda Verilen Lisans ve Lisansüstü Düzeydeki Dersler

PRECALCULUS (2018-2019)

Weekly Hour : 4

MATH 230 COMPUTATİONAL METHODS FOR ENGİNEERİNG (2018-2019)

Weekly Hour : 4

MATHEMATİCS FOR LAW I (2018-2019)

Weekly Hour : 2

CALCULUS FOR BUSİNESS AND ECONOMİCS II (2018-2019)

Weekly Hour : 3

PRECALCULUS (2018-2019)

Weekly Hour : 4

MATHEMATİCS FOR LAW II (2018-2019)

Weekly Hour : 4

MATH 110 Precalculus (2017-2018)

Weekly Hour : 4

MATH 230 Computational Methods for Engineering (2017-2018)

Weekly Hour : 4

MATH 230 Computational Methods for Engineering (2017-2018)

Weekly Hour : 4

MATH 151 Mathematics for Law (2017-2018)

Weekly Hour : 2

MATH 110 Precalculus (2017-2018)

Weekly Hour : 4

Calculus for Business and Economics II (2017-2018)

Weekly Hour : 3

Precalculus (2017-2018)

Weekly Hour : 4

Mathematics for Law II (2017-2018)

Weekly Hour : 2

Universal Algebra II (2017-2018)

Weekly Hour : 3

UNİVERSAL ALGEBRA I (2016-2017)

Weekly Hour : 3

PRECALCULUS (2016-2017)

Weekly Hour : 4

SEMİNAR İN MATHEMATICS I (2016-2017)

Weekly Hour : 3

COMPUTATİONAL MATHEMATİCS I (2016-2017)

Weekly Hour : 4

PRECALCULUS (2016-2017)

Weekly Hour : 4

COMPUTATİONAL MATHEMATİCS II (2016-2017)

Weekly Hour : 4

MATH 402 GRADUATION PROJECT (2016-2017)

Weekly Hour : 3

Contact

Üniversite Cad. No: 37-39 Ağaçlı Yol
Bornova / İZMİR