مبانی منطق و نظریه مجموعهها (۱۴۰۱-۱۴۰۲-۲)
منابع درس:
|
منطق ریاضی |
محمد اردشیر |
مرجع اصلی قسمت منطق |
|
A first course in logic |
Shawn Hedman |
|
|
درآمدی به نظریه مجموعهها |
یخ، هرباتسک ترجمه سعید مقصودی |
مرجع اصلی قسمت نظریه مجموعهها |
|
جزوه درس در یکی از ترمهای قبل |
سید محمد امین خاتمی |
مباحث درسی:
|
1 |
نحو منطق گزارهای |
2 جلسه |
|
2 |
معنیشناسی منطق گزاره ای |
3 جلسه |
|
3 |
اثبات و قواعد آن |
3 جلسه |
|
4 |
قضایای تمامیت و فشردگی |
3 جلسه |
|
5 |
نحو منطق مرتبه اول |
2 جلسه |
|
6 |
معنیشناسی منطق مرتبه اول (FOL) |
3 جلسه |
|
7 |
مروری بر اثبات در FOL |
1 جلسه |
|
8 |
مروری بر تمامیت و فشردگی در FOL |
1 جلسه |
|
9 |
مبانی و اصول نظریه مجموعهها |
3 جلسه |
|
10 |
اوردینالها، کاردینالها و اصل انتخاب |
3 جلسه |
ساعت کلاس:
دوشنبه 8 الی 10 کلاس 210،
سهشنبه 8 الی 10 کلاس 210 (هفتههای زوج)
تمرینات تحویلی (قسمت اول)
میانترم:
18 اردیبهشت 1402 ساعت 8 الی 9:30 (کنسل شد)
31 اردیبهشت 1402 ساعت 10 الی 11:30
پایانترم:
5 تیر 1402 ساعت 8 الی 10:30 (نمونه سوال از سالهای قبل)