مبانی منطق و نظریه مجموعه‌ها (۱۴۰۲-۱۴۰۳-۲)

1

نحو منطق گزاره‌ای

2 جلسه

2

معنی‌شناسی منطق گزاره ای

3 جلسه

3

اثبات و قواعد آن

3 جلسه

4

قضایای تمامیت و فشردگی

3 جلسه

5

نحو منطق مرتبه اول

2 جلسه

6

معنی‌شناسی منطق مرتبه اول (FOL)

3 جلسه

7

مروری بر اثبات در FOL

1 جلسه

8

مروری بر تمامیت و فشردگی در FOL

1 جلسه

9

مبانی و اصول نظریه مجموعه‌ها

3 جلسه

10

اوردینالها، کاردینالها و اصل انتخاب

3 جلسه