سرفصل مطالب

سرفصل مطالب
# سرفصل مطالب طرح درس (براساس سرفصل)
1 معرفی سرفصل مطالب و منابع و نحوه ارزشیابی همراه با معرفی اجمالی مبحث منطق ریاضی با بیان چند مثال
2 گزاره ها و رابط های گزاره ای، تابعهاا و جدول های درستی
3 صورتهای نرمال و مجموعه ای کارساز از رابط ها
4 معرفی دستگاه صوری گزاره ها
5 برهان و استنتاج در دستگاه صوری گزاره ها
6 قضیه استنتاج و نتایج آن
7 ارزشگذاری ، راستکو، قضیه صحت و توسیع دستگاه L
8 سازگاری، تمامیت و قضیه کارسازی
9 محمول ها و سورها
10 ادامه زبان های مرتبه اول
11 معرفی زبان های مرتبه اول
12 تعبیرهای زبان های مرتبه اول
13 صدق و درستی
14 راستگوها و فخس های منطقا معتبر
15 معرفی دستگاه صوری محمولات
16 چند قضیه در دستگاه صوری محمولات
17 هم ارزی و جانشینی
18 قضیه کارسازی در دستگاه صوری محمولات
19 الگوها در دستگاه صوری محمولات
20 معرفی دستگاههای ریاضی
21 دستگاه ریاضی نظریه گروهها
22 حساب مرتبه اول
23 نظریه صوری مجموعه ها
24 سازگاری و الگوها و آشنایی با قضیه ناتمامیت گدل