Education

مبانی منطق، بهار ۱۳۹۹

Details
Hits: 2111

  1. تمرات پروژه، ارزیابی مختصر شفاهی، تمرین و ارزیابی مفصل شفاهی-معدل: pdf icon small  در صورتی که فکر می‌کنید در محاسبه‌ی نمره‌ی شما خطایی رخ داده، با من تماس بگیرید (تلگرام، واتس‌اپ یا ای‌میل).
  2. دستورالعمل تحویل پروژه و ارزیابی مختصر شفاهی به صورت آنلاین: (دوشنبه، سه‌شنبه و چهارشنبه، ۲۰، ۲۱ و ۲۲ مرداد)
    ۱- در زمان تعیین شده در جدول زمانی، با زدن روی این پیوند، به گروه اسکایپی بپیوندید.
    ۲- حتما با لپ‌تاپی که روی آن امکان نمایش متن پروژه  هست این کار را انجام داده و علاوه بر روشن گذاشتن میکروفون و وب‌کم، اسکرین لپ‌تاپتان که روی آن متن پروژه قرار دارد را هم با من به اشتراک بگذارید. به دلیل محدودیت زمانی، حتماً پیش از تحویل پروژه، همه‌ی این موارد را به صورت آزمایشی با یکی از دوستانتان امتحان کنید.
    ۳- پس از اتمام پرسش‌ها، گروه اسکایپی را تَرک کنید.
    ۴- پیش و پس از بازه‌ی زمانی مربوط به خودتان در گروه اسکایپی نباشید.فقط زمان تحویل پروژه.
    ۵- در ابتدای گزارش پروژه، نام، نام خانوادگی، شماره‌ی دانشجوییتان و فایل پروژه را در همان گروه اسکایپی، بدون هیچ گونه متن اضافه‌تری  ارسال کنید.
    ۶- در صورتی که در روزهای ارائه‌ی پروژه سؤالی فوری از من دارید، می‌توانید از طریق واتس‌اَپ به شماره‌ی ۰۹۰۳۱۸۹۸۴۶۹ در میان بگذارید. 
    برای همه‌ی شما آرزوی موفقیت دارم.
  3. نمرات تمرین را اینجا ببینید و در صورتی که فکر می‌کنید در محاسبات خطایی رخ داده حداکثر تا روز دوشنبه ۳۰ تیر به من پیام دهید (تلگرام، واتس‌اپ یا ای‌میل).
    توضیح: ستون آخر نمره‌ی تمرین شما از ۴ نمره را نشان می‌دهد.
    سلول‌هایی که نمره‌ی D در آن‌ها درج شده، تمرین‌های با تاخیر هستند و ۸۰درصد نمره را کسب کرده‌اند.
    همه‌ی تمرین‌ها را به‌صورت یک‌جا در صفحه‌ی اینترنتی درس بیابید.
  4. دانشجویانی که احیاناً برخی تمرین‌ها را تحویل نداده‌اند، می‌توانند تا تاریخ ۱۶ تیر تمرین‌هایشان را جهت جبران بخشی از نمره‌ی از دست رفته ارسال کنند. توجه داشته باشید که موعد تحویل سری پنجم تمرین‌ها، همان ۱۶ تیر است.
  5. در صورتی که تمایل به ارزیابیِ مفصلِ شفاهی و آنلاین (اسکایپی) دارید، تا سه‌شنبه ۱۰ تیر، نام، نام خانوادگی و شماره‌ی دانشجویی خود را (علاوه بر نوشته‌ای که بیان می‌کند گزینه‌ی انتخابیتان برای ارزیابی، آنلاین و شفاهی خواهد بود)  برایم ارسال کنید (تلگرام، واتس‌اپ یا ای‌میل). توجه: ارزیابی مفصل شفاهی در روز امتحان (۱۶ تیر) خواهد بود و جدول زمان‌بندی آن از همین طریق اعلان خواهد شد.
  6. موضوعات پروژه‌ی درس. توجه۱: لطفاً بعد از بررسی موضوعات پروژه، موضوع انتخابی خود را حداکثر تا سه‌شنبه ۱۰ تیر با ارسال یک پیام (تلگرام، واتس‌اپ یا ای‌میل) به من مشخص کنید. حتماً در پیام خود کُدِ پروژه، نام، نام خانوادگی و شماره‌ی دانشجویی را ارسال کنید. دقت کنید که شماره‌ی دانشجویی با حروف لاتین ارسال شود. توجه۲: انجام پروژه‌ها به‌صورت انفرادی است. توجه۳: حتماً پیش از شروع انجام پروژه، تایید من را که در جواب پیامتان برای شما ارسال می‌کنم دریافت کنید. توجه۴: همه‌ی پروژه‌ها نیازمند گزارش مکتوب دست‌نویس‌اند. توجه۵: مهلت ارسال پروژه‌ها: ۱۵ مرداد ۱۳۹۹. توجه۶: ارائه‌ی پروژه‌ها به صورت پرسش و پاسخ و از طریق اسکایپ خواهد بود. جدول زمانی ارائه‌ی پروژه‌ها و لینک اسکایپ متعاقبا از همین طریق اعلان خواهد شد. توجه۷: یافتن منبع مناسب برای برخی از پروژه‌ها بخشی از پروژه است، هرچند می‌توانید در مورد خوب یا بد بودن منابعی که برای پروژه‌ی خود یافته‌اید از من یا تدریس‌یارانتان در گروه تلگرام درس راهنمایی بگیرید. پیوندهای ویکی‌پدیا صرفاً برای تبیین صورت مسأله و روشن کردن موضوع آمده‌اند.
  7. نحوه‌ی ارزیابی و محاسبه‌ی نمره‌ی نهایی به این صورت است: نمره‌ی نهایی= تمرین (۴نمره) + پروژه (۶نمره) + ارزیابیِ مختصر شفاهی و آنلاین (۲نمره) + ارزیابیِ دل‌خواه (۸نمره). در این فرمول ارزیابیِ دل‌خواه به انتخاب دانشجو، به یکی از روش‌هایی که در پی می‌آید محاسبه خواهد شد: (الف) آزمون مفصل (حدود یک‌ساعته) شفاهی و آنلاین، (ب) «معدل دانشجو در سامانه‌ی آموزش به‌علاوه‌ی ۳» ضرب‌در ۴دَهُم. توجه۱:  ارزیابی مختصر شفاهی، هم‌زمان با ارائه‌ی پروژه خواهد بود که جدول زمانیِ آن به زودی اعلام خواهد شد. توجه۲: ارزیابی مفصل شفاهی در تاریخ ۱۶ تیر به عمل خواهد آمد و در صورتی که دانشجو این نحوه را برای ارزیابی برگزیند، امکان تغییر آن پس از ارزیابی شفاهی وجود نخواهد داشت. توجه۳: در مورد موضوع پروژه‌ها، زمان ارائه‌ی پروژه‌ها و مهلت تحویل آن‌ها جداگانه توضیح خواهم داد.
  8. تمرین‌های سری پنجم: pdf icon small
  9. آموزش مَجازی، یکشنبه و سه‌شنبه ۱۱ و ۱۳ خرداد ۱۳۹۹: منطق ریاضی، جلسه‌ی بیست و سوم (نتایج قضیه تمامیت و فشردگی) از مکتب‌خونه.
  10. کلاس آنلاین اسکایپی، یکشنبه ۱۱ خرداد ساعت ۱۰ صبح.
  11. آموزش مَجازی، یکشنبه و سه‌شنبه ۲۸ و ۳۰ اردیبهشت ۱۳۹۹: منطق ریاضی، جلسه‌ی بیست و دوم (قضیه تمامیت مرتبه اول II) از مکتب‌خونه.
  12. کلاس آنلاین اسکایپی، یکشنبه ۲۸ اردیبهشت ساعت ۱۰ صبح.
  13. آموزش مَجازی، یکشنبه و سه‌شنبه ۲۱ و ۲۳ اردیبهشت ۱۳۹۹: منطق ریاضی، جلسه‌ی بیست و یکم (قضیه تمامیت مرتبه اول I) از مکتب‌خونه.
  14. کلاس آنلاین اسکایپی، یکشنبه ۲۱ اردیبهشت ساعت ۱۰ صبح.
  15. اصول و قواعد دستگاه‌های استنتاجی: pdf icon small چند استنتاج در دستگاه استنتاج طبیعی و رشته‌ای: pdf icon small چند استنتاج در دسگاه هیلبرتی: pdf icon small  پاسخ‌نامه‌ی فصل ۱ کتاب دکتر اردشیر: pdf icon small
  16. تمرین‌های سری چهارم: pdf icon small
  17. آموزش مَجازی، یکشنبه و سه‌شنبه ۱۴ و ۱۶ اردیبهشت ۱۳۹۹: منطق ریاضی، جلسه‌ی بیستم (نظریه برهان برای منطق مرتبه اول) از مکتب‌خونه.
  18. کلاس آنلاین اسکایپی، یکشنبه ۱۴ اردیبهشت ساعت ۱۰ صبح.
  19. آموزش مَجازی، یکشنبه و سه‌شنبه ۷ و ۹ اردیبهشت ۱۳۹۹: منطق ریاضی،  جلسه هجدهم (جانشینی در منطق مرتبه اول) و نوزدهم (نظریه برهان برای منطق مرتبه اول) از مکتب‌خونه.
  20. کلاس آنلاین اسکایپی، یکشنبه ۷ اردیبهشت ساعت ۱۰ صبح.
  21. آموزش مَجازی، یکشنبه و سه‌شنبه ۳۱ فروردین و ۲ اردیبهشت ۱۳۹۹: منطق ریاضی،  جلسه شانزدهم (نشاندن و زیرساخت) و هفدهم (حل نمونه‌سؤال میان‌ترم) از مکتب‌خونه.
  22. آموزش مَجازی، یکشنبه و سه‌شنبه ۲۴ و ۲۶  فروردین ۱۳۹۹: منطق ریاضی،  جلسه چهاردهم منطق مرتبه اول(معنا شناسی) و جلسه پانزدهم - منطق مرتبه اول _ادامه از مکتب‌خونه.
  23. آموزش مَجازی، سه‌شنبه ۲۰ فروردین ۱۳۹۹: منطق ریاضی، جلسه‌ی سیزدهم (منطق مرتبه‌اول) از مکتب‌خونه. جهت تکمیل یادگیری می‌توانید ویراست  پنجم کتاب Logic and Structure نوشته‌ی Dirk van Dalen  را ببینید.
  24. آموزش مَجازی، یکشنبه ۱۸ فروردین ۱۳۹۹: منطق ریاضی، جلسه‌ی دهم (معناشناسی جبری) از مکتب‌خونه.
  25. تمرین‌های سری سوم: pdf icon small
  26. آموزش مَجازی، سه‌شنبه ۲۷ اسفند ۹۸: منطق ریاضی، جلسه‌ی نهم (اثبات قضیه‌ی تمامیت) از مکتب‌خونه.
  27. آموزش مَجازی، یکشنبه ۲۵ اسفند ۹۸: منطق ریاضی، جلسه‌ی هشتم (قضیه‌ی تمامیت) از مکتب‌خونه.
  28. آموزش مَجازی، سه‌شنبه ۲۰ اسفند ۹۸: منطق ریاضی، جلسه‌ی هفتم (معرفی دستگاه استنتاج طبیعی برای منطق گزاره ها(NP)) از مکتب‌خونه.
  29. پاسخ‌نامه‌ی تمرین‌های سری دوم: pdf icon small
  30. اگر در مورد مباحث درس سؤالی دارید، می‌توانید از طریق ای-میل This email address is being protected from spambots. You need JavaScript enabled to view it. و یا در گروه تلگرام بپرسید.
  31. دستور‌العمل ارسال تمرین‌ها: لطفاً به کمک اسکنر یا نرم‌افزارهای موبایلی، برای هر سری تمرین، یک فایل pdf  خوانا با حجم حداکثر ۲ مگابایت تهیه و به آدرس This email address is being protected from spambots. You need JavaScript enabled to view it. ای-میل کنید. عنوان ای-میل من برای تمرین سری ۲: E2-Mojtaba Mojtahedi
  32. آدرس ای-میل جهت ارسال تمرین‌ها، ارسال سؤال و ...: This email address is being protected from spambots. You need JavaScript enabled to view it.
  33. آموزش مَجازی، سه‌شنبه ۱۳ اسفند ۹۸: منطق ریاضی، جلسه‌ی ششم (نظریه برهان: روش اصل موضوعی) از مکتب‌خونه.
  34. آموزش مَجازی، یکشنبه ۱۱ اسفند ۹۸: منطق ریاضی، جلسه‌ی پنجم (شروع نظریه‌ی برهان) از مکتب‌خونه.
  35. تمرین‌های سری دوم: pdf icon small
  36. تمرین‌های سری اول: pdf icon small
  37. نمرات تمرین
  38.  گروه تلگرام درس: https://t.me/LogicSpring99
  39. پیوند صفحه‌ی درس مربوط به سالهای قبل (حاوی نمونه‌سؤالات امتحانات میان‌ترم و پایان‌ترم گذشته به همراه پاسخنامه‌ها)
  40. پاسخ‌نامه‌ی تمرین‌هایِ کتاب درس (فصل نخست، منطبق بر ویراست دوم، چاپ اول) pdf icon small
  41. این برنامه‌ی اندروئیدی، با گرفتن یک گزاره از کاربر، در خروجی همان‌گو بودن یا نبودن آن را اعلام می‌کند. این برنامه در زبان #C توسط آقای مجتبیٰ گودرزی نوشته شده است. نسخه‌ی تحتِ ویندوزِ این برنامه را نیز می‌توانید از این‌جا دانلود کنید.سورس‌کدِ این برنامه‌ها را هم می‌توانید از این‌جا بردارید.
  42. کلاس‌های حل‌تمرین: یکشنبه‌ها ساعت ۱۲-۱۳
  43. تدریس‌یاران: آقایان مهرداد ریاحی و کامیار میرزاوزیری
  44. ساعات رفع اشکال: شنبه‌ها و دوشنبه‌ها ساعت ۱۴:۳۰ الی ۱۶
  45. نحوه‌ی محاسبه‌ی نمره‌ی نهاییِ درس:۱۰ نمره پایان‌ترم، ۸ نمره میان‌ترم و ۲نمره تمرین.
  46. کتاب‌های دیگر:   Enderton و van Dalen
  47. کتاب اصلی درس:  منطق ریاضی، محمّد اردشیر.
  48. تاریخ آزمون میان‌ترم: یک‌شنبه ۷ اردیبهشت
  49. این‌جا صفحه‌ی اخصاصیِ درس مبانیِ منطق است که در ترم بهار سال۱۳۹۸ (نیم‌سال دوم سال تحصیلی ۹۸-۹۹) در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.