مبانی منطق، پاییز ۱۳۹۵

Details: Last Updated: 15 November 2018; Hits: 14316

این‌جا صفحه‌ی اخصاصیِ درس مبانیِ منطق است که در ترم پاییز سال ۱۳۹۵ در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.
برای دریافت اخبار درس، ای-میل و شماره‌ی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم + ۱۰ نمره پایان‌ترم + ۲ نمره تمرین
تاریخ آزمون میان‌ترم: شنبه ۱۳ آذر
کتاب اصلی درس: منطق ریاضی، محمّد اردشیر.
ساعات رفع اشکال: یکشنبه‌ها و دوشنبه‌ها ساعت ۱۳ الی ۱۴
تدریس‌یاران: خانم مونا مهدی‌زاده و آقای ناربه آبولیان و خانم سعیده کرمانی.
آزمونک نخست (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
تمرین‌های سری اول (مشترک بین همه‌ی کلاس‌های تمرین). موعد تحویل: شنبه ۱ آبان در ابتدای کلاس درس. (با سپاس از خانم مهدی‌زاده که زحمت این سری از تمرین‌ها را کشیدند)
مسائلی برای فکر کردن: سری اول، نحو زبان گزاره‌ای.
کلاس‌های تمرین: الف) سعیده کرمانی: شنبه‌ها ساعت ۱۲-۱۳ کلاس ۲۰۴، ب) ناربه آبولیان: یکشنبه‌ها ساعت ۱۲-۱۳ کلاس ۲۰۴، کلاس ۲۲۴ ج) مونا مهدی‌زاده: دوشنبه‌ها ساعت ۱۲-۱۳ کلاس ۲۰۴ کلاس ۱۰۴. توجّه مهم: محلِ تشکیل کلاس‌های تمرین ممکن است تغییر کند! تغییرات احتمالی، در همین بند اعمال خواهد شد.
کلاس تمرینِ خود را از طریق این پیوند تعیین کنید. توجّه۱: عدم تعیین کلاس تمرین از این طریق به معنای از دست دادنِ تمامیِ ۲ نمره‌ی تمرین است، حتی درصورت تحویل تمرین و حضور در تمامیِ کلاس‌های تمرین. توجّه۲: اولویّت‌های خود برای کلاس تمرین را حداکثر تا تاریخ شنبه ۱ آبان ساعت ۱۲ ظهر می‌توانید تعیین کنید.
آزمونک دوم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
پاسخ‌نامه‌ی تمرین‌هایِ کتاب درس (فصل نخست، منطبق بر ویراست دوم، چاپ اول)
لیست گروه‌های کلاسِ تمرین لیست گروه‌های کلاسِ تمرین: نسخه‌ی اصلاح‌شده
تمرین‌هایِ سریِ دوم (مشترک بین همه‌ی گروه‌ها). موعد تحویل: دوشنبه ۱۰ آبان راس ساعت ۸ صبح در ابتدای کلاس درس. توجّه مهم: حتماً گروه تمرین خود را در ابتدای برگه‌ی تمرین خود بصورت خوانا طبق لیست معین شده بنویسید (گروه‌های شما: شنبه، یکشنبه، دوشنبه). در غیر این صورت ممکن است برگه‌ی تمرین شما ارزیابی نشود.
چند برهان در دستگاه هیلبرتی. (یک برهان در منطق گزاره‌ایِ هیلبرتی و دو برهان در منطق مرتبه‌اول)
آزمونک سوم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
چند برهان در دست‌گاهِ استنتاجِ طبیعی
تمرین‌هایِ سریِ سوم (مشترک بین همه‌ی گروه‌ها). موعد تحویل: شنبه ۲۲ آبان راس ساعت ۸ صبح در ابتدای کلاس درس. توجّه مهم: حتماً گروه تمرین خود و شماره‌ی دانشجویی را در ابتدای برگه‌ی تمرین خود بصورت خوانا طبق لیست معین شده بنویسید (گروه‌های شما: شنبه، یکشنبه، دوشنبه). در غیر این صورت ممکن است برگه‌ی تمرین شما ارزیابی نشود.
آزمونک چهارم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
این برنامه‌ی اندروئیدی، با گرفتن یک گزاره از کاربر، در خروجی همان‌گو بودن یا نبودن آن را اعلام می‌کند. این برنامه در زبان #C توسط آقای مجتبیٰ گودرزی نوشته شده است. نسخه‌ی تحتِ ویندوزِ این برنامه را نیز می‌توانید از این‌جا دانلود کنید.
آزمونک پنجم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
تمرین‌هایِ سریِ چهارم
اثبات معادل بودن دستگاهِ حسابِ رشته‌ایِ معرفی شده در کلاس درس با دستگاهی که در کتاب درس آمده:
به‌دلیلِ تعطیلیِ روزِ دوشنبه ۸ آذر، کلاس جبرانیِ حلِ‌تمرین گروه‌ تمرین خانم مهدی‌زاده، در روزِ سه‌شنبه ۹ آذر ساعت ۱۵ در همان محل برگزاریِ کلاس‌های خانم مهدی‌زاده (کلاس ۱۰۴) توسّط ایشان برگزار می‌شود.
کتاب تمرین برای منطق ریاضی به همراهِ پاسخ‌نامه:
نمونه‌سؤال‌های میان‌ترم منطق: ، مجموعه‌ای دیگر از نمونه‌سؤال‌ها را در وبسایت گروه منطق در دانشگاه شریف بیابید.
آزمون میان‌ترم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن. فرم اینترنتیِ تقاضایِ تجدیدنظر (مهلت: شنبه ۲۰ آذر)
آزمونک ششم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
آزمونک هفتم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
تمرین‌های سری پنجم: (موعد تحویل شنبه ۴ دی در ابتدای کلاس درس) تمرین‌هایِ ۶،۷، ۸ز، ۸ح، ۸ط، ۹، ۱۰، ۱۱ و ۱۲ از فصل دوم کتاب اصلی درس (منطق ریاضی، محمّد اردشیر، هرمس ویراست دوم، چاپ دوم) توجّه مهم: حتماً پاسخ‌های تمرین‌ها را در برگه‌ی A4 بنویسید و برگه‌های خود را به یگدیگر منگنه کنید و گروه تمرین خود را به همراه نام و نام خانوادگی و شماره‌ی دانشجویی در بالای صفحه بنویسید.
آزمونک هشتم (سؤال به همراه پاسخ) و نمراتِ کسب شده از آن.
نمونه‌سؤال‌های پایان‌ترم منطق: ، مجموعه‌ای دیگر از نمونه‌سؤال‌ها را در وبسایت گروه منطق در دانشگاه شریف بیابید. توجّه داشته باشید که لزوماً این نمونه‌سؤالات با سرفصل‌های تدریس شده در کلاس هم‌خوانی ندارد.
آزمون مجدد میان‌ترم (سؤال ها و پاسخ‌نامه) و نمراتِ کسب شده از آن. فرم اینترنتیِ تقاضایِ تجدیدنظر (مهلت: دوشنبه ۴ بهمن)
آزمون پایان‌ترم (سؤال ها و پاسخ‌نامه) و نمراتِ کسب شده از آن. فرم اینترنتیِ تقاضایِ تجدیدنظر (مهلت: پنجشنبه ۷ بهمن)
نتایج بازبینی میان‌ترم، میان‌ترم مجدد و پایان‌ترم. توضیح: رنگ زرد نشانه‌ی عدم‌تغییر نمره است، سبز به معنای افزایش نمره است و قرمز به معنای کاهش نمره است.
نمرات نهایی ارسالی به آموزش. در صورتی که هر گونه صحبتی دارید می‌توانید ساعت ۱۲ روز دوشنبه ۱۱ بهمن مراجعه کنید.
فرمول محاسبه‌ی نمره از ۲۰: فرض کنید a نمره‌ی میان‌ترم اصلی از ۸ باشد، b نمره‌ی میان‌ترم مجدد از ۸، c نمره‌ی پایان‌ترم از ۱۰ و d نمره‌ی تمرین از ۲، ونهایتاً e مجموع نمرات آزمونک‌ها باشد. در این‌صورت نمره‌ی شما برابر خواهد بود با max(a, 0.3a+0.7b)+c+d+e. تبصره:‌ اگر نمره‌ی محاسبه شده توسط فرمول اخیر برای شما شما (x) زیر ۱۰ شده باشد، نمره‌ی درج شده در کارنامه 9+0.1x می‌شود.

Education