logo

virtual-ture

تصاویر 360 درجه

internet

اکانت اینترنت

cloud-computing

مرکز محاسبات ابری

refrences

پایگاه های اطلاعاتی

email

پست الکترونیک

edu

سامانه دانشگاهی

 

{Arakut} {Gallery}

 

دکتر کریم خانکی

مرتبه علمی : استاديار (استادیار گروه علوم پایه)

گرایش : منطق ریاضی

پست الکترونیکی : این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

شماره تلفن:  33400-086

This page is also available in English

 

 

 

 

 

 

 

 

 

 

 

 

{Arakut} {Gallery}

 

دکتر کریم خانکی

مرتبه علمی : استاديار (استادیار گروه علوم پایه)

گرایش : منطق ریاضی

پست الکترونیکی : این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید

شماره تلفن:  33400-086

This page is also available in English

 

 

 

 

 

 

 

 

 

 

 

سوابق تحصیلی

Dr. Karim Khanaki

Ph.D in Mathematical Logic -- Model Theory

Email: این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید,  Tel: +98 86 33670021

  • دکترا منطق ریاضی (نظریه مدل ها) - دانشگاه تربیت مدرس- 1386-1390
  • کارشناسی ارشد منطق ریاضی - دانشگاه تربیت مدرس - 1382-1384
  • کارشناسی ریاضی محض - دانشگاه فردوسی مشهد - 1377-1381

 

سوابق آموزشی

 

سابقه آموزشی :
  • دانشگاه صنعتی اراک 1392 تا کنون
  • دانشگاه شاهد 1390-1392
  • دانشگاه آزاد (کرج) 1386-1388
  • دانشگاه پیام نور تهران (واحدهای مرکزی، غرب، شرق) 1386-1392
  • دانشگاه علم و فرهنگ 1387-1389


سابقه تدریس در دروس :

  • منطق ریاضی
  • مبانی منطق و نظریه مجموعه ها
  • نظریه محاسبه
  • نظریه گراف
  • ریاضیات گسسته (مبانی ترکیبیات، ساختمان گسسته)
  • فرایندهای تصادفی
  • آنالیز ریاضی 2
  • ریاضی پایه 1 و 2 و 3
  • جبر خطی و مبانی ماتریس ها
  • معادلات دیفرانسیل
  • آنالیز حقیقی
  • مدل تئوری (نظریه مدل ها)

دوره های تخصصی گذرانده

دوره های تخصصی گذرانده :

  • کارگاه آموزشی "علوم نظری کامپیوتر و کاربردهای آن" در IPM
  • کارگاه  "مدل تئوری و نظریه پایداری" در دانشگاه تربیت مدرس و IPM

زمینه ها پژوهشی

 

نظریه پایداری شلاح و رده‌بندی ساختارهای مرتبه اول و ارتباط آن با رده‌بندی فضاهای تابعی از جمله زیرکلاس‌های فضای توابع بئر 1 (Baire 1 functions).

منطق ریاضی  و برهمکنش های آن با دیگر قسمت های ریاضی; آنالیز نااستاندارد و کاربردهای دیگر مدل تئوری در آنالیز، جبر، هندسه، و ترکیبیات.

بطور خاص: نظریه مدل فضاهای متریک (منطق پیوسته)، نظریه مدل فضاهای اندازه (منطق انتگرال)، و نظریه مدل حلقه ها و میدانهای بسته حقیقی.

 

سابقه پژوهشی :


پروژه های تحقيقاتی :
  • طرح پژوهشی در سال 95 در پژوهشگاه دانشهای بنیادی (IPM) با عنوان: خواص توپولوژیک نظریه پایداری شلاح، تعریف پذیری تایپ ها در تئوری های ناپایدار، و یک پاسخ به مسئله گاور در تئوری فضاهای باناخ
  • طرح پژوهشی در سال 93 در پژوهشگاه دانشهای بنیادی (IPM) با عنوان: نظریه پایداری شلاح در منطق های تعمیم یافته
  • طرح پژوهشی در سال 92 در پژوهشگاه دانشهای بنیادی (IPM) با عنوان: برهمکنش هایی بین منطق ریاضی، آنالیز، و ترکیبیات
  • طرح پژوهشی در سال 91 در پژوهشگاه دانشهای بنیادی (IPM) با عنوان: منطق انتگرال و کاربردهای آن در نظریه اندازه های پایا و آنالیز تابعی
  • طرح پژوهشی در بنیاد نخبگان نیروهای مسلح با عنوان: تحلیل الگوریتم رمز جریانی DECIM

 

