اطلاعات درس | |
---|---|
شماره درس | 22 131 |
نام درس | منطق ریاضی |
تعداد واحد | 3 |
مقطع | کارشناسی |
زبان منطق گزارهها، نحو و معناشناسی منطق گزارهها، استنتاج طبیعی، قضایای صحت و تمامیت در منطق گزارهها، تصمیم پذیری منطق گزارهها، زبان منطق مرتبه اول، نحو و معناشناسی منطق مرتبه اول، استنتاج طبیعی، قضایای صحت و تمامیت در منطق مرتبه اول، قضیه فشردگی، قضایای افزایشی و کاهشی لونهایم – اسکولم و کاربردهای مختلف آن، حساب و آنالیز غیر استاندارد، مفاهیم قضایای ابتدایی نظریه مدلها مانند مفاهیم زیر مدل، زیر مدل مقدماتی، همریختی و یکریختی بین مدلها و … معرفی کلی زبان و منطق مرتبه دوم.1)