آموزش و امور فرهنگی دانشکده ریاضی و علوم کامپیوتر

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

از همراهی همه دانشجویان و اساتید دانشکده برای برگزاری رویدادهای متنوع و تاثیرگذار تشکر می‌کنیم.

امیدواریم گزارش پاییزی انجمن پربارتر باشد. به ویژه در بخش بازدیدهای علمی و نشریه و پادکست‌ها


تعداد اعضای کانال انجمن علمی مان از مرز ۴۳۰۰ نفر گذشت👏👏 از این لحاظ دومین انجمن برتر دانشگاه هستیم. امیدوارم با تولید محتواهای علمی جداب در کانال انجمن و حمایت و تبلیغ شما عزیزان به زودی این تعداد از مرز 5k بگذرد.

📣💥 منتشر شد 💥📣

شماره‌ی دوم نشریه‌ی علمی «افراز» به صاحب امتیازی انجمن علمی ریاضی دانشگاه علم‌وصنعت ایران منتشر گردید.

👤مدیرمسئول: آیلین پرهیزکار
👤سردبیران: آیلین پرهیزکار
                    فاطمه هاشم‌زاده
                    مهرآوه مافی


🗓افراز دوم - تابستان ۱۴۰۴
  - تاریخ انتشار: ۱۴۰۴/۶/۳۱

📚 در این شماره می‌خوانید:
     - خلق روابط کشف شده
     - ریسک حساب شده
     - کاهش ابعاد
     - مدال آور: گفت‌وگو با طاها حسین‌پور،   
       دارنده‌ی مدال نقره‌ی المپیاد ریاضی 

✍️ جهت همکاری در شمارگان بعدی، در تلگرام پیام دهید یا با نشانی زیر در ارتباط باشید.
efrazmagazine@gmail.com

🖋 نشریه افراز
🆔@efraz_mag

پیام مهم ویکتور فرانکل به همه معلمان جهان

به مناسبت اول مهر و روز بازگشایی مدارس

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

با تشکر آموزش کارشناسی دانشکده

به اطلاع می رساند ازین پس کلاس مبانی منطق و نظریه مجموعه ها جناب آقای دکتر دیده ور در کلاس ۲۰۵ و کلاس هوش مصنوعی و کارگاه جناب آقای دکتر قطعی و آقای دکتر یوسفی مهر در کلاس ۲۰۸ دانشکده برگزار خواهد شد.

با تشکر
آموزش کارشناسی دانشکده

برنامه زمانبندی حذف و اضافه

حضور کم‌نظیر دانشجویان عزیز دانشکده در مراسم جشن آغاز سال تحصیلی جدید همزمان با اولین روز از هفته دفاع مقدس


در یک کلام! بچه‌های شورا و بچه‌های انجمن مچکریم💯

برای برگزاری این رویداد خاطره‌انگیز افراد زیادی زحمت کشیوند که تشکر از همه این عزیزان از توان ما خارج است. از زحمات بی‌دریغ و بی‌ادعای آفای مهندس(دکتر) ترکیان، مهندس سراج‌زاده(مسئول برش‌ هنرمندانه هندوانه‌ها😊) و آقای عبدالهی و دیگر دوستان خدماتی نیز تشکر ویژه داریم.

جا دارد از تک‌تک اساتید بی‌نظیر دانسکده هم صمیمانه تشکر کنیم که هم با حمایت‌های مالی و هم با حمایت‌های معنوی خود که مهمترین آنها حضور ارزشمندشان در این رویداد صمیمی و با شکوه بود خاطره‌ای زیبا خلق فرمودند.

ارادتمند
نجفی

به اطلاع دانشجویان عزیز می رساند نظریه گراف در نیسمال اول ۱۴۰۴ در همان یه گروه ارائه خواهد شد و گروه دیگری برای این درس در زمان حذف و اضافه اضافه نخواهد شد.

با تشکر
آموزش کارشناسی دانشکده

به چند دانشجوی باانگیزه برای همکاری به‌عنوان دستیار آموزشی (TA) در دروس مبانی برنامه‌نویسی و کارگاه کامپیوتر نیازمندیم.
این دروس به زبان C توسط آقای حاجی عباسی و دکتر زاهد رحمتی تدریس می‌شوند.
علاقه‌مندان می‌توانند رزومه خود را به آدرس ایمیل hajiabbasi@aut.ac.ir ارسال کنند یا از طریق لینکدین در ارتباط باشند.

شرح دوره:
هوش مصنوعی (ΑΙ) به عنوان یک ماشین هوشمندِ مصنوعِ بشر، در طول تاریخ تطوّر کوتاه خود، بسیار متأثر از ایده‌های منطق‌های نمادین بوده است، و در کنار پیشرفت‌های روزافزون رویکردهای داده-محور و مبتنی بر پردازش زبان طبیعی (NLP)، رویکرد منطقی (Symbolic AI) نیز نقشی اساسی و محوری هم در ایجاد و هم در توسعه‌ی AI داشته است. بسیاری از دانشمندان AI به اهمیت و نقش کلیدی منطق در توسعه تحقیقات در حوزه‌های اصلی هوش مصنوعی تأکید داشته و برخی از آن‌ها حتی منطق را مهم‌ترین عامل در پیشرفت‌های راهبردی و اساسی هوش مصنوعی می‌دانند. تاریخچه‌ی پیدایش هوش مصنوعی نیز بر مبنای ایده‌ها و نظریات منطق‌دانان بزرگ و به ويژه قواعد و نظریات منطقی، خود گواهی بر این نقش کلیدی است. واژه‌ی «هوش» دالّ بر حرکت ذهنی و تفکّر استدلالی و سیر از معلومات به سمت کشف مجهول است و مصنوع بودن آن هم می‌تواند دالّ بر تفکّر ماشینی یا عمل الگوریتمیک به نحو منطقی و مشابه انسان باشد، و این حرکت فکری با جستجو و استفسار (Query) بر روی یک پایگاه دانش (KB)، پایگاه فرآیندی (PB)، پایگاه فعل یا برنامه (AB) و ... در فضای هوش مصنوعی ظهور و بروز می‌یابد.

