Данные конспекты уроков к курсу «Логика в информатике» знакомят учащихся с элементами логики, понятиями «суждение», «множества», «ложность и истинность»«алгебра логики», «высказывания», основными логическими операциями (инверсия, коньюкция, дизьюнкция, апликация, эквивалентность, научат учащихся строить диаграммы Эйлера-Венна.Типы уроков - объяснительно-демонстрационный с элементами практики.В конспектах урока представлены практические задания в виде вопросов, тестов и упражнений на доказательство логической структуры и логического выражения.