Результаты исследования учащихся в проекте Основы логики

Авторы и участники проекта

Бычков Дмитрий

Алексеев Алексей

и участники группы Математики

Тема исследования группы

Использование методов и приемов вычисления логической задачи

Проблемный вопрос (вопрос для исследования)

Каковы способы и методы решения логических задач?

Гипотеза исследования

Мы считаем, чтобы определить способы и методы решения логических задач, необходимо ввести начальные понятия.

Цель исследования

Доказать, что для опредения способов и методов решения логических задач необходимо ввести начальные понятия.

Результаты проведённого исследования

Известно несколько различных способов решения логических задач. Давайте назовем их так:

---

Метод рассуждений;

Метод таблиц;

Метод графов;

Метод блок-схем;

Метод бильярда;

Метод кругов Эйлера.

---

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

Метод первый: Метод рассуждений

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

Задача 1. Вадим, Сергей и Михаил изучают различные иностранные языки: китайский, японский и арабский. На вопрос, какой язык изучает каждый из них, один ответил: "Вадим изучает китайский, Сергей не изучает китайский, а Михаил не изучает арабский". Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый из молодых людей?

Решение. Имеется три утверждения. Если верно первое утверждение, то верно и второе, так как юноши изучают разные языки. Это противоречит условию задачи, поэтому первое утверждение ложно. Если верно второе утверждение, то первое и третье должны быть ложны. При этом получается, что никто не изучает китайский. Это противоречит условию, поэтому второе утверждение тоже ложно. Остается считать верным третье утверждение, а первое и второе — ложными. Следовательно, Вадим не изучает китайский, китайский изучает Сергей.

Ответ: Сергей изучает китайский язык, Михаил — японский, Вадим — арабский.

Метод второй: Метод таблиц

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

Задача. Три клоуна Бим, Бам и Бом вышли на арену в красной, зеленой и синей рубашках. Их туфли были тех же цветов. У Бима цвета рубашки и туфель совпадали. У Бома ни туфли, ни рубашка не были красными. Бам был в зеленых туфлях, а в рубашке другого цвета. Как были одеты клоуны?

Решение. Составим таблицу, в столбцах которой отметим возможные цвета рубашек и туфель клоунов (буквами К, З и С обозначены красный, зеленый и синий цвета). Будем заполнять таблицу, используя условия задачи. Туфли Бама зеленые, а рубашка не является зеленой. Ставим знак + в клетку 2-й строки и 5-го столбца, и знак - в клетку 2-й строки и 2-го столбца. Следовательно, у Бима и Бома туфли уже не могут быть зелеными, так же как не могут быть туфли Бама синими или красными. Отметим все это в таблице (см. табл. 1).

Метод третий: Метод графов

Метод, основанный на соединении точек (вершин) линиями (ребрами) для подсчета возможных вариантов решения задач или такая пара множеств G=(V,E), где V есть подмножество любого счётного множества, а E — подмножество V×V.Применение различных вычислений, производимых на таком графе, позволяет, например, найти кратчайший объездной путь или ближайший продуктовый магазин, спланировать оптимальный маршрут.

Метод четвёртый: Метод блок-схем

В этом разделе рассматривается еще один тип логических задач. Это задачи, в которых с помощью сосудов известных емкостей требуется отмерить некоторое количество жидкости, а также задачи, связанные с операцией взвешивания на чашечных весах. Простейший прием решения задач этого класса состоит в переборе возможных вариантов. Понятно, что такой метод решения не совсем удачный, в нем трудно выделить какой-либо общий подход к решению других подобных задач. Более систематический подход к решению задач "на переливание" заключается в использовании блок-схем. Суть этого метода состоит в следующем. Сначала выделяются операции, которые позволяют нам точно отмерять жидкость. Эти операции называются командами. Затем устанавливается последовательность выполнения выделенных команд. Эта последовательность оформляется в виде схемы. Подобные схемы называются блок-схемами и широко используются в программировании. Составленная блок-схема является программой, выполнение которой может привести нас к решению поставленной задачи. Для этого достаточно отмечать, какие количества жидкости удается получить при работе составленной программы. При этом обычно заполняют отдельную таблицу, в которую заносят количество жидкости в каждом из имеющихся сосудов.

Метод пятый: Метод математического бильярда

Появившись до нашей эры в Индии и Китае, бильярд через много веков перекочевал в европейские страны – упоминание о нем имеется в английских летописях VI века. В России бильярд стал известен и распространился при Петре I. Подобно тому, как азартная игра в кости вызвала к жизни "исчисление" вероятностей, игра в бильярд послужила предметом серьезных научных исследований по механике и математике. Представьте себе горизонтальный бильярдный стол произвольной формы, но без луз. По этому столу без трения движется точечный шар, абсолютно упруго отражаясь от бортов стола. Спрашивается, какой может быть траектория этого шарика? Поиски ответа на этот вопрос и послужили появлению теории математического бильярда или теории траекторий.