در این کارگاه قصد دارم بر رابطه‌ی هوش مصنوعی و نظام‌‌های گوناگون منطقی تأکید بیشتری داشته باشم و با واکاوی توسعه‌های مرتبه اول و توصیفی هر کدام از نظام‌های گوناگون قیاسی، استقرائی و ابداکتیو، بر نقش اساسی روش‌های محاسبات منطقی الگوریتمیک درختی و رزولوشنیِ هر کدام از این منطق‌ها در پیشرفت بازنمایی دانش و استدلال (Knowledge Representation & Reasoning) و در قالب گراف‌های دانش (Knowledge Graphs) و نیز حلّ چالش‌های منطق توصیفی کلاسیک در مقولاتی همچون «ابهام»، «عدم قطعیت»، «ربط»، «فراسازگاری»، «فراتمامیت» و ... و در نتیجه هموارسازی مسیر و شتاب‌بخشی هوش مصنوعی برای توسعه‌ی وب معنایی (Semantic Web) در بستر زبان‌های انتولوژیک (OWL) بپردازم. این رابطه البته دو سویه است و مزایایی به ويژه برای منطق، ریاضی و فلسفه هم دارد؛ با توسعه‌ و بهینه‌سازی الگوریتم‌های محاسباتی هوش مصنوعی بر پایه‌ی منطق‌های نمادین، و در نتیجه کاهش پیچیدگی محاسباتی، بینش‌ها و نظریات جدید منطقی، ریاضی و فلسفی با کمک AI به دست می‌آیند که دارای ارزش بالقوه زیادی در بسیاری از حوزه‌های تحقیقات فلسفی، ریاضی، علوم رایانه، علوم شناختی و ... می‌باشند. همچنین این پیشرفت‌ها در AI، قابلیت طراحی، ساخت و توسعه‌ی ربات‌های خبره بر مبنای استنتاج‌گرهای منطقی فراهم می‌سازد که قابلیت استفاده به عنوان دستیار خبره در رشته‌های گوناگون پزشکی، فنی و مهندسی، علوم انسانی، مدیریت و ... داشته و ابزاهای قدرتمندی برای پژوهشگران و صاحب‌نظران این رشته‌ها در ابعاد مختلف مسأله‌یابی، نظریه‌پردازی و اعتبارسنجی فراهم می‌سازد.

سرفصل مباحث کارگاه:

☑️ جایگاه منطق در علوم کامپیوتر و هوش مصنوعی
☑️ مروری بر چیستی منطق و شاخه‌های منطق
☑️ ارتباط منطق، گراف دانش و وب معنایی
☑️ منطق‌های توصیفی (DLs) و کاربردها
☑️ کاربرد منطق‌های توصیفی در ساخت هستان‌نگارها
☑️ سیستم‌های استنتاج و استنتاج‌گرهای خودکار
☑️ معماری هفت‌لایه‌ی وب معنایی
☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS)
☑️ معرفی و تحلیل نمونه‌های کاربردی و کار با Big Data
☑️ نقش منطق در اعتبارسنجی داده‌ها و وب معنایی
☑️ تعریف و ساختار گراف‌های دانش
☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های معنایی
☑️ روش‌های الگوریتمیک محاسبات منطقی
☑️ تکنیک‌های استنتاج و تکمیل گراف
☑️ هوش مصنوعی نمادین (منطقی) (Symbolic AI)
☑️ مروری بر هوش مصنوعی نمادین در برابر داده‌محور (Symbolic AI vs. Data-Driven AI)
☑️ تلفیق Symbolic AI و یادگیری ماشین (Machine Learning)
☑️ تمرین با ابزارهای وب معنایی و نرم‌افزار هستان‌نگار Protégé
☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ادغام داده‌های ناهمگن
☑️ مسیرهای پژوهشی جدید در زمینه‌‌ی منطق و هوش مصنوعی برای دانشجویان و پژوهشگران
     و ...

این نگاه‌ها منتظر حضور گرم و پر شور شماست!👀

این کارگاه زیر نظر خانم دکتر توانا و به صورت همکاری مشترک انجمن منطق ایران و انجمن علمی دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار می‌گردد.

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

موفق باشید
آموزش کارشناسی دانشکده

حالا مدام بگویید دست‌خط اساتید ما بد است😎🙃

الان کاملا متوجه شدید وضعبت بیمار چیه دیگه؟😂

کلی بیضی‌گون زیبا و خوشمزه!

در جشن آغاز سال تحصیلی منتظر حضور گرم‌تان هستیم.

برنامه هفتگی نیمسال اول ۱۴۰۴ دروس دانشکده ای