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

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

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

معرفی درس:

کیهان شناسی ١

معرفی استاد:

مهدی گلشنی

مهدی گلشنی فیزیک‌دان و نظریه‌پرداز ایرانی، پژوهشگر، مترجم، استاد دانشگاه صنعتی شریف، و عضو شورای عالی انقلاب فرهنگی است. او در سال ۱۳۳۹ کارشناسی خود را از دانشگاه تهران در رشته فیزیک دریافت کرد و سپس دکتری خود را در سال ۱۳۴۸ از دانشگاه برکلی آمریکا در رشته فیزیک با گرایش ذرات بنیادی دریافت کرد. گذشته از دانش فیزیک که رشتهٔ تخصصی اوست، مهدی گلشنی در عرصهٔ الهیات و پژوهش‌های دینی و نیز در زمینهٔ مطالعات تطبیقی میان دو حوزهٔ «علم و دین» صاحب‌نظر است.