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

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

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

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

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

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

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