هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

هدف: هدف پژوهش حاضر، تدوین و شناسایی ابعاد و مؤلفه‏های منشور تکریم وکرامت دانشجویی بود. روش: پژوهش حاضر به لحاظ ماهیت، از نوع تحقیقات کیفی و به لحاظ روش‏شناسی، از نوع مطالعات موردی است و برای تجزیه و تحلیل داده‏ها از روش تحلیل مضمون استفاده شده اس...

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

اکثر سیستمهای آموزشی، مطالب آموزشی را دسته بندی کرده و حداکثر آنها را به شکل فرامتنˆفرارسانه ایستا سازماندهی می کنند. با توسعه سیستم های آموزشی، گونه های هوشمند آنها سعی می کنند با اطلاع از میزان یادگیری دانشجو روش تعلیم پویایی را متناسب با میزان یادگیری دانشجو استفاده کنند. در این پایان نامه به منظور دستیابی به این هدف دانشگاه مجازی هوشمند ivu طراحی و پیاده سازی شده است . به علت پیشرفت و گسترد...

این پژوهش با هدف ارائه مدلی مبتنی بر رویکرد بازاریابی رابطه‌مند به‌منظور تعیین عوامل مؤثر بر وفاداری دانشجو انجام شد. برای این منظور یک نمونه 696 نفری از دانشجویان دوره کارشناسی به‌صورت طبقه‌ای انتخاب شدند. با استفاده از پرسشنامه داده‌های مورد نیاز در خصوص متغیرهای مدل پیشنهادی گردآوری و برای تحلیل آنها از روش تحلیل مسیر استفاده شد. یافته‌ها نشان داد که ضرایب مسیر کیفیت خدمات، فعالیتهای اجتما...

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

مطالعه حاضر با هدف بررسی نرخ شیوع اعتیاد به اینترنت در بین دانشجویان دختر و پسر دانشگاه های ارومیه و مطالعه رابطه بین اعتیاد به اینترنت با اضطراب و رشته تحصیلی دانشجویان، انجام شد. بدین منظور 330 نفر دانشجو (167پسر و 163 دختر) از دانشگاه های شهرستان ارومیه بر اساس نمونه گیری خوشه ای چند مرحله ای، به تصادف انتخاب شدند و به پرسشنامه های اعتیاد به اینترنت یانگ و اضطراب نجاریان و همکاران، به طور هم...

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

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

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