بخش دانشجویی خانه ریاضیات اصفهان برگزار می‌کند:
دوره آشنایی با منطق
آموزش منطق ریاضی و کاربرد آن در علوم کامپیوتر
مدرس دوره: دکتر پیام سراجی
زمان شروع دوره: چهارشنبه 13 اردیبهشت 1402
ساعت: 17:30 تا 19
مکان: خیابان سعادت‌آباد، جنب ورزشگاه امین، خانه ریاضیات اصفهان
هزینه ثبت‌نام: ۲۰۰ هزار تومان
(تخفیف ۵۰ هزار تومانی برای اعضای بخش دانشجویی خانه ریاضیات)
لینک ثبت‌نام
سرفصل‌های دوره:
منطق گزاره‌ها
منطق محمولات
آشنایی با نظریه‌های حساب و مجموعه‌ها
قضایای تمامیت و ناتمامیت گودل
مقدمه‌ای بر روش‌های اتوماتیک اثبات
ارتباط منطق ریاضی با فلسفه ریاضیات
مقدمه‌ای بر نظریه محاسبه‌پذیری و پیچیدگی محاسبه
