ФОРМАЛЬНАЯ ЛОГИКА И АЛГОРИТМЫ В ПРЕПОДАВАНИИ НАЧЕРТАТЕЛЬНОЙ ГЕОМЕТРИИ Взаимное расположение точки и прямой начертательная геометрия