سخنران عنوان تاریخ بیشتر
مرتضیٰ منیری
دانشگاه شهید بهشتی		 خواص ساختاری چه هستند؟ ۳۰ فروردین  
نازنین روشندل توانا
دانشگاه صنعتی امیرکبیر		 محاسبه‌پذیری روی اعداد حقیقی  ۳ خرداد  
مهدی عظیمی
دانشگاه تهران		 استنتاج بهترین تبیین در کلام اسلامی ۷ تیر   
علیرضا مفیدی
دانشگاه صنعتی امیرکبیر		 رویکردها و نتایجی در نظریه مدل نوین ۲۸ تیر   
کریم خانکی
دانشگاه صنعتی اراک		 در باب رده‌بندی تئوری‌های مرتبه اول ۲۵ مرداد  
محسن خانی
دانشگاه صنعتی اصفهان		 ساختار جمعی اعداد طبیعی به همراه یک دنباله بیتی ۲۹ شهریور  

همه سخنرانی‌ها در روز دوشنبه، ساعت ۴ عصر  برگزار می‌شود. محل برگزاری سخنرانی در چکیده‌ درج می‌شود.

بازدید: 255

 انجمن منطق ایران سخنرانیِ برخط (آنلاین) برگزار می‌کند

رویکردها و نتایجی در نظریه مدل نوین

علیرضا مفیدی

دانشگاه صنعتی امیرکبیر و IPM

 

 چکیده.

 در این سخنرانی قصد داریم با ارائه‌ی تاریخچه مختصری از نظریه مدل‌ها بحث را آغاز و سپس به بیان پیشرفت‌های اخیر رشته و نیز کاربردها و ارتباطات آن با طیف وسیعی از شاخه‌های ریاضی بپردازیم. در پایان نتایجی را نیز بیان خواهیم نمود.

 

 

دوشنبه ۲۸ تیر ۱۴۰۰، ساعت ۱۶-۱۷

سخنرانیِ برخط (آنلاین) از طریق  پیوند زیر و انتخاب گزینه‌ی میهمان در دسترس است:

https://www.skyroom.online/ch/ial/monthly

فایل pdf همین اطّلاعیّه:

بازدید: 139
  1. 2021 Spring School Videos