مقالات مجلات

 

  • مقاله های ‌چاپ شده در مجله های معتبر بين المللی نمايه شده در ISI:

Random variables and integral logic (with Seyed-Mohammad Bagheri), Mathematical Logic Quarterly, 2011

 

Haar measure and integral logic (with Massoud Amini), Mathematical Logic Quarterly, 2012

 

Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic, Fundamenta Mathematicae, n 234, pp 253-285 (2016)  arXiv

 

Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function Spaces, Math. Log. Quart, to appear arXiv

 

Remarks on NIP in a model (with Anand Pillay), Math. Log. Quart. 64, No. 6, 429–434 (2018)

 

Topological aspects of the classical logic (in Persian)

 

  For some preprints, please see my page in arXiv


A report of my work is available in Section 3.2 of the paper entitled “The reasonable effectiveness of model theory in Mathematics” by Professor John T. Baldwin

 

 

 

مقالات کنفرانس ها

 

- ارائه مقاله و سخنرانی در اولین همایش سالیانه منطق ریاضی و کاربردهای آن در دانشگاه تبریز با عنوان:

Probability logic and its applications

- ارائه مقاله و سخنرانی در همایش سالیانه منطق ریاضی و کاربردهای آن در سال 1391 در دانشگاه شهید باهنر کرمان با عنوان:

Haar measure and integral logic

- ارائه مقاله و سخنرانی در همایش سالیانه منطق ریاضی و کاربردهای آن در سال 1392 در دانشگاه شهید بهشتی با عنوان:

The Banach-Tarski Paradox and Amenability: A Model Theoretic Approach

 

- ارائه مقاله و سخنرانی در کنفرانس بین اللملی "نظریه مجموعه ها و نظریه مدل"، در سال 1394 در پژوهشگاه دانشهای بنیادی (IPM) با عنوان:

Shelah’s stability theory and topological properties of function spaces

 

-ارائه مقاله و سخنرانی در پنجمین همایش ملی انجمن منطق ایران در سال 1396 در دانشگاه صنعتی امیر کبیر با عنوان:

NIP inside a model and Baire 1 definability

 

-ارائه مقاله و سخنرانی در چهل و نهمین کنفرانس ریاضی ایران در سال 1397 در دانشگاه علم و صنعت ایران با عنوان:

کاربردهایی از منطق در نظریه فضاهای باناخ

 

-ارائه مقاله و سخنرانی در چهل و نهمین کنفرانس ریاضی ایران در سال 1397 در دانشگاه علم و صنعت ایران با عنوان:

به سوی اثباتی از حدس گاورز

 

راهنمایی و مشاوره پایان نامه

1-استاد راهنمای پایان نامه کارشناسی ارشد با عنوان:  مباحثی در نظریه مدل میدان های بسته جبری (دانشجو: سحر سرلک)

2-استاد راهنمای پایان نامه کارشناسی ارشد با عنوان:  مباحثی در گروه های مجز به یک توپولوژی ویک متریک  (دانشجو: مریم زارعی)

3-استاد راهنمای پایان نامه کارشناسی ارشد با عنوان:  مباحثی در گروه های خودریختی ساختارهای شمارا  (دانشجو: زهرا مشایخی)

سوابق شغلی و اجرایی

---  دبیر علمی همایش "منطق ریاضی و کاربردهای آن"

مکان برگزاری : دانشگاه صنعتی اراک

تاریخ برگزاری: 13 شهریور ماه 1398

برگزارکنندگان: 1- دانشگاه صنعتی اراک 2- پژوهشگاه دانشهای بنیادی (IPM) 3- انجمن منطق ایران 4- خانه ریاضیات اراک

حامیان همایش: شرکت آلومینیوم ایران (ایرالکو)

سایت همایش:  http://logic.arakut.ac.ir/

گزارش برگزاری همایش

برنامه هفتگی

ایام هفته

10-8

12-10

12-14

16-14

18-16

شنبه

   معادلات دیفرانسیل ریاضی 2    ریاضی 1

یکشنبه

معادلات دیفرانسیل     معادلات دیفرانسیل  

دوشنبه

   معادلات دیفرانسیل ریاضی 2  ریاضی 1  

سه شنبه

معادلات دیفرانسیل ریاضی 2       

چهارشنبه

         

پنجشنبه

         

برقراری ارتباط

  • برقراری ارتباط :

  آدرس: اراک، خيابان دانشگاه، دانشگاه صنعتی اراک  .

  کد پستی: 41167 -38181

  تلفن مستقيم:33670021-086

  داخلی

  نمابر:33670020-086

  پست الکترونيکی:

این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید
این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید