Окуу программасы жөнүндө
Математикалык логика, алгебра, сандар теориясы жана дискреттик математика – математиканын бүтүн сандардын жана алардын жалпыланууларынын касиеттерин, алгебралык түзүлүштөрүн, математикалык теориялардын жалпы түзүлүшүн, алардын моделдерин жана алгоритмдик процесстерин изилдеген бөлүмдөрү. Алгебрада берилген операциялар жана мамилелер менен абстрактуу жыйындылар изилденет. Математикалык логикада формалдуу математикалык теориялардын синтаксистик жана семантикалык касиеттери жана алардын семантикалык моделдеринин структуралык касиеттери изилденет. Сандар теориясында математикалык объектилердин арифметикалык касиеттери изилденет.