Use of information technologies at studying elements of mathematical logic in the course of computer science in secondary school

Abstract

Opportunities of use of information technologies at various stages of a computer science lesson at studying elements of mathematical logic in secondary school are considered.