منطق ریاضی

poster
پیش‌نمایش دوره

... ادامه

برگزارکننده:  دانشگاه تهران  دانشگاه تهران
مدرس دوره:
4.1 (7 رای)
سطح: مقدماتی
 رایگان
  
زمان مورد نیاز برای گذراندن دوره:  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  

درباره استاد

maktabkhooneh-teacher مجید علیزاده

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

مشاهده پروفایل و دوره‌‌های استاد

نظرات کاربران

تا کنون نظری برای این دوره ثبت نشده است. برای ثبت نظر باید ابتدا در دوره ثبت نام کرده و دانشجوی دوره باشید.
1401-07-08
طبق تجربه من اکثر استادا واقعا حوصله ندارن که درس رو با جزئیات توضیح بدن و هر جلسه ای که سر کلاس حاضر میشن خواستشون اینه که درس تا یه جایی پیش بره و چیز دیگه ای مهم نیست ... اما آقای علیزاده فوق العاده فلسفی و با جزئیات زیاد از جنبه های مختلف همه چیز رو توضیح میدن به طوریکه تمام نیازهای آموزشی شما برطرف میشه و همینطور از محتوای تدریس ایشون هم لذت میبرید .
1399-08-20
درود بر شرفت درود بر عظمتت درود بر بزرگیت خدا عزتت بده استاد
الله کرم نجات ایمانی 1399-07-25
با سلام و خسته نباشید . جناب استاد دکتر علیزاده سخترین درس را به ساده ترین شکل ممکن ارائه نموده اند . از راه دور دست ایشان می بوسم. ممنون از زحمات.من مهندس کامپیوتر هستم بعد از گوش دادن این درس تازه متوجه شدم مفهوم کامپیوتر چیست. عاشق سواد و نحوه تدریس ایشان شدم .
1402-01-31
با درود. استاد علیزاده خوب درس می‌دهند ولی در راهکار(حل) نمونه‌ها(مثال‌ها) بد کار می‌کنند. نمونه در استنتاج طبیعی هنگامی که دانشجویان هم یک فرض و هم نقیض آن را در نظر می‌گیرند می‌پذیرند. ولی اگر هم یک فرض و هم نقیض آن را فرض کنیم به بات رسیده و از آن هر چیزی نتیجه می‌شود. در استنتاج طبیعی ما تنها باید یکی را فرض منیم و نه فرض و نقیض آن را و گرنه دستگاه ناسازگار بوده و از دستگاه ناسازگار هر چیزی نتیجه می‌شود. خود استاد هم در جایی این را می‌گوید ولی باز در راهکار(حل) نمونه(مثال)ها از آن و سخن اشتباه دانشجویان بهره می‌برد. یا در دستگاه ‌HP ایشاناز ادخال فاصل بهره نمی‌برند و راهکار(حل) نمونه پیچیده می‌شود. ولی باز هم سپاس بسیار استاد. بهره فراوانی از درس بردم🙏

دوره‌های پیشنهادی

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

آیا ممکن است که درسی ناقص ضبط شده باشد؟
ما همواره تلاش کرده­‌ایم که دروس را به طور کامل ضبط نماییم و در اختیار شما دوستان قرار دهیم. اما گاهی برخی ناهماهنگی ها سبب می شود که یک یا تعدادی از جلسات یک درس ضبط نشود. توضیح این گونه نواقص در توضیح درس­ ها آمده است.

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

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

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

آیا امکان دریافت فیلم های یک درس به صورت سی دی یا دی وی دی وجود دارد؟
در حال حاضر امکان ارسال دروس به صورت سی دی یا دی وی دی وجود ندارد.
poster
پیش‌نمایش دوره
  
برگزار کننده:  دانشگاه تهران
  
زمان مورد نیاز برای گذراندن دوره:  29 جلسه
مجموع محتوای آموزشی:  41 ساعت ویدئو
 (قابل دانلود می‌باشد)