Dastur haqida
Matematik mantiq, algebra, sonlar nazariyasi va diskret matematika - matematikaning bo'limlari bo'lib, ular butun sonlar va ularning umumlashmalarining xususiyatlarini, algebraik tuzilmalarini, matematik nazariyalarning umumiy tuzilishini, ularning modellari va algoritmik jarayonlarini o'rganadi. Algebrada ularga berilgan operatsiyalar va munosabatlar bilan abstrakt to'plamlar o'rganiladi. Matematik mantiqda rasmiylashtirilgan matematik nazariyalarning sintaktik va semantik xususiyatlari va ularning semantik modellarining strukturaviy xususiyatlari o'rganiladi. Sonlar nazariyasida matematik obyektlarning arifmetik xususiyatlari o'rganiladi.