(۲۴ تیر ۱۳۹۱ ۰۹:۲۲ ب.ظ)afagh1389 نوشته شده توسط: 1) نظریه بازیها،دکتر مهران فلاح
۲) منطق کلاسیک ،دکتر سعید صالحی
۳) منطق و مدلسازی،دکتر علی موقر
۴) بهینه سازی ترکیبیاتی، دکتر سعید اکبری
۵) محاسبه پذیری و منطق،دکتر مرتضی منیری
۶) تکنیک های وارسی نرم افزار
سلام؛
بابت آپلود فایل ارائه ها ازتون ممنونم؛
ممکنه خواهش کنم شما یا دوستان دیگه ای که در ورک شاپ شرکت داشتید، یکم بیشتر در مورد محتوی ورک شاپ توضیح بدید؛
چون برداشت من از ورک شاپ اینه که معمولا هدفش آشنایی با موضوعات روز و داغ تحقیقاتی (و تا حدی چگونگی انجام اون تحقیقات) در یک زمینه خاص هست؛
مثلا تا جائیکه من می دونم تو ده سال اخیر در زمینه شبکه های حسگر کارهای زیادی انجام شده و مقالات فراوونی هم چاپ شده؛
اما روند انجام تحقیقات تو این زمینه به سمتی داره میره که دیگه نمیشه با شبیه سازی حرف زد؛ بهمین دلیل میتونم بفهمم ضرورت بحث performance evaluation در شبکه های حسگر در این ورک شاپ چیه؛
اما با نگاه کردن به فایلهای ۲، ۴، و ۵ هیچ برداشتی نمیتونم داشته باشم؛ میشه یکم درباره این موضوعات صحبت بکنید که دلیل قرار گرفتنشون در بین این موضوعات چی بوده؟ بعنوان مثال یکم از مسائل ترکیبیاتی سر درمیارم؛ ولی نمی فهمم صحبت کردن از دو یا سه تا قضیه خاص در فایل ارائه مربوط به این موضوع به چه دلیلی بوده؟ جایگاه این قضایا در مسائل تحقیقاتی کجاست؟