1. Введение
В курсе Информатики и ИКТ основной и старшей школы рассматриваются такие важные темы как “Основы логики” и “Поиск информации в Интернет”. При решении определенного типа задач удобно использовать круги Эйлера (диаграммы Эйлера-Венна).
Математическая справка. Диаграммы Эйлера-Венна используются прежде всего в теории множеств как схематичное изображение всех возможных пересечений нескольких множеств. В общем случае они изображают все 2n комбинаций n свойств. Например, при n=3 диаграмма Эйлера-Венна обычно изображается в виде трех кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.
2. Представление логических связок в поисковых запросах
При изучении темы “Поиск информации в Интернет” рассматриваются примеры поисковых запросов с использованием логических связок, аналогичным по смыслу союзам “и”, “или” русского языка. Смысл логических связок становится более понятным, если проиллюстрировать их с помощью графической схемы – кругов Эйлера (диаграмм Эйлера-Венна).
| Логическая связка | Пример запроса | Пояснение | Круги Эйлера |
| & - “И” | Париж & университет | Будут отобраны все страницы, где упоминаются оба слова: Париж и университет | Рис.1
|
| | - “ИЛИ” | Париж | университет | Будут отобраны все страницы, где упоминаются слова Париж и/или университет | Рис.2
|
3. Связь логических операций с теорией множеств
С помощью диаграмм Эйлера-Венна можно наглядно представить связь логических операций с теорией множеств. Для демонстрации можно воспользоваться слайдами в Приложение 1.
Логические операции задаются своими таблицами истинности. В Приложении 2 подробно рассматриваются графические иллюстрации логических операций вместе с их таблицами истинности. Поясним принцип построения диаграммы в общем случае. На диаграмме – область круга с именем А отображает истинность высказывания А (в теории множеств круг А – обозначение всех элементов, входящих в данное множество). Соответственно, область вне круга отображает значение “ложь” соответствующего высказывания. Что бы понять какая область диаграммы будет отображением логической операции нужно заштриховать только те области, в которых значения логической операции на наборах A и B равны “истина”.
Например, значение импликации равно “истина” в трех случаях (00, 01 и 11). Заштрихуем последовательно: 1) область вне двух пересекающихся кругов, которая соответствует значениям А=0, В=0; 2) область, относящуюся только к кругу В (полумесяц), которая соответствует значениям А=0, В=1; 3) область, относящуюся и к кругу А и к кругу В (пересечение) – соответствует значениям А=1, В=1. Объединение этих трех областей и будет графическим представлением логической операции импликации.
4. Использование кругов Эйлера при доказательстве логических равенств (законов)
Для того, чтобы доказать логические равенства можно применить метод диаграмм Эйлера-Венна. Докажем следующее равенство ¬(АvВ) = ¬А&¬В (закон де Моргана).
Для наглядного представления левой части равенства выполним последовательно: заштрихуем оба круга (применим дизъюнкцию) серым цветом, затем для отображения инверсии заштрихуем область за пределами кругов черным цветом:
Рис.3 
Рис.4 
Для визуального представления правой части равенства выполним последовательно: заштрихуем область для отображения инверсии (¬А) серым цветом и аналогично область ¬В также серым цветом; затем для отображения конъюнкции нужно взять пересечение этих серых областей (результат наложения представлен черным цветом):
Рис.5 
Рис.6 
Рис.7 
Видим, что области для отображения левой и правой части равны. Что и требовалось доказать.
5. Задачи в формате ГИА и ЕГЭ по теме: “Поиск информации в Интернет”
Задача №18 из демо-версии ГИА 2013.
В таблице приведены запросы к поисковому серверу. Для каждого запроса указан его код – соответствующая буква от А до Г. Расположите коды запросов слева направо в порядке убывания количества страниц, которые найдет поисковый сервер по каждому запросу.
| Код | Запрос |
| А | (Муха & Денежка) | Самовар |
| Б | Муха & Денежка & Базар & Самовар |
| В | Муха | Денежка | Самовар |
| Г | Муха & Денежка & Самовар |
Решение:
Для каждого запроса построим диаграмму Эйлера-Венна:
| Запрос А Рис.8
|
Запрос Б Рис. 9
|
Запрос В Рис. 10
|
Запрос Г Рис. 11
|
Ответ: ВАГБ.
Задача В12 из демо-версии ЕГЭ-2013.
В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.
| Запрос | Найдено страниц (в тысяч) |
| Фрегат | Эсминец | 3400 |
| Фрегат & Эсминец | 900 |
| Фрегат | 2100 |
Какое количество страниц (в тысячах) будет найдено по запросу Эсминец?
Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.
Решение:
Пусть
Ф – количество страниц (в тысячах) по запросу Фрегат;
Э – количество страниц (в тысячах) по запросу Эсминец;
Х – количество страниц (в тысячах) по запросу, в котором упоминается Фрегат и не упоминается Эсминец;
У – количество страниц (в тысячах) по запросу, в котором упоминается Эсминец и не упоминается Фрегат.
Построим диаграммы Эйлера-Венна для каждого запроса:
| Запрос | Диаграмма Эйлера-Венна | Количество страниц |
| Фрегат | Эсминец | Рис.12
|
3400 |
| Фрегат & Эсминец | Рис.13
|
900 |
| Фрегат | Рис.14
|
2100 |
| Эсминец | Рис.15
|
? |
Согласно диаграммам имеем:
- Х+900+У = Ф+У = 2100+У = 3400. Отсюда находим У = 3400-2100 = 1300.
- Э = 900+У = 900+1300= 2200.
Ответ: 2200.
6. Решение логических содержательных задач методом диаграмм Эйлера-Венна
Задача 1.
В классе 36 человек. Ученики этого класса посещают математический, физический и химический кружки, причем математический кружок посещают 18 человек, физический - 14 человек, химический - 10. Кроме того, известно, что 2 человека посещают все три кружка, 8 человек - и математический и физический, 5 и математический и химический, 3 - и физический и химический.
Сколько учеников класса не посещают никаких кружков?
Решение:
Для решения данной задачи очень удобным и наглядным является использование кругов Эйлера.
Самый большой круг – множество всех учеников класса. Внутри круга три пересекающихся множества: членов математического (М), физического (Ф), химического (Х) кружков.
Пусть МФХ – множество ребят, каждый из которых посещает все три кружка. МФ¬Х – множество ребят, каждый из которых посещает математический и физический кружки и не посещает химический. ¬М¬ФХ - множество ребят, каждый из которых посещает химический кружок и не посещает физический и математический кружки.
Аналогично введем множества: ¬МФХ, М¬ФХ, М¬Ф¬Х, ¬МФ¬Х, ¬М¬Ф¬Х.
Известно, что все три кружка посещают 2 человека, следовательно, в область МФХ впишем число 2. Т.к. 8 человек посещают и математический и физический кружки и среди них уже есть 2 человека, посещающих все три кружка, то в область МФ¬Х впишем 6 человек (8-2). Аналогично определим количество учащихся в остальных множествах:
| Круги Эйлера с названиями
непересекающихся множеств: Рис. 16
|
Круги Эйлера с количественной
информацией: Рис. 17
Например, количество человек, которые посещают физический кружок 2+6+1+5=14 |
Просуммируем количество человек по всем областям: 7+6+3+2+4+1+5=28. Следовательно, 28 человек из класса посещают кружки.
Значит, 36-28 = 8 учеников не посещают кружки.
Ответ: 8.
Задача 2.
После зимних каникул классный руководитель спросил, кто из ребят ходил в театр, кино или цирк. Оказалось, что из 36 учеников класса двое не были ни в кино. ни в театре, ни в цирке. В кино побывало 25 человек, в театре - 11, в цирке 17 человек; и в кино, и в театре - 6; и в кино и в цирке - 10; и в театре и в цирке - 4.
Сколько человек побывало и в кино, и в театре, и в цирке?
Решение:
Пусть х – количество ребят, которые побывали и в кино, и в театре, и в цирке.
Тогда можно построить следующую диаграмму и посчитать количество ребят в каждой области:
Рис.18.
|
В кино и театре побывало 6 чел., значит,
только в кино и театре (6-х) чел. Аналогично, только в кино и цирке (10-х) чел. Только в театре и цирке (4-х) чел. В кино побывало 25 чел., значит, из них только в кино были 25 - (10-х) – (6-х) – х = (9+х). Аналогично, только в театре были (1+х) чел. Только в цирке были (3+х) чел. Не были в театре, кино и цирке – 2 чел. Значит, 36-2=34 чел. побывали на мероприятиях. С другой стороны можем просуммировать количество человек, которые были в театре, кино и цирке: (9+х)+(1+х)+(3+х)+(10-х)+(6-х)+(4-х)+х = 34 33+х = 34. Отсюда следует, что только один человек побывал на всех трех мероприятиях. |
Ответ: 1.
Таким образом, круги Эйлера (диаграммы Эйлера-Венна) находят практическое применение при решении задач в формате ЕГЭ и ГИА и при решении содержательных логических задач.
Литература
- В.Ю. Лыскова, Е.А. Ракитина. Логика в информатике. М.: Информатика и Образование, 2006. 155 с.
- Л.Л. Босова. Арифметические и логические основы ЭВМ. М.: Информатика и образование, 2000. 207 с.
- Л.Л. Босова, А.Ю. Босова. Учебник. Информатика и ИКТ для 8 класса: БИНОМ. Лаборатория знаний, 2012. 220 с.
- Л.Л. Босова, А.Ю. Босова. Учебник. Информатика и ИКТ для 9 класса: БИНОМ. Лаборатория знаний, 2012. 244 с.
- Сайт ФИПИ: http://www.fipi.ru/