Элементы теории множеств и математической логики. Нейросети