Аннотация:В связи с введением в школьное образование информатики появились дополнительные стимулы к разработке методик преподавания в школе логических основ решения задач, в том числе и доказательства теорем. Использование элементов логики на подготовительном факультете способствует развитию у будущего студента алгоритмического мышления, помогает ему в овладении любыми знаниями на более высоком уровне. В статье отмечаются основные моменты, на которые при этом следует обратить особенно пристальное внимание.