محاسبه‌پذیری روی اعداد حقیقی
انجمن منطق ایران سخنرانیِ برخط (آنلاین) برگزار می‌کند
محاسبه‌پذیری روی اعداد حقیقی
نازنین روشندل توانا
دانشگاه صنعتی امیرکبیر
چکیده.
در این وبینار، چند روش محاسبه‌پذیری روی اعداد حقیقی و فضاهای پیوسته معرفی می‌شود. به‌طور خاص، به معرفی روش‌‌های زیر می‌پردازیم:
- Type-two theory of effectivity(TTE)
- Theory of Master-Slave machine
روش دوم، ترکیبی از TTE و BSS است.
دوشنبه ۳ خرداد ۱۴۰۰، ساعت ۱۶-۱۷
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینه‌ی میهمان در دسترس است:
https://www.skyroom.online/ch/ial/monthly
- بازدید: 43
نخستین مدرسه‌ی بهاری انجمن منطق ایران
اطلاعات تکمیلی شامل چکیده و پیش‌نیاز‌های هر درس‌کوتاه را این‌جا ببینید.
لازم به ذکر است که مخاطبین مدرسه‌ی بهاره دانشجویان تحصیلات تکمیلی، پژوهش‌گران پسادکتری و به طور عمومی همه‌ی علاقمندان منطق در گرایش های مختلف این رشته هستند. از این رو دروس با کمترین پیش‌نیاز ممکن ارائه خواهند گردید.
به اطلاع همکاران و علاقمندان گرامی می رساند که مهلت ثبت نام مدرسه بهاره انجمن منطق ایران ۱۴ ام ماه مه برابر با ۲۴ اردیبهشت می باشد. ضمنا ثبت نام جهت شرکت در دوره ضروری و از طریق لینک زیر امکان پذیر است.
- بازدید: 277