logo

virtual-ture

تصاویر 360 درجه

internet

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

cloud-computing

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

refrences

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

email

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

edu

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

اخبار دانشگاه مشاهده همه خبرها

 

{Arakut} {Gallery}

 

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

{Arakut} {Gallery}

 

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

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

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

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

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

 

 

 

 

 

 

 

 

 

سوابق تحصیلی

Dr. Karim Khanaki

Ph.D in Mathematical Logic -- Model Theory

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

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

 

سوابق آموزشی

 

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


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

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

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

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

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

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

 

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

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

 

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

  • پژوهشگر در پژوهشگاه دانشهای بنیادی (IPM) از 1391 تا کنون

پروژه های تحقيقاتی :
  • طرح پژوهشی در سال 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

 

Remarks on NIP in a model (with Anand Pillay), Mathematical Logic Quarterly, to appear 

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

 

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

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

 

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

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

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

برنامه هفتگی

ایام هفته

10-8

12-10

12-14

16-14

18-16

شنبه

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

یکشنبه

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

دوشنبه

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

سه شنبه

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

چهارشنبه

         

پنجشنبه

         

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

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

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

  کد پستی: 41167 -38181

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

  داخلی

  نمابر:33670020-086

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

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