جلسه هفتم - معرفی دستگاه استنتاج طبیعی برای منطق گزاره ها(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.2
از مجموع 11 امتیاز
4
نظر
2 سال پیش
طبق تجربه من اکثر استادا واقعا حوصله ندارن که درس رو با جزئیات توضیح بدن و هر جلسه ای که سر کلاس حاضر میشن خواستشون اینه که درس تا یه جایی پیش بره و چیز دیگه ای مهم نیست ...
اما آقای علیزاده فوق العاده فلسفی و با جزئیات زیاد از جنبه های مختلف همه چیز رو توضیح میدن به طوریکه تمام نیازهای آموزشی شما برطرف میشه و همینطور از محتوای تدریس ایشون هم لذت میبرید .
دانشجوی دوره
3 سال پیش
درود بر شرفت درود بر عظمتت درود بر بزرگیت خدا عزتت بده استاد
دانشجوی دوره
3 سال پیش
با سلام و خسته نباشید . جناب استاد دکتر علیزاده سخترین درس را به ساده ترین شکل ممکن ارائه نموده اند . از راه دور دست ایشان می بوسم. ممنون از زحمات.من مهندس کامپیوتر هستم بعد از گوش دادن این درس تازه متوجه شدم مفهوم کامپیوتر چیست. عاشق سواد و نحوه تدریس ایشان شدم .
الله کرم نجات ایمانی
1 سال پیش
با درود. استاد علیزاده خوب درس میدهند ولی در راهکار(حل) نمونهها(مثالها) بد کار میکنند. نمونه در استنتاج طبیعی هنگامی که دانشجویان هم یک فرض و هم نقیض آن را در نظر میگیرند میپذیرند. ولی اگر هم یک فرض و هم نقیض آن را فرض کنیم به بات رسیده و از آن هر چیزی نتیجه میشود. در استنتاج طبیعی ما تنها باید یکی را فرض منیم و نه فرض و نقیض آن را و گرنه دستگاه ناسازگار بوده و از دستگاه ناسازگار هر چیزی نتیجه میشود. خود استاد هم در جایی این را میگوید ولی باز در راهکار(حل) نمونه(مثال)ها از آن و سخن اشتباه دانشجویان بهره میبرد. یا در دستگاه HP ایشاناز ادخال فاصل بهره نمیبرند و راهکار(حل) نمونه پیچیده میشود.
ولی باز هم سپاس بسیار استاد. بهره فراوانی از درس بردم🙏
دکتر مجید علیزاده استاد دانشکده ریاضی دانشگاه تهران است.
اطلاعات بیشتر
سوالات پرتکرار
آیا ممکن است که درسی ناقص ضبط شده باشد؟
ما همواره تلاش کردهایم که دروس را به طور کامل ضبط نماییم و در اختیار شما دوستان قرار دهیم. اما گاهی برخی ناهماهنگی ها سبب می شود که یک یا تعدادی از جلسات یک درس ضبط نشود. توضیح این گونه نواقص در توضیح درس ها آمده است.
سوالات پرتکرار
اگر لینک دانلود یا پخش ویدئو مشکل داشت چه باید کرد؟
در صورتی که با هر گونه مشکلی رو به رو شدید می توانید از طریق صفحه ارتباط با ما به ما اطلاع دهید تا ما سریعا مشکل را پیگیری و برطرف نماییم.
سوالات پرتکرار
آیا امکان دریافت فیلم های یک درس به صورت سی دی یا دی وی دی وجود دارد؟
در حال حاضر امکان ارسال دروس به صورت سی دی یا دی وی دی وجود ندارد.