В рамках урока информатики десятиклассники Раифского СУВУ разбирали фундаментальные основы информатики: теорию множеств и математическую логику. Эти темы — «азбука» для понимания устройства компьютеров, алгоритмов и баз данных.

Что делали на уроке:

— познакомились с основными понятиями: множество, элемент множества, подмножество, операции объединения, пересечения и разности;
— научились описывать логические высказывания с помощью операций И (конъюнкция), ИЛИ (дизъюнкция) и НЕ (инверсия);
— строили таблицы истинности для сложных логических выражений, чтобы определять их истинность при разных наборах исходных данных;
— увидели наглядную связь между операциями над множествами и логическими операциями с помощью диаграмм Эйлера — Венна.

Практическая значимость:

Ребята узнали, что теория множеств и логика — это язык, на котором «думает» компьютер. Эти принципы лежат в основе:

— построения алгоритмов и условий в программировании;
— работы процессора и всей цифровой техники.

Урок заложил прочную теоретическую базу для дальнейшего изучения программирования и систем управления базами данных.

Комментарий учителя информатики Бобковой Татьяны Николаевны:

«Тема математической логики и теории множеств — это своего рода Рубикон в курсе информатики. До этого момента мы много говорили о том, как работать с программами и писать простые алгоритмы. Теперь же мы начинаем говорить о том, почему всё это работает именно так. Это переход от уровня пользователя к уровню проектировщика.

Для многих десятиклассников абстрактные понятия, такие как «конъюнкция» или «дизъюнкция», поначалу звучат пугающе. Поэтому я всегда стараюсь начинать с жизненных примеров. Простой вопрос: «Ты идёшь в кино, если у тебя есть деньги И твой друг свободен?» — и вот уже сложная логическая операция становится абсолютно понятной. А диаграммы Эйлера — Венна вообще вызывают у ребят азарт: они с удовольствием рисуют круги, чтобы доказать свою правоту в споре.

Самый важный момент на таком уроке — «щелчок» в голове у ученика, когда он вдруг осознаёт, что сложное условие для if в программировании, которое он писал раньше интуитивно, теперь можно разложить по полочкам, проверить таблицей истинности и быть в нём уверенным на 100%».