📌 رویداد روز جهانی منطق 2026 ◀️ برنامه سخنرانیها: ✳️ لطفاله نبوی (دانشگاه تربیت مدرس) ترجمان گودلی: رهیافتی به وحدت گرایی منطقی (ساعت 14:30) ✳️ مسعود پورمهدیان (دانشگاه صنعتی امیرکبیر) رویکرد ریاضیاتی به منطق ریاضی (ساعت 15:30) ✳️ محمد ایزدی (دانشگاه صنعتی شریف) هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و یادگیری ماشین (ساعت 17:00) زمان: چهارشنبه 24 دیماه 1404 - ساعت 14:30 الی 18 مکان: تهران، خیابان آزادی، دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر، طبقه 4، سالن خوارزمی 🌐 https://ialogic.ir 📧 [email protected]
ialogic.irانجمن منطق ایران - خانهوبسایت رسمی انجمن منطق ایرانDecember 29, 2025 681 1
