История математической логики как составляющая факультатива «История информатики» в сельской школе»статья