КТП Элементы математической логики для специальности 090204