اخبار سایت   | ورود به سایت |  نقشه سایت

logo

virtual-ture

تصاویر 360 درجه

internet

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

cloud-computing

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

refrences

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

email

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

edu

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

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

 

 

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

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

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

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

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

Dr. Karim Khanaki

Ph.D in Mathematical Logic -- Model Theory

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

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

 

 

 

 

 

 

 

 

 

[accordion] [item title="سوابق آموزشی"]

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


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

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

[/item] [item title="افتخارات"]

 افتخارات :

  •  


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

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

[/item] [item title="زمینه های پژوهشی"]

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

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

 

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

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

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

 

[/item] [item title="مقالات مجلات"]

  • مقاله های ‌چاپ شده در مجله های معتبر بين المللی نمايه شده در 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 

[/item] [item title="مقالات کنفرانس ها"]

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

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

 

[/item] [item title="کتاب ها"]

 

[/item] [item title="راهنمایی و مشاوره پایان نامه"]

  • مشاوره و راهنمايی پايان نامه کارشناسی ارشد :
  -

[/item] [item title="مقالات و سایت‌های مرتبط"]

 مقاله هایی از "فرهنگ و اندیشه ریاضی":

کل و جزء در ریاضیات

سخنرانی اینشتین: «ماهیت فضا» ارائه شده توسط مایکل عطیه

 

 همه چیز درباره ریاضیات

 

 جایی برای یاد گرفتن و یاد دادن

[/item] [item title="سوابق شغلی و اجرایی"]

سوابق کاری و اجرايی :   

  •  

[/item] [item title="برنامه هفتگی"]

ایام هفته

10-8

12-10

12-14

16-14

18-16

شنبه

      ریاضی 2 ریاضی 2

یکشنبه

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

دوشنبه

      ریاضی 2 ریاضی 2

سه شنبه

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

چهارشنبه

         

پنجشنبه

         

[/item] [item title="برقراری ارتباط"]

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

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

  کد پستی: 41167 -38181

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

  داخلی

  نمابر:33670020-086

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

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

[/item] [/accordion]