Изучение элементов математической логики и аналитического метода решения задач и доказательства теорем.