دوره آشنایی با منطق و کاربرد آن در علوم کامپیوتر

 بخش دانشجویی خانه ریاضیات اصفهان برگزار می‌کند:

 دوره آشنایی با منطق

 آموزش منطق ریاضی و کاربرد آن در علوم کامپیوتر

 مدرس دوره: دکتر پیام سراجی

 زمان شروع دوره: چهارشنبه 13 اردیبهشت 1402  

 ساعت: 17:30 تا 19

 مکان: خیابان سعادت‌آباد، جنب ورزشگاه امین، خانه ریاضیات اصفهان

 هزینه ثبت‌نام: ۲۰۰ هزار تومان

(تخفیف ۵۰ هزار تومانی برای اعضای بخش دانشجویی خانه ریاضیات)

لینک ثبت‌نام

 سرفصل‌های دوره:

منطق گزاره‌ها

منطق محمولات

آشنایی با نظریه‌های حساب و مجموعه‌ها

قضایای تمامیت و ناتمامیت گودل

مقدمه‌ای بر روش‌های اتوماتیک اثبات

ارتباط منطق ریاضی با فلسفه ریاضیات

مقدمه‌ای بر نظریه محاسبه‌پذیری و پیچیدگی محاسبه