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

مجموعه ی همه ی سیستم های استنتاجی از یک bl-جبر a، را با (ds(a (مشبکه ی همه ی دستگاه های استنتاجی a ) نشان می دهیم. هدف این پایان نامه توصیف جدید از عناصر ??تحویل ناپذیر روی (ds(a می باشد و خواهیم دید که اگر مشبکه توزیع پذیر باشد آنگاه عناصر ??تحویل ناپذیر و ?? اول آن یکی هستند. هم چنین خواهیم داشت برای هر زیر مجموعه ی p از (ds(a، ?? ? ????????(?? اگر و تنها اگر برای هر( ?? ? ????(?? ، ?? ...

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

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

هدف کلی پژوهش حاضر، بررسی میزان اثربخشی آموزش با تأکید بر راه­حل­های چندگانه، در تقویت مهارت استدلال ریاضی در دانش­آموزان دورة متوسطه است. در این مطالعه، 47 دانش­آموز در گروه آزمایشی و 54 دانش­آموز در گروه کنترل، شرکت داشتند که همگی در سال تحصیلی 95-1394، در مدارس دولتی دخترانة منطقة 3 آموزش و پرورش شهر تهران، در دو رشتة ریاضی و تجربی، مشغول به تحصیل بودند. ابزار این مطالعه، آزمونی است که بر مب...

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

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

موتور dc امروزه هم در جهان بدلیل قابلیت کنترل آسان سرعت هنوز مورد استفاده قرار می گیرد. در این پایان نامه طراحی و شبیه سازی یک کنترل کننده ی سیستم عصبی فازی سازگار(adaptive neuro fuzzy inference system) تحقیق می شود که این کنترل کننده در روش کنترل سرعت مدولاسیون پهنای باند(pulse width modulation)، بر روی یک موتور dc تحریک مستقل به کار گرفته شده است. هدف اصلی از انجام این کار، کاهش جریان راه ان...

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

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