Курс предназначен для ознакомления с основами математического языка и математической логики