سمینار علمی آشنایی با منطق ریاضی، مدل تئوری و ریاضیات

این سمینار در آمفی تئاتر ملااحمد نراقی دانشگاه صنعتی اراک برگزار گردید. دکتر کریم خانکی، عضو هیئت علمی گروه علوم پایه دانشگاه صنعتی اراک، با معرفی موضوعاتی همچون شاخه های مختلف ریاضیات، منطق ریاضی و زیر شاخه های آن، تاریخچه و دانشمندانی که در این حوزه فعالیت داشتند و مطرح کردن سوالاتی از قبیل "آیا رایانه می تواند جای انسان را بگیرد؟" و بیان کاربردهایی از ریاضیات در رایانه و پیدایش آن، در این سمینار سخنرانی کردند. در پایان نیز به سوالات حاضرین در سمینار، پاسخ داده شد.

مشروح گزارش کامل همراه با عکس های برگزاری در کانال تلگرام انجمن قابل مشاهده می باشد