×
ribbon
4.3 (15)
6 دیدگاه
3,671دانشجو
41ساعت
سرفصل‌ها
مقدماتی سطح دوره

اشتراک مکتب‌پلاس

خرید اشتراک

با خرید اشتراک مکتب‌پلاس، علاوه بر این دوره، به بیش از ۴،۰۰۰ دوره دیگر دسترسی خواهید داشت.

دسترسی به تمام دوره‌هابیش از ۴،۰۰۰ دوره
محتوای دوره
سرفصل‌ها
دیدگاه کاربران
درباره مدرس

این دوره شامل:

41 ساعت ویدئو

دسترسی مادام‌العمر به محتوای دوره

سرفصل‌های دوره

1 فصل29 جلسه41 ساعت ویدیو
فیلم های آموزشی
  جلسه اول - معرفی درس منطق ریاضی از نگاه تاریخی
88:40
  جلسه دوم - معرفی منطق گزاره ها(زبان)
90:00
  جلسه سوم - معناشناسی
75:51
  جلسه چهارم - ادامه ی معناشناسی
80:49
  جلسه پنجم - شروع نظریه برهان
90:01
  جلسه ششم - نظریه برهان (روش اصل موضوعی)
91:10
  جلسه هفتم - معرفی دستگاه استنتاج طبیعی برای منطق گزاره ها(NP)
87:01
  جلسه هشتم - قضیه تمامیت
108:52
  جلسه نهم - اثبات قضیه تمامیت
89:52
  جلسه دهم - معنا شناسی جبری
86:51
  جلسه یازدهم - تمامیت جبری(ادامه)
89:52
  جلسه دوازدهم - روشی تابلو برای منطق گزاره ای
70:22
  جلسه سیزدهم - منطق مرتبه اول(معرفی زبان و فرمول)
92:32
  جلسه چهاردهم - منطق مرتبه اول(معنا شناسی)
87:16
  جلسه پانزدهم - منطق مرتبه اول _ادامه
80:01
  جلسه شانزدهم - نشاندن و زیر ساخت
79:33
  جلسه هفدهم - حل سوالات میان ترم
69:31
  جلسه هجدهم - جانشینی در منطق مرتبه اول
79:55
  جلسه نوزدهم - نظریه برهان برای منطق مرتبه اول
96:15
  جلسه بیستم - نظریه برهان برای منطق مرتبه اول
81:41
  جلسه بیست و یکم - قضیه تمامیت مرتبه اول (جلسه اول)
88:01
  جلسه بیست و دوم - اثبات قضیه تمامیت(بخش پایانی)
75:31
  جلسه بیست و سوم - نتایج قضیه تمامیت و فشردگی
73:41
  جلسه بیست و چهارم - قضیه لوفن هایم اسکولم و نتایج ان
75:01
  جلسه بیست و پنجم - خوانا نیست
103:12
  جلسه بیست و ششم - معرفی منطق LTL
82:46
  جلسه بیست و هفتم - معانی شناسی منطق زمان
102:31
  جلسه بیست و هشتم - فرمول های هم ارز در LTL
91:01
  جلسه بیست و نهم - صوری سازی برهان با ایزابل
75:09

دیدگاه کاربران

4.3

بر اساس امتیاز 15 دانشجو

1
2
3
4
5

دانشجوی دوره

13 روز پیش

5

عشق

محمدياسین زارع

26 روز پیش

5

عالللللللللللللی

دانشجوی دوره

3 سال پیش

5

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

دانشجوی دوره

5 سال پیش

5

درود بر شرفت درود بر عظمتت درود بر بزرگیت خدا عزتت بده استاد

الله کرم نجات ایمانی

5 سال پیش

5

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

دانشجوی دوره

3 سال پیش

3

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

2دوره
7,090دانشجو
30نظر و امتیاز

دکتر مجید علیزاده استاد دانشکده ریاضی دانشگاه تهران است.

مهارت‌هایی که می‌آموزید

دوره‌های مشابه

سوالات پرتکرار

آیا ممکن است برخی جلسات یک درس ناقص باشند؟

معمولا تمامی جلسات هر درس به‌طور کامل ضبط می‌شوند؛ اما گاهی به دلیل برخی ناهماهنگی‌ها ممکن است یک یا چند جلسه ضبط نشده باشد. جزئیات این موارد در توضیحات هر درس درج شده است.

اگر لینک دانلود یا پخش ویدئو مشکل داشت، چه کاری باید انجام داد؟

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

آیا می‌توان ویدئوهای یک درس را به‌صورت سی‌دی یا دی‌وی‌دی از شما تهیه کرد؟

در حال حاضر امکان ارسال دروس به‌صورت سی‌دی یا دی‌وی‌دی وجود ندارد و همه محتواها به شکل آنلاین ارائه می‌شوند.