دکتر کریم خانکی
![]() |
دکتر کریم خانکیمرتبه علمی : استاديار (استادیار گروه علوم پایه) گرایش : منطق ریاضی پست الکترونیکی : این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید شماره تلفن: 33400-086 This page is also available in English
|
![]() |
دکتر کریم خانکیمرتبه علمی : استاديار (استادیار گروه علوم پایه) گرایش : منطق ریاضی پست الکترونیکی : این آدرس ایمیل توسط 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
سوابق آموزشی
سابقه آموزشی :
|
دوره های تخصصی گذرانده
دوره های تخصصی گذرانده :
- کارگاه آموزشی "علوم نظری کامپیوتر و کاربردهای آن" در IPM
- کارگاه "مدل تئوری و نظریه پایداری" در دانشگاه تربیت مدرس و IPM
زمینه ها پژوهشی
نظریه پایداری شلاح و ردهبندی ساختارهای مرتبه اول و ارتباط آن با ردهبندی فضاهای تابعی از جمله زیرکلاسهای فضای توابع بئر 1 (Baire 1 functions). منطق ریاضی و برهمکنش های آن با دیگر قسمت های ریاضی; آنالیز نااستاندارد و کاربردهای دیگر مدل تئوری در آنالیز، جبر، هندسه، و ترکیبیات. بطور خاص: نظریه مدل فضاهای متریک (منطق پیوسته)، نظریه مدل فضاهای اندازه (منطق انتگرال)، و نظریه مدل حلقه ها و میدانهای بسته حقیقی.
سابقه پژوهشی :
پروژه های تحقيقاتی :
|
مقالات مجلات
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
|
مقالات کنفرانس ها
- ارائه مقاله و سخنرانی در اولین همایش سالیانه منطق ریاضی و کاربردهای آن در دانشگاه تبریز با عنوان: 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/
برنامه هفتگی
|
برقراری ارتباط
آدرس: اراک، خيابان دانشگاه، دانشگاه صنعتی اراک . کد پستی: 41167 -38181 تلفن مستقيم:33670021-086 داخلی نمابر:33670020-086 پست الکترونيکی: این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید |
اطلاعیه ها | مشاهده همه اطلاعیه ها |
- اطلاعیه ارتباط با واحد فرهنگی دوشنبه 29 دی 99
- مسابقه شعر ترور دانشمندان هسته ای شنبه 27 دی 99
- مسابقه کاریکلماتور کرونا شنبه 27 دی 99
- نخستین همایش خانواده و زنان شنبه 27 دی 99
- قابل توجه کلیه دانشجویان کارشناسی ارشد ورودی 1396 شنبه 20 دی 99
- فرآیند ثبت نام مرحله تکمیل ظرفیت دانشجویان کارشناسی ارشد ورودی سال تحصیلی1400-1399 شنبه 20 دی 99
- تمدید مهلت ثبت نام در خواست متقاضیان وام های دانشجویی سه شنبه 16 دی 99