КОС по дисциплине «Элементы математической логики» для специальности 090204