منطق ریاضی

جلسه اول - معرفی درس منطق ریاضی از نگاه تاریخی

"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