Метод решения логических задач
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ
БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧЕРЕЖДЕНИЕ
Кафедра математики
Реферат
по математической логике
на тему:
МЕТОДЫ РЕШЕНИЯ ЛОГИЧЕСКИХ ЗАДАЧ
Выполнила:
студентка 2 курса ФФМиКН
специальность ПМИ
Тюпенкина О. И.
Научный руководитель:
к.п.н, доцент Ершова А.А
Липецк 2013
СОДЕРЖАНИЕ:
- Введение
- §1. Метод таблиц
- §2. Метод блок-схем
- §3. Метод математического бильярда
- Заключение
- Список литературы
Введение
Предмет математики
настолько серьезен, что нельзя упускать
случая сделать его немного
Блез Паскаль
Решать логические задачи очень увлекательно. В них вроде бы нет никакой математики - нет ни чисел, ни функций, ни треугольников, ни векторов, а есть только лжецы и мудрецы, истина и ложь. В то же время дух математики в них чувствуется ярче всего - половина решения любой математической задачи (а иногда и гораздо больше половины) состоит в том, чтобы как следует разобраться в условии, распутать все связи между участвующими объектами.
Есть люди, для которых решение логической задачи - увлекательная , но несложная задача. Их мозг как луч прожектора сразу освещает все хитроумные построения, и к правильному ответу он приходит необычайно быстро. Замечательно, что при этом они не могут объяснить, как они пришли к решению. "Ну это же очевидно, ясно", - говорят они. "Ведь если ... " - и они начинают легко распутывать клубок противоречивых высказываний. "Действительно, все ясно", - говорит слушатель, огорченный тем, что он сам не увидел очевидного рассуждения. Согласитесь, что такое же ощущение часто возникает при чтении детективов.
Итак, мы узнаем, как разными способами можно решать логические задачи. Оказывается таких приемов несколько, они разнообразны и каждый из них имеет свою область применения. Познакомившись подробно, поймете в каких случаях удобнее использовать тот или другой метод.
§1. Метод таблиц
Основной прием, который используется при решении текстовых логических задач, заключается в построении таблиц. Таблицы не только позволяют наглядно представить условие задачи или ее ответ, но в значительной степени помогают делать правильные логические выводы в ходе решения задачи.
Задача.
Три клоуна Бим, Бам и Бом вышли на арену в красной, зеленой и синей рубашках. Их туфли были тех же цветов. У Бима цвета рубашки и туфель совпадали. У Бома ни туфли, ни рубашка не были красными. Бам был в зеленых туфлях, а в рубашке другого цвета. Как были одеты клоуны?
Решение.
Составим таблицу, в столбцах
которой отметим возможные
Будем заполнять таблицу, используя условия задачи. Туфли Бама зеленые, а рубашка не является зеленой. Ставим знак + в клетку 2-й строки и 5-го столбца, и знак - в клетку 2-й строки и 2-го столбца. Следовательно, у Бима и Бома туфли уже не могут быть зелеными, так же как не могут быть туфли Бама синими или красными.
Отметим все это в таблице (см. табл. 1).
Таблица 1.
Рубашки |
Туфли | |||||
Бим |
+ |
- |
- | |||
Бам |
- |
- |
+ |
- | ||
Бом |
- |
- |
- |
+ | ||
К |
З |
С |
К |
З |
С | |
Далее, туфли и рубашка Бома не являются красными, отметим соответствующие ячейки таблицы знаком – . Из таблицы, заполненной на этом этапе, видим, что красные туфли могут быть только у Бима, а, следовательно, туфли Бома - синие. Правая часть таблицы заполнена, мы установили цвета обуви клоунов (табл.1). Цвет рубашки Бима совпадает с цветом его туфель и является красным. Теперь легко устанавливается владелец зеленой рубашки - Бом. Бам, в таком случае, одет в рубашку синего цвета.
Мы полностью заполнили таблицу, в которой однозначно устанавливаются цвета туфель и рубашек клоунов (см. табл. 2): Бим одет в красную рубашку и красные туфли, Бам в синей рубашке и зеленых туфлях, Бом в зеленой рубашке и туфлях синего цвета.
Таблица 2.
Рубашки |
Туфли | |||||
Бим |
+ |
- |
- |
+ |
- |
- |
Бам |
- |
- |
+ |
- |
+ |
- |
Бом |
- |
+ |
- |
- |
- |
+ |
К |
З |
С |
К |
З |
С | |
Ответ:
Бим одет в красную рубашку и красные туфли, Бам в синей рубашке и зеленых туфлях, Бом в зеленой рубашке и туфлях синего цвета.
Идея метода:
Оформлять результаты логических рассуждений в виде таблицы.
Преимущества метода:
- Наглядность.
- Возможность контролировать процесс рассуждений.
- Возможность формализовать некоторые логические рассуждения.
§2. Метод блок-схем
Рассмотрим еще один тип логических задач.
Это задачи, в которых
с помощью сосудов известных
емкостей требуется отмерить некоторое
количество жидкости, а также задачи,
связанные с операцией |
Более систематический подход к решению задач "на переливание" заключается в использовании блок-схем. Суть этого метода состоит в следующем. Сначала выделяются операции, которые позволяют нам точно отмерять жидкость. Эти операции называются командами. Затем устанавливается последовательность выполнения выделенных команд. Эта последовательность оформляется в виде схемы. Подобные схемы называются блок-схемами и широко используются в программировании. Составленная блок-схема является программой, выполнение которой может привести нас к решению поставленной задачи. Для этого достаточно отмечать, какие количества жидкости удается получить при работе составленной программы. При этом обычно заполняют отдельную таблицу, в которую заносят количество жидкости в каждом из имеющихся сосудов.
Задача.
Имеются два сосуда — трехлитровый и пятилитровый. Нужно, пользуясь этими сосудами, получить 1, 2, 3, 4, 5, 6, 7 и 8 литров воды. В нашем распоряжении водопроводный кран и раковина, куда можно выливать воду.
Решение.
Перечислим все возможные операции, которые могут быть использованы нами, и введем для них следующие сокращенные обозначения: НБ — наполнить больший сосуд водой из-под крана;
НМ — наполнить меньший сосуд водой из-под крана;
ОБ — опорожнить больший сосуд, вылив воду в раковину;
ОМ — опорожнить меньший сосуд, вылив воду в раковину;
Б→М — перелить из большего в меньший, пока больший сосуд не опустеет или меньший сосуд не наполнится;
М→Б — перелить
из меньшего в больший, пока
меньший сосуд не опустеет
или больший сосуд не
Выделим среди перечисленных команд только три: НБ, Б→М, ОМ. Кроме этих трех команд рассмотрим еще две вспомогательные команды: Б = 0 ? — посмотреть, пуст ли больший сосуд; М = З ? — посмотреть, наполнен ли малый сосуд.
В зависимости от результатов
этого осмотра мы переходим к
выполнению следующей команды по
одному из двух ключей - "да" или "нет".
Такие команды в
Договоримся теперь о последовательности выполнения выделенных команд. После Б→М будем выполнять ОМ всякий раз, как меньший сосуд оказывается наполненным, и НБ всякий раз, как больший сосуд будет опорожнен. Последовательность команд изобразим в виде блок-схемы (Рис. 1). Начнем выполнение программы. Будем фиксировать, как меняется количество воды в сосудах, если действовать по приведенной схеме. Результаты оформим в виде таблицы (табл.).
Рис.1.
Таблица.
Б |
0 |
5 |
2 |
2 |
0 |
5 |
4 |
4 |
1 |
1 |
0 |
5 |
3 |
3 |
0 |
0 |
М |
0 |
0 |
3 |
0 |
2 |
2 |
3 |
0 |
3 |
0 |
1 |
1 |
3 |
0 |
3 |
0 |
Дальше эта последовательность будет полностью повторяться. Из таблицы видим, что количество воды в обоих сосудах вместе образует следующую последовательность: 0, 5, 2, 7, 4, 1, 6, 3, 0 и т.д. Таким образом, действуя по приведенной схеме, можно отмерить любое количество литров от 1 до 7. Чтобы отмерить еще и 8 литров, надо наполнить оба сосуда.
Идея метода:
Описать последовательность выполнения операций, определить порядок их выполнения и фиксировать состояния.
§3. Метод математического бильярда
Появившись до нашей эры в Индии и Китае, бильярд через много веков перекочевал в европейские страны – упоминание о нем имеется в английских летописях VI века. В России бильярд стал известен и распространился при Петре I. Подобно тому, как азартная игра в кости вызвала к жизни "исчисление" вероятностей, игра в бильярд послужила предметом серьезных научных исследований по механике и математике. Представьте себе горизонтальный бильярдный стол произвольной формы, но без луз. По этому столу без трения движется точечный шар, абсолютно упруго отражаясь от бортов стола. Спрашивается, какой может быть траектория этого шарика? Поиски ответа на этот вопрос и послужили появлению теории математического бильярда или теории траекторий. |
В этом параграфе мы приведем одно изящное применение математического бильярда к решению задач на переливание.
Задачи на переливание жидкостей можно очень легко решать, вычерчивая бильярдную траекторию шара, отражающегося от бортов стола, имеющего форму параллелограмма. Рассмотрим туже задачу, что и в предыдущем разделе (Метод блок-схем).
Задача.
Имеются два сосуда — трехлитровый и пятилитровый. Нужно, пользуясь этими сосудами, получить 1, 2, 3, 4, 5, 6, 7 и 8 литров воды. В нашем распоряжении водопроводный кран и раковина, куда можно выливать воду.
Решение.
В рассматриваемой задаче стороны параллелограмма должны иметь длины 3 и 5 единиц. По горизонтали будем откладывать количество воды в литрах в 5-литровом сосуде, а по вертикали – в 3-литровом сосуде. На всем параллелограмме нанесена сетка из одинаковых равносторонних треугольников (см. рис.1).
Рис. 1.
Бильярдный шар может
перемещаться только вдоль прямых,
образующих сетку на параллелограмме.
После удара о стороны
Пусть шар находится в
левом нижнем углу и после удара
начнет перемещаться вверх вдоль
левой боковой стороны
Прослеживая дальнейший путь шара и записывая все этапы его движения в виде отдельной таблицы (табл.1), в конце концов, мы попадаем в точку Н, которая соответствует состоянию, когда малый сосуд пуст, а в большом сосуде 4 литра воды. Таким образом, получен ответ и указана последовательность переливаний, позволяющих отмерить 4 литра воды. Все 8 переливаний изображены схематически в таблице.
Является ли это решение самым коротким? Нет, существует второй путь, когда воду сначала наливают в пятилитровый сосуд. Если на диаграмме шар из точки О покатится вправо по нижней стороне параллелограмма и затем, отразившись от правой боковой стороны, в точку 2 на верхней стороне параллелограмма и т.д., то получим более короткое решение задачи. Можно показать, что полученное решение с 6 переливаниями уже является самым коротким.
Таблица 1.
О |
А |
В |
Н | ||||||
М |
0 |
3 |
0 |
3 |
1 |
1 |
0 |
3 |
0 |
Б |
0 |
0 |
3 |
3 |
5 |
0 |
1 |
1 |
4 |
Идея метода:
Нарисовать бильярдный стол и интерпретировать действия движениями бильярдного шара, фиксирование состояний в отдельной таблице.
Преимущества метода:
- Наглядность.
- Привлекательность идеи бильярда.
- Возможность обобщить метод на широкий класс задач.
Заключение
Каждый день мы, сами того
не замечая, решаем логические задачи.
Логические задачи также развивают
умение анализировать и обобщать
данные, искать возможные пути решения,
формировать стратегию, проверять
данные на достоверность.
Логические навыки применяются во многих
профессиях: например, водителю транспорта
нужно уметь логически мыслить, чтобы
выбрать верный путь. Рабочим в цехах нужно
знать логику, чтобы сократить время производства
одной единицы вырабатываемого объекта
и, следовательно, увеличить дневную выработку.
Космонавтам при проблемах с космическим
кораблём необходима логика для продумывания
дальнейшей стратегии. Планировщикам
также нужна логика, чтобы подобрать правильное
место для строительства здания и т.д.
Также логика используется и в обычной
жизни, например, поход за продуктами,
выбор одежды, сбор вещей и т. д.
Поэтому были созданы математические
логические задачи, которые не теряют
популярности и, скорее всего, будут популярны
и в будущем. Логические задачи, как и все
математические знания сейчас очень популярны
и они должны входить в наше развитие и
образование с самых ранних лет. Как писал
Е.И. Игнатьев в предисловии к изданию
1908 года своей книги «В царстве смекалки»,
«умственную самостоятельность и «смекалку»
нельзя ни «вдолбить», ни «вложить» ни
в чью голову. Результаты надежны лишь
тогда, когда введение в область математических
знаний совершается в легкой и приятной
форме».
Логические задачи существуют уже четыре
тысячелетия и каждая задача — объект
для размышлений. Каждая логическая задача
— от «Волка, козы и капусты» до задачи
Леонарда Эйлера о семи мостах — содержит
в себе смысл, который необходимо раскрыть
для того, чтобы правильно решить задачу
и понять её для дальнейшего применения
в жизни. Даже теоремы — это логические
задачи. В самостоятельном решении каждой
такой задачи есть маленькое открытие.
Как писал А.В. Спивак в своей книге «Тысяча
и одна задача по математике», «задача
может быть сколь угодно скромной, но если
она заставила быть изобретательным и
если вы решили её самостоятельно, то радость
победы — пусть даже о ней никто, кроме
вас, не узнает — будет ОГРОМНОЙ».
Поэтому логические задачи нужно уметь
решать и применять полученные знания
в жизни.
Список литературы:
1. Игнатьев Е.И. Математическая смекалка.
- М.: Омега, 1994. С. 3.
2. Спивак А.В. Тысяча и одна задача по математике. - М.: Просвещение, 2005. С.
3. А.В. Дмитриева, А.Ф. Овчиников. Логические задачи. Методы решения. - Новосибирск 2005.
4. Бизам Д., Герцог Я. Игра и логика. Москва: Мир, 1975.

- Метод сбалансированных двоичных деревьев
- Метод свободных ассоциаций
- Метод сделок (метод сравнительных продаж)
- Метод семантического поля
- Метод "Семь инструментов управления качеством"
- Метод симметричных составляющих
- Метод Симпсона
- Метод рассады овощных культур
- Метод расчета внутренней нормы прибыли инвестиций
- Метод расчета гидроэлеваторов, разработанный Б. Э. Фридманом
- Метод регламентированного упражнения
- Метод регрессионного анализа и его использование
- Метод резолюції
- Метод реставрации зубов композитами с использованием силиконового шаблона