اطلاعیه‌ها

• دانشجویان گرامی
  با سلام و احترام
  نمرات درس منطق ریاضی در سامانه‌ی گلستان وارد شده‌اند.
  برای این که کیفیت آموزش و ارزشیابی حفظ شود، همان‌طور که شاهد بودید اینجانب در طی چهار روز از صبح تا شب با تک تک شما صحبت کردم و متحمل فشار و خستگی زیادی شدم. حتی برای صحبت با خیلی از شما، از اینترنت موبایل استفاده کردم زیرا اینترنت کوی اساتید (بر خلاف تصور شما) از اینترنت خیلی از شما بدتر است! سرآخر بر اساس نمرات تمرینهای تحویلی، نمره‌ی امتحان شفاهی و ملاحظات گوناگون و با ارفاق زیاد درباره‌ی نمره‌ی هر شخص تصمیم گرفتم.
  نمرات در روز چهارشنبه ۸ مرداد، ساعت ۱۶ قفل خواهند شد و برای شما امکان اعتراض در سامانه‌ی گلستان تا‌ آن زمان وجود دارد. ولی به طور جدی یادآور می‌شوم که برای بررسی هر اعتراض، نخست همه‌ی ارفاقها را حذف خواهم کرد و سپس مجدد پرونده‌ی شخص را بررسی خواهم کرد. بنابراین احتمال زیادی وجود دارد که نمره‌ی شما پس از اعتراض، کمتر از نمره‌ی شما پیش از اعتراض شود.
  وضعیت خاص ترمی که گذشت موجب شد تا اینجانب تلاش مضاعف برای انجام وظیفه‌ام بکنم و از نظر شخص من، کیفیت کلاسهایم نه تنها کاهش نیافت، بلکه شاید از ترمهای غیرمجازی نیز بیشتر بود. از طرفی برای این که به دانشجویان فشار نیاید، با این که ۲۸ جلسه درس ارائه کرده بودم و وقت زیادی برای تهیه‌ی آنها گذاشته بودم، تنها از ده جلسه‌ی درس امتحان گرفتم. بنابراین این را که دانشجو بر محتوای ده جلسه از درس مسلط باشد، به هیچ روی انتظار نامعقولی ندیدم.
  همان گونه که مستحضرید، در ترمی که گذشت، دانشکده امکان قرار نگرفتن یک نمره در کارنامه را به دانشجویان داده است. با توجه به دشواری درس منطق ریاضی، اگر نمره‌ی این درس مطلوب شما نیست،‌ به نظر من این درس کاندیدای مناسبی برای قرار نگرفتن در کارنامه‌ی شماست.
  در پایان به شما خسته‌ نباشید می‌گویم و از خداوند توفیق شما را مسئلت می‌کنم. امیدوارم خداوند به ما این قدرت را عطا کند که شدائد تنها موجب افزایش کوششمان شود و نه موجب تسلیم شدن.
  با احترام
  خانی
• شرکت در جلسه‌ی امتحان در تاریخ تعیین شده در گلستان، الزامی است و عدم حضور در آن جلسه، غیبت در امتحان پایان‌ترم محسوب می‌شود. در روز اصلی امتحان، چند سوال ساده (بدون در بر داشتن نمره) برای هماهنگی خواهیم داشت ولی امتحان اصلی مطابق این توضیحات و به صورت شفاهی برگزار خواهد شد.
• برای تمرینهای سری نهم و دهم پیوندی در ال‌ام‌اس ایجاد شده است. پاسخ به چهار تمرین کافی است.
• برای تمرینهای سری هفتم و هشتم پیوندی در ال‌ام‌اس ایجاد شده است. پاسخ به همه‌ی تمرین‌ها الزامی است.
• برای تمرینهای سری پنجم و ششم پیوندی در ال‌ام‌اس ایجاد شده است. پاسخ به همه‌ی تمرین‌ها الزامی است.
• برای تمرینهای سری چهارم پیوندی در ال‌ام‌اس ایجاد شده است. در مورد تمرینها توجه به نکته‌ی زیر ضروری است: نگاه من به تمرینها، در پایان ترم بیشتر جنبه‌ی کیفی خواهد داشت تا کمی. در پایان پرونده‌ی تمرینی هر شخص را مجددا بازنگری و پیشرفت و نحوه‌ی کارش در طول ترم را مورد بررسی قرار خواهم داد. بنابراین نمره‌ی نهائی تمرینها، لزوما حاصلجمع نمره‌های هر سری نیست. انتظار دارم که دانشجو در طول ترم پیشرفت قابل توجه داشته باشد. برای کسب نمره‌ تمرینها، پاسخ به نیمی از آنها کافی است؛ با این حال، آن نیم دیگر همچنان جزو مفاد امتحانی خواهد بود. ان‌شاءالله هفته‌ی آینده کلاسی مجازی برای حل تمرین تشکیل خواهد شد. (تاریخ پیام ۱۳ اردی‌بهشت، شنبه).
• برای تحویل تمرینهای سری سوم در سامانه‌ای ال‌ام‌اس پیوندی ایجاد شده است.
• سری دوم تمرینها نیز روی سایت درس قرار داده شده است. لطفاً پاسخ تمرینهای سری اول و دوم (حداقل دو سوال از هر سری) را تا تاریخ اعلام شده از طریق سامانه‌ی ال‌ام‌اس تحویل دهید. پاسخ تمرینها را می‌توانید در گوگل‌داکیومنتز تایپ کنید یا به صورت خیلی منظم در یک برگه‌ی آچهار سفید بنویسید. لطفاً از نوشتن پاسخ سوالات به صورت بدخط در برگه‌های نامناسب خودداری کنید. در صورتی که پاسخ سوالها را تایپ کنید مصححان می‌توانند توضیحات خود را نیز به پاسخ‌های شما بیفزایند و آنها را در اختیار شما قرار دهند. با توجه به شرایط پیش آمده، بخش عمده‌ای نمره‌ی درس به تمرینها اختصاص خواهد یافت.
• برای ارتباط با من می‌توانید از ایمیل دانشگاه، سامانه‌ی ال‌ام‌اس، یا بخش دیدگاه‌های آپارات استفاده کنید.
• با توجه به اعلام دانشگاه، تا پایان فروردین کلاسهای درس اینجانب به صورت فیلمبرداری شده روی آپارات قرار خواهد گرفت. کلاسها مطابق با زمان آنها در ترم روی سایت آپارات قرار خواهند گرفت. تا پایان فرودین ۶ جلسه به هر کدام از کلاسهای درس منطق ریاضی و نظریه‌ی گالوا افزوده خواهد شد. درسهای در آپارات قرار گرفته، بنا به دستور دانشگاه، تکرار نخواهند شد. لطفا سوالات خود را از طریق ایمیل یا در بخش دیدگاه‌های آپارات از اینجانب بپرسید.
• با توجه به شرایط موجود، تا شروع سال جدید با دیدن فیلم‌ها کلاس‌های درس را دنبال کنید. دقت کنید که هفته‌ای دو فیلم در آپارات بارگذاری خواهد شد.
• تمرینهای درس در این سایت بارگذاری خواهند شد. لطفا به تاریخ روزآمد سایت توجه داشته باشید.

---

درباره‌ی درس

درس منطق ریاضی ۴ واحدی است. در این درس به بیان و اثبات دو قضیه‌ی تمامیت و ناتمامیت گودل خواهم پرداخت. در بخشهایی از درس به مباحثی مقدماتی از نظریه‌ی مدل و نظریه‌ی محاسبه‌پذیری خواهم پرداخت. منبع درس، سلیقه‌ی خودم در تدریس است. در عین حال منابع زیر را به دانشجویان پیشنهاد می‌کنم:

• مبانی منطق و نظریه‌ی مجموعه‌ها، محسن خانی
• A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity, Shawn Hedman.
• A Mathematical Introduction to Logic, Herbert Enderton, Herbert B. Enderton
• Mathematische Logik, Martin Ziegler
• Mathematical logic, Ebbinghaus, Flum, Thomas
• Introduction to Mathematical Logic, Elliot Mendelson
• Logic and Structure, Drik van Dalen

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

---

تمرین‌ها

لطفاً‌ به تاریخ تحویل تمرینها توجه کنید.

• سری اول تمرینها
• سری دوم تمرینها
• سری سوم تمرینها
• سری چهارم تمرینها
• سری پنجم و ششم تمرینها
• سری هفتم و هشتم تمرینها
• سری نهم و دهم تمرینها

---

فیلمها

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

پیوند فیـــــلم‌ها در آپارات