فیلم های آموزشی درس منطق ریاضی
توضیحات درس
درباره استاد : مجید علیزاده
دکتر مجید علیزاده استاد دانشکده ریاضی دانشگاه تهران است.
جلسه اول - معرفی درس منطق ریاضی از نگاه تاریخی
جلسه دهم - معنا شناسی جبری
جلسه یازدهم - تمامیت جبری(ادامه)
جلسه دوازدهم - روشی تابلو برای منطق گزاره ای
جلسه سیزدهم - منطق مرتبه اول(معرفی زبان و فرمول)
جلسه چهاردهم - منطق مرتبه اول(معنا شناسی)
جلسه پانزدهم - منطق مرتبه اول _ادامه
جلسه شانزدهم - نشاندن و زیر ساخت
جلسه هفدهم - حل سوالات میان ترم
جلسه هجدهم - جانشینی در منطق مرتبه اول
جلسه نوزدهم - نظریه برهان برای منطق مرتبه اول
جلسه دوم - معرفی منطق گزاره ها(زبان)
جلسه بیستم - نظریه برهان برای منطق مرتبه اول
جلسه بیست و یکم - قضیه تمامیت مرتبه اول (جلسه اول)
جلسه بیست و دوم - اثبات قضیه تمامیت(بخش پایانی)
جلسه بیست و سوم - نتایج قضیه تمامیت و فشردگی
جلسه بیست و چهارم - قضیه لوفن هایم اسکولم و نتایج ان
جلسه بیست و پنجم - خوانا نیست
جلسه بیست و ششم - معرفی منطق LTL
جلسه بیست و هفتم - معانی شناسی منطق زمان
جلسه بیست و هشتم - فرمول های هم ارز در LTL
جلسه بیست و نهم - صوری سازی برهان با ایزابل
جلسه سوم - معناشناسی
جلسه چهارم - ادامه ی معناشناسی
جلسه پنجم - شروع نظریه برهان
جلسه ششم - نظریه برهان (روش اصل موضوعی)
جلسه هفتم - معرفی دستگاه استنتاج طبیعی برای منطق گزاره ها(NP)
جلسه هشتم - قضیه تمامیت
جلسه نهم - اثبات قضیه تمامیت
- ویدئو آموزشی درس مبانی اقتصاد
- ویدئو آموزشی درس برنامه نویسی وب
- ویدئو آموزشی درس مقاومت مصالح ١
- ویدئو آموزشی درس سیاه چاله
- ویدئو آموزشی درس تشخیص الگو
- ویدئو آموزشی درس آموزش MAYA
- ویدئو آموزشی درس آموزش PSpice
- ویدئو آموزشی درس آموزش مقدماتی زبان انگلیسی
- ویدئو آموزشی درس برنامه ریزی استراتژیک در عمل
- ویدئو آموزشی درس آموزش HSpice
- ویدئو آموزشی درس ریزپردازنده ۲
- ویدئو آموزشی درس آشنایی با لتکس و نحوه ارسال مقالات ISI
- ویدئو آموزشی درس داده کاوی
- ویدئو آموزشی درس ریاضی فیزیک ۲
- ویدئو آموزشی درس اقتصاد کلان ١
- ویدئو آموزشی درس اقتصاد خرد- دوره فرعی
- ویدئو آموزشی درس تحلیل دینامیک های سیستم (بهار ۱۳۹۴)
- ویدئو آموزشی درس بانکداری اسلامی
- ویدئو آموزشی درس برنامه سازی پیشرفته
- ویدئو آموزشی درس ساختمان داده ها