درباره برنامه آموزشی
منطق ریاضی، جبر، نظریه اعداد و ریاضیات گسسته شاخه هایی از ریاضیات هستند که خواص اعداد صحیح و تعمیم های آنها، ساختارهای جبری، ساختار کلی نظریه های ریاضی، مدل های آنها و فرآیندهای الگوریتمی را بررسی می کنند. در جبر، مجموعه های انتزاعی با عملیات و روابط داده شده بر روی آنها مورد بررسی قرار می گیرند. در منطق ریاضی، خواص نحوی و معنایی نظریه های ریاضی رسمی و خواص ساختاری مدل های معنایی آنها مورد بررسی قرار می گیرد. در نظریه اعداد، خواص حسابی اشیاء ریاضی مورد بررسی قرار می گیرد.