محاسبات نرم

محاسبات نرم

۲ مطلب با کلمه‌ی کلیدی «منطق ریاضی» ثبت شده است

ششمین همایش سالانه انجمن مطق ایران، با همکاری پژوهشگاه دانش‌های بنیادی طی روزهای ۱۰ و ۱۱ بهمن در دانشگاه شهید بهشتی برگزار می شود.

 

حوزه های پژوهشی این سمینار مرتبط عبارت اند از: 

 

۱. منطق ریاضی؛ ۲. منطق فلسفی؛ ۳. فلسفه ریاضیات؛ ۴. فلسفه منطق؛ ۵. منطق قدیم؛ ۶.تاریخ منطق؛ ۷. منطق و علوم رایانه؛ ۸. منطق کاربردی؛ ۹. منطق و روش شناسی و ۱۰. آموزش منطق.


  • فرشته تکراری
  • فرشته تکراری