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

این گزارش با هدف ارائه اطلاعات کامل درباره «سمینار علمی آشنایی با منطق ریاضی، مدل تئوری و ریاضیات» تهیه شده است و مهم‌ترین نکات منتشر شده را در اختیار شما قرار می‌دهد.

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

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

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