230115 рп елементы математической логики текхники