درباره برنامه آموزشی
«مسائل ریاضی در توسعه نرمافزار»: هنگامی که در توسعه نرمافزار از «مسائل ریاضی» صحبت میشود، منظور پیچیدگیهایی است که در نقطه تلاقی ریاضیات و برنامهنویسی به وجود میآیند — یعنی زمانی که فقط نوشتن کد کافی نیست و باید یک ایده ریاضی را بهدرستی به زبان رسمی تبدیل کرد، درست کار کردن برنامه را اثبات کرد یا یک مسئله محاسباتی را بهصورت کارآمد حل کرد. راهحل اغلب در بهکارگیری روشهای صوری، آزمونهای پیشرفته، کتابخانههای تخصصی و رویکردی میانرشتهای (ریاضیات + علوم کامپیوتر + حوزه کاربردی مربوطه) نهفته است.
