هدف اصلی تحقیق حاضر این است که تأثیر به کار گیری نقشه های مفهومی را در فرایند یاددهی- یادگیری روی پیشرفت تحصیلی و باورهای ریاضی دانش آموزان دختر پایه ی دوم متوسطه رشته تجربی در سال تحصیلی 88-87 دردرس ریاضی 2 در شهر گرماب بررسی کند. دراین تحقیق روش تدریس مبتنی بر نقشه ها ی مفهومی و روش تدریس مرسوم به عنوان متغیر های مستقل و پیشرفت تحصیلی و باورهای ریاضی دانش آموزان به عنوان متغیرهای وابسته در نظر گرفته شد. جامعه ی آماری این پژوهش تمامی دانش آموزان دختر پایه ی دوم متوسطه رشته تجربی شهر گرماب تشکیل می دهند. به علت کوچک بودن حجم جامعه، کل جامعه به عنوان نمونه در نظر گرفته شد. جامعه شامل دو کلاس بود که به طور تصادفی یک کلاس به عنوان گروه تجربی(25 نفر) و یک کلاس به عنوان گروه کنترل(26 نفر) در نظر گرفته شد. پس از برگزاری پیش آزمون گروه تجربی همراه با نقشه های مفهومی و گروه کنترل به طور مرسوم فصل تابع از ریاضی 2 را آموزش دیدند. سپس از هر دو گروه پس آزمون به عمل آمد. در این پژوهش دو فرضیه ی اصلی و دو فرضیه ی فرعی مورد آزمون قرار گرفت. شاخص عملکرد در این فرضیه ها تفاوت نمره ی پیش آزمون و پس آزمون گروه های مورد مطالعه می باشد. پس از جمع آوری اطلاعات جهت آزمودن فرضیه ها از آزمون t برای گروه های مستقل و t برای گروه های وابسته استفاده شده است. نتایج به دست آمده حاکی از آن است که روش تدریس مبتنی بر نقشه های مفهومی نسبت به روش تدریس مرسوم در پیشرفت تحصیلی و باور های ریاضی دانش آموزان تأثیر بیشتری دارد. بنابراین توصیه می گردد در مواردی که نیاز به یادگیری معنادار و عمیق مفاهیم است از این ابزار آموزشی استفاده گردد.

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

چکیده ندارد.