ВСГУТУ, Улан-Удэ, 2013. — 2 с.
Язык логики предикатов.
Запись формул.
Утверждение ассоциативности арифметической операции.
Постановка задачи.
Индивидуальные задания.
Запись формул.
Утверждение ассоциативности арифметической операции.
Постановка задачи.
Индивидуальные задания.