دانشیار
تاریخ به‌روزرسانی: 1404/02/17
مرتضی منیری
علوم ریاضی / ریاضی
دروس ارائه شده نیمسال جاری
| نام درس | واحد | زمان ارائه درس | ترم |
|---|---|---|---|
| مبانی علوم ریاضی | 3 | هر هفته، شنبه ، 10:30-12:00، هر هفته، دوشنبه ، 10:30-12:00 | نیمسال دوم سال تحصیلی 1403-1404 |
| تاریخ علم ریاضیات | 3 | هر هفته، شنبه ، 09:00-10:30، هر هفته، دوشنبه ، 09:00-10:30 | نیمسال دوم سال تحصیلی 1403-1404 |
دروس ارائه شده قبلی
- جبر 1
- ریاضیات عمومی 1
- سمینار
- فلسفه علم ریاضیات
- مباحث ویژه
- مباحثی در منطق ریاضی
- مباحثی در منطق غیر کلاسیک
- مباحثی در منطق محاسباتی
- مبانی ریاضیات
- مبانی علوم ریاضی
- مبانی محاسبات نرم
- مبانی منطق و نظریه مجموعه ها
- منطق
- منطق ریاضی
- منطق ریاضی
- منطق ریاضی 1
- منطق ریاضی 2
- منطق ریاضی**
- منطق شهودگرایی
- منطق شهودی
- منطق محاسباتی
- منطق مشکک
- منطق های غیر کلاسیک
- منطق های غیرکلاسیک
- منطق و حساب شهود گرایی
- منطق وجهی
- نظریه اتوماتا
- نظریه علوم کامپیوتر
- نظریه مجموعه ها یا جبر کاربسته
- نظریه محاسبه پذیری
- نظریه محاسبه پذیری
- نظریه مدل ها