ФОРМАЛЬНАЯ ЛОГИКА И АЛГОРИТМЫ В ПРЕПОДАВАНИИ НАЧЕРТАТЕЛЬНОЙ ГЕОМЕТРИИ