🔷 خانه رياضيات اصفهان به مناسبت بزرگداشت محمد بن موسی خوارزمی، برای سیزدهمین سال برگزار می‌کند: ♦️روز جبر 🔸 ویژه اساتید و دانشجویان ریاضی 🔸 زمان: ۲۲ آذر ۱۴۰۳ 🔸 سخنرانی دکتر پیام سراجی با عنوان تاریخچه تکامل منطق ریاضی 🔸سخنرانی دکتر امیر دانشگر با عنوان نظریه محاسبه، پیدایش، بلوغ و کاربردها 🔸 سخنرانی دکتر محسن خانی با عنوان حذف سور و تصمیم‌پذیری 🔸 سخنرانی دکتر مهدی دستانی با عنوان Logic for safe and reinforcement learning 🔸 لینک ثبت‌نام برای شرکت حضوری در برنامه https://isf.mathhouse.org/?p=37437 ♦️ لینک حضور در جلسه مجازی https://www.skyroom.online/ch/mathhouse/jabr 🔷