انجمن منطق ایران برگزار می‌کند
در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی
مجید علیزاده
دانشگاه تهران
چکیده:
در این سخنرانی، \(J\) را به عنوان عملگر پَس‌کِشی برای مفهوم زمان معرفی می‌کنیم.
به کمک این عملگر، می‌توانیم توصیف جامعی از شرطی‌های ضعیف منطقی داشته باشیم. خواهیم گفت که چگونه در زبان توسعه‌یافته با این عملگر، می‌توان توسیع محافظه‌کارانه‌ای از منطق‌های زیرشهودی به‌دست داد.
این سخنرانی، حال و هوای منطق جبری خواهد داشت.
مکان: تهران، خیابان انقلاب، دانشگاه تهران،
دانشکده‌ی ریاضی، آمار و علوم کامپیوتر، تالار دکتر هشترودی
زمان : دوشنبه، ۲۸ بهمن ۱۳۹۸، ساعت ۴ بعد از ظهر
اسلایدهای سخنرانی: