Математическая логика в курсе информатики сельских школстатья