استفاده از کامپیوتر در انجام برنامه ریزی مهندسی نگهداری و تعمیر (نت) بخصوص در مراکز صنعتی و کارخانجاتی که دارای تجهیزات و ماشین آلات زیادی می باشند لازم و حیاتی بوده و باعث تسریع در امر برنامه ریزی و حذف خطاهای انسانی و در نهایت کاهش هزینه های نگهداری و تعمیرات می گردد. لذا در این پایان نامه به تجزیه و تحلیل سیتم مهندسی نت با استفاده از متدولوژی rup و زبان مدلسازی uml پرداخته شده است. در نهایت ...

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

این پژوهش تحت عنوان "بازیابی مولفه های منطقی در آموزش فلسفه به کودکان" در جهت بررسی متون آموزشی فلسفه کودکان و استخراج مولفه های منطقی از آن ها انجام شده است. لذا مولفه های منطق ارسطویی در این پژوهش به مولفه های تصوری و تصدیقی تقسیم شده است. مولفه های تصوری از مباحث تعریف و تقسیم و مولفه های تصدیقی از مباحث استدلال و صناعات خمس تشکیل شده است. از جمله نتایج بدست آمده این پژوهش عبارت است از: وجود...

دستوری شدن فرآیندی است که طی آن عناصر واژگانی به صورت عناصر دستوری درمی آیند و یا با گذشت زمان دستوری تر می شوند. این فرآیند همواره با مقیدتر شدن اجزاء زبانی همراه است. واحدهای زبانی هنگام تغییر در مسیر دستوری شدن یا بیشتر دستوری شدن، از مراحل معینی تبعیّت می کنند و آن ها را با ترتیب خاصی پشت سر میگذارند: «جزء واژگانی آزاد > کلمه نقشی > واژه بست > وند تصریفی». بنابراین عناصر واژگانی زبان از قبیل...

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

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

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

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

این تحقیق به بررسی مهارت خواندن همراه با درک مطلب در متن انگلیسی دانشگاهی می پردازد و هدف آن یافتن ارتباط بین معلومات و شناخت زبان آموزان (دانشجویان دانشگاه) از ساختار «بند» در متن انگلیسی و استنتاج مطلب موجود در آن می باشد. برای بررسی این نکته، 155 نفر از دانشجویان دانشگاه تهران (دانشکده های هنرهای زیبا و فنی) انتخاب شدند. آنها به دو گروه مستقل در هر دانشکده تقسیم شدند. به گروه های آزمایش به م...

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