Разработка системы логического вывода для обучения искусственных нейронных сетейкурсовая работа (Магистр)