انجمن منطق ايران با همکاری پژوهشگاه دانش‌های بنيادی برگزار می‌کند:
رویداد روز جهانی منطق
(24 و 25 دی 1402)
✳️ سخنرانان:
ماتیاس باز (دانشگاه صنعتی وین)
Andrews Skolemization May Shorten Resolution Proofs Non-Elementarily
لطف‌الله نبوی (دانشگاه تربیت مدرس)
منطق علم سنجی؛ رهیافتی از گودل و تارسکی
اسدالله فلاحی (مؤسسه‌ی پژوهشی حکمت و فلسفه ایران)
نسبت قضایای خارجیه و شخصیه: تاریخ یک اشتباه
سعید صالحی (دانشگاه تبریز)
درباره‌ی احتمال توقف و اصل آزمون و خطایِ شایتین
نحوه‌ی برگزاری: حضوری - مجازی
زمان: یک‌شنبه 24 دی‌ماه 1402 - 14 الی 18 (به وقت تهران) و دوشنبه 25 دی‌ماه 1402 - 15:30 الی 17 (به وقت تهران)
مکان: خیابان نیاوران، میدان نیاوران، ضلع جنوبی میدان، پژوهشگاه دانش‌های بنیادی (IPM)، پژوهشکده‌ی ریاضیات، سالن شماره ۱
Meeting ID: 833 7335 5900
Passcode: 362880
🌐 https://worldlogicday.com/events/2024/ial
📧 این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید