Yaşar Üniversitesi | Akademik Özgeçmiş

Prof.Dr. Mehmet Terziler

Fen Edebiyat Fakültesi / Matematik Bölümü

Kısa Özgeçmiş

Clermon Ferrand (Fransa) Üniversitesi Fen Fakültesi’nde Lisans eğitimini tamamladıktan sonra, Clermont Ferrand Üniversitesi Matematik Bölümü’nde Yüksek Lisans ve Ege Üniversitesinde Doktora eğitimlerini tamamlamıştır. Ege Üniversitesi’nde assistan olarak başladığı akademik görevine, Ege Üniversitesi’nde daha sonra Yrd.Doçent ve Doçent kadrosuna atanmasıyla devam etmiştir. 1996 yılında Ege Üniversitesi’nde Profesörlüğe atanmıştır. Sırasıyla Ege ve Yaşar Üniversiteleri’ nde bölüm başkanlıkları ve Fen Bilimleri Enstitüsü Müdürlüğü idari görevleri olmuştur. Halen Yaşar Üniversitesi Fen EdebiyatFakültesi’ nde öğretim üyesi olarak tam zamanlı çalışmaktadır.

  • Eposta mehmet.terziler@yasar.edu.tr  
  • Telefon 0232-570 9220  

Öğrenim Bilgisi

Doktora

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/
Tez Adı: Ilkel Yinelemeli Fonksiyonlar Uzerine Bir Araştırma (1980)
Tez Danışmanı: Necdet San,Pierre François JURİE
1976 - 1980

Yüksek Lisans

/ Universite Clermont Ferrand 1
1973 - 1976

Lisans

/ Universite Clermont Ferrand 1
1969 - 1973

Akademik Ünvanlar

PROFESÖR

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

PROFESÖR

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

DOÇENT

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

YARDIMCI DOÇENT

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

Yönetilen Yüksek Lisans ve Doktora Tezleri

Yüksek Lisans Tezleri
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
Doktora Tezleri
GÜLŞAH ÖNER Önermesel modal dilinin farklı semantikleri Ege Üniversitesi 1989
AHMET HAMAL Uzaysal modal lojikler Ege Üniversitesi 1989
TAHSİN ÖNER Nonstandard lojikler için türetim kurallarının incelenmesi Ege Üniversitesi 1989
ÇİĞDEM GENCER Aritmetiğin nonstandart modelleri üzerine Ege Üniversitesi 1989

Yayınlar

7.1 Uluslararası Hakemli Dergilerde Yayınlanan Makaleler (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 Uluslararası Diğer Hakemli Dergilerde Yayınlanan Makaleler
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.5 Ulusal Hakemli Dergilerde Yayınlanan Makaleler
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 Ulusal Bilimsel Toplantılarda Sunulan ve Bildiri Kitabında Basılan Bildiriler
MEHMET TERZİLER SONSUZLUK VE TÜRLERİ MANTIK, MATEMATİK, VE FELSEFE I. ULUSAL SEMPOZYUMU ASSOS ÇANAKKALE 2003
7.7 Diğer Yayınlar
Diğerleri
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. İdari Görevler

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. Bilimsel ve Mesleki Kuruluşlara Üyelikler

Türk Matematikçiler Derneği

1990 -

11. Ödüller

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

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

İletişim

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