دانشکده:دروس:22131
22131
| اطلاعات درس | |
|---|---|
| شماره درس | 22 131 |
| نام درس | منطق ریاضی |
| تعداد واحد | 3 |
| مقطع | کارشناسی |
ریز مواد
زبان منطق گزاره‌ها، نحو و معنا‌شناسی منطق گزاره‌ها، استنتاج طبیعی، قضایای صحت و تمامیت در منطق گزاره‌ها، تصمیم پذیری منطق گزاره‌ها، زبان منطق مرتبه اول، نحو و معنا‌شناسی منطق مرتبه اول، استنتاج طبیعی، قضایای صحت و تمامیت در منطق مرتبه اول، قضیه فشردگی، قضایای افزایشی و کاهشی لون‌هایم – اسکولم و کاربردهای مختلف آن، حساب و آنالیز غیر استاندارد، مفاهیم قضایای ابتدایی نظریه مدل‌ها مانند مفاهیم زیر مدل، زیر مدل مقدماتی، همریختی و یکریختی بین مدل‌ها و … معرفی کلی زبان و منطق مرتبه دوم.1)
ارائه‌ها
- نیم‌سال اول ۱۳۹۸
- نیم‌سال اول ۱۳۹۹
- نیم‌سال دوم ۱۳۹۹
/opt/bitnami/dokuwiki/data/pages/دانشکده/دروس/22131.txt · آخرین ویرایش: 2024/02/07 13:15 توسط 127.0.0.1