Решение задач поиска информации с помощью кругов Эйлера


Чтобы посмотреть презентацию с оформлением и слайдами, скачайте ее файл и откройте в PowerPoint на своем компьютере.
Текстовое содержимое слайдов:

Использование метода кругов Эйлера для решения задач поиска информации ГБПОУ КС №54 имени П.М.ВострухинаСивцова Е.Г. Москва 2016 Содержание Введение Представление логических связок в поисковых запросах Связь логических операций с теорией множеств Использование кругов Эйлера при доказательстве логических равенств Задачи в формате ГИА и ЕГЭ по теме: «Поиск информации в Интернете» Круги Эйлера Круги Эйлера — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Леонардом Эйлером. Используется в математике, логике, менеджменте и других прикладных направлениях. Важный частный случай кругов Эйлера — диаграммы Эйлера — Венна, изображающие все комбинаций свойств, то есть конечную булеву алгебру. При диаграмма Эйлера — Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника. При решении целого ряда задач Леонард Эйлер использовал идеюизображения множеств с помощью кругов. Однако этим методом ещё до Эйлера пользовался выдающийся немецкий философ и математик Готфрид Вильгельм Лейбниц. Лейбниц использовал их для геометрической интерпретации логических связей между понятиями, но при этом всё же предпочитал использовать линейные схемы. Круги Эйлера  Достаточно основательно развил этот метод сам Л. Эйлер. Методом кругов Эйлера пользовались и немецкие математики Алекс ван Сивцео и Эрнст Шрёдер в книге «Алгебра логики». Особенного расцвета графические методы достигли в сочинениях английского логика Джона Венна, подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году. Поэтому такие схемы иногда называют Диаграммы Эйлера — Венна. Пример получения произвольных кругов Эйлера из диаграмм Венна с пустыми (чёрными) множествами Представление логических связок При изучении темы “Поиск информации в Интернет” рассматриваются примеры поисковых запросов с использованием логических связок, аналогичным по смыслу союзам “и”, “или” русского языка. Смысл логических связок становится более понятным, если проиллюстрировать их с помощью графической схемы – кругов Эйлера (диаграмм Эйлера-Венна). Логическая связка Пример запроса Пояснение Круги Эйлера & - “И” Париж & университет Будут отобраны все страницы, где упоминаются оба слова: Париж и университет | - “ИЛИ” Париж | университет Будут отобраны все страницы, где упоминаются слова Париж и/или университет Связь логических операций с теорией множеств С помощью диаграмм Эйлера-Венна можно наглядно представить связь логических операций с теорией множеств. Для демонстрации можно воспользоваться слайдами в Приложение 1. Логические операции задаются своими таблицами истинности. ВПриложении 2 подробно рассматриваются графические иллюстрации логических операций вместе с их таблицами истинности. Поясним принцип построения диаграммы в общем случае. На диаграмме – область круга с именем А отображает истинность высказывания А (в теории множеств круг А – обозначение всех элементов, входящих в данное множество). Соответственно, область вне круга отображает значение “ложь” соответствующего высказывания. Что бы понять какая область диаграммы будет отображением логической операции нужно заштриховать только теобласти, в которых значения логической операции на наборах A и B равны “истина”. Например, значение импликации равно “истина” в трех случаях (00, 01 и 11). Заштрихуем последовательно: 1) область вне двух пересекающихся кругов,которая соответствует значениям А=0, В=0; 2) область, относящуюся только к кругу В (полумесяц), которая соответствует значениям А=0, В=1; 3) область,относящуюся и к кругу А и к кругу В (пересечение) – соответствует значениям А=1, В=1. Объединение этих трех областей и будет графическим представлением логической операции импликации. Использование кругов Эйлера при доказательстве логических равенств Для того, чтобы доказать логические равенства можно применить метод диаграмм Эйлера-Венна. Докажем следующее равенство ¬(АvВ) = ¬А&¬В (закон де Моргана).Для наглядного представления левой части равенства выполним последовательно: заштрихуем оба круга (применим дизъюнкцию) серым цветом, затем для отображения инверсии заштрихуем область за пределами кругов черным цветом: Использование кругов Эйлера при доказательстве логических равенств Для визуального представления правой части равенства выполним последовательно: заштрихуем область для отображения инверсии (¬А) серым цветом и, аналогично, Область (¬В) также серым цветом; затем для отображения конъюнкции нужно взять пересечение этих серых областей (результат наложения представлен черным цветом): Видим, что области для отображения левой и правой части равны. Что и требовалось доказать. Задачи в формате ГИА и ЕГЭ по теме: «Поиск информации в Интернет» Задача №18 из демо-версии ГИА 2013 В таблице приведены запросы к поисковому серверу. Для каждого запроса указан его код – соответствующая буква от А до Г. Расположите коды запросов слева направо в порядке убывания количества страниц, которые найдет поисковый сервер по каждому запросу. код Запрос А (Муха & Денежка) | Самовар Б Муха & Денежка & Базар & Самовар В Муха | Денежка | Самовар Г Муха & Денежка & Самовар Решение: Для каждого запроса построим диаграмму Эйлера-Венна: Запрос А                                           Запрос Б                                          Запрос В                                       Запрос Г                                        Ответ: ВАГБ. Задача В12 из демо-версии ЕГЭ-2013 В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет. Какое количество страниц (в тысячах) будет найдено по запросу Эсминец? Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов. Запрос Найдено страниц (в тысяч) Фрегат | Эсминец 3400 Фрегат & Эсминец 900 Фрегат 2100 Решение: Пусть Ф – количество страниц (в тысячах) по запросу Фрегат;Э – количество страниц (в тысячах) по запросу Эсминец;Х – количество страниц (в тысячах) по запросу, в котором упоминается Фрегат и не упоминается Эсминец;У – количество страниц (в тысячах) по запросу, в котором упоминается Эсминец и не упоминается Фрегат.Построим диаграммы Эйлера-Венна для каждого запроса:Согласно диаграммам имеем: Х+900+У = Ф+У = 2100+У = 3400. Отсюда находим У = 3400-2100 = 1300. Э = 900+У = 900+1300= 2200. Ответ: 2200. Запрос Диаграмма Эйлера-Венна Количество страниц Фрегат | Эсминец 3400 Фрегат & Эсминец 900 Фрегат 2100 Эсминец ?

Приложенные файлы

  • ppt rabota8
    Поиск информации
    Размер файла: 531 kB Загрузок: 7