×
ribbon

منطق ریاضی

... ادامه

ارائه دهنده:  دانشگاه تهران  دانشگاه تهران
مدرس دوره:
4.6 (5 رای)
سطح: مقدماتی
 رایگان
  
زمان مورد نیاز برای گذارندن دوره:  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 مجید علیزاده

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

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

نظرات کاربران  ( نظر)

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

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

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

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

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

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

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

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