00:00 / 00:00
1.8x
1.4x
1.0x
0.7x
HD SD
HD
SD
00:00 / 00:00
1.8x
1.4x
1.0x
0.7x
HD SD
HD
SD

منطق ریاضی

دوره‌های دانشگاهی
29 جلسه

سرفصل‌ها

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

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

آیا امکان دریافت فیلم های یک درس به صورت سی دی یا دی وی دی وجود دارد؟
در حال حاضر امکان ارسال دروس به صورت سی دی یا دی وی دی وجود ندارد.
اگر لینک دانلود یا پخش ویدئو مشکل داشت چه باید کرد؟
در صورتی که با هر گونه مشکلی رو به رو شدید می توانید از طریق صفحه ارتباط با ما به ما اطلاع دهید تا ما سریعا مشکل را پیگیری و برطرف نماییم.
آیا درسی وجود دارد که ضبط شده اما روی سایت قرار نگرفته باشد؟
تمام دروس بعد از ضبط و آماده شدن بر روی سایت قرار می گیرند.
اگر بخواهیم درسی برای مکتب خونه ارسال کنیم چه روندی باید طی کنیم؟
اگر خودتان درسی تهیه کرده اید به صفحه همکاری با ما بروید تا آن را بررسی کنیم و بهتون اطلاع دهیم.
آیا ممکن است که درسی ناقص ضبط شده باشد؟
ما همواره تلاش کرده­‌ایم که دروس را به طور کامل ضبط نماییم و در اختیار شما دوستان قرار دهیم. اما گاهی برخی ناهماهنگی ها سبب می شود که یک یا تعدادی از جلسات یک درس ضبط نشود. توضیح این گونه نواقص در توضیح درس­ ها آمده است.
فیلم های آموزشی
41:23 ساعت
41:23
Combined Shape Created with Sketch. 29 جلسه
جلسه اول - معرفی درس منطق ریاضی از نگاه تاریخی
"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