- •Часть I
- •Введение
- •Раздел I. Информация
- •1.1. Предмет и структура информатики
- •1.2. Информация и физический мир
- •Понятие информации
- •1.3. Непрерывная и дискретная информация
- •Раздел III. Представление информации
- •3.1. Язык как способ представления информации. Кодирование информации
- •3.2. Позиционные и непозиционные системы счисления
- •3.3. Перевод чисел из одной системы счисления в другую
- •3.4. Арифметические операции в позиционных системах счисления
- •3.5. Кодирование информации
- •3.6. Кодирование целых чисел
- •3.6.1.Кодирование и обработка в компьютере целых чисел без знака
- •3.6.2. Кодирование и обработка в компьютере целых чисел со знаком
- •3.7. Кодирование символьной информации. Алфавитное неравномерное двоичное кодирование. Префиксный код. Код Хаффмана
- •3.7.1. Равномерное алфавитное двоичное кодирование. Байтовый код
- •3.7.2. Алфавитное кодирование с неравной длительностью элементарных сигналов. Код Морзе
- •3.7.3. Блочное двоичное кодирование
- •Раздел IV. Элементы математической логики
- •4.1. Искусство логического мышления
- •Методы мышления
- •4.2. Основные понятия формальной логики
- •4.3. Логические выражения и логические операции
- •4.4. Построение таблиц истинности для логических функций
- •4.5. Логические функции и их преобразования. Законы логики
- •Раздел V. Логические элементы. Электронная реализация логического элемента.
- •5.1. Построение логических схем
- •5.2. Логическая реализация типовых устройств компьютера
- •Вопросы для самоконтроля
Методы мышления
Пользуясь законами, можно строить методы правильного мышления. Их существует довольно много, но мы приведём в качестве примера только два из них.
Дедукция: Это метод рассуждений, при котором некоторые истинные утверждения берутся в качестве посылок. Затем с помощью умозаключений из этих посылок получаются выводы, которые в свою очередь становятся посылками для следующих умозаключений. Получается цепочка умозаключений, в начале которой находится некоторое количество очевидных утверждений, а в конце утверждения, истинность которых уже далеко не очевидна, если не знать всей цепочки.
Очень яркий литературный пример использования дедуктивного метода это герой А. Конан-Дойля Шерлок Холмс. Конечно, применение дедукции Холмсом далеко от математической точности и строгой критики рассказы о нём не выдерживают, но суть метода в рассказах Конан-Дойля демонстрируется очень наглядно.
Метод приведения к противоречию: Существо данного метода состоит в построении такой цепочки рассуждений от исходной посылки, чтобы она привела или наоборот не привела к противоречию. Если мы получим противоречие (не нарушая законов логики), то это будет означать ложность исходной посылки. В книге Смаллиана есть масса примеров того, как используя данный метод можно решать задачи. В качестве примера приведём следующую задачу:
К королю некоего малоизвестного королевства, очень часто приезжали различные принцы свататься к принцессам, которых у того короля было довольно много. Каждого из них надо было как то проверять, а так как принцев было много, то король решил поставить процесс на поток. Он подводил принца к дверям в комнаты и предлагал открыть одну из них. Причем в комнатах он помещал тигров и принцесс. Принц должен был угадать в какой комнате принцесса. Что бы это не было простое гадание, ему выдавалась дополнительная информация, анализируя которую он мог точно узнать где принцесса, а где тигр. Приведем одну задачу с решением в качестве примера. В этом испытании на дверях комнат были следующие таблички:
1 Комната |
2 Комната |
В этой комнате находится принцесса, а в другой комнате сидит тигр. |
В одной из этих комнат находится принцесса; кроме того, в одной из этих комнат сидит тигр. |
Кроме того, принцу было сказано, что на одной табличке написана правда, а на другой нет.
Начнем рассуждения. Для каждой из табличек возможны только два варианта, либо ложь, либо истина. Рассмотрим с этой позиции табличку на первой комнате.
Табличка на первой двери истинна. Тогда табличка на второй двери ложна. А так как табличка на второй двери утверждает, что в одной из комнат находится принцесса, то из её ложности следует, что принцессы там нет, что приходит в противоречие с истинностью первой таблички. Таким образом, мы, предположив, что табличка на первой двери истинна пришли к противоречию.
Табличка на первой двери ложна. Тогда табличка на второй двери истинна. Из ложности первой таблички следует, что принцесса находится в комнате 2, а тигр в комнате 1. Из истинности второй табличке следует, что в одной из комнат есть принцесса и в одной из комнат есть тигр. Эти утверждения не противоречат друг другу, следовательно вторая ситуация непротиворечива и чего в свою очередь следует что принцесса находится во второй комнате.
Задача для самостоятельного решения:
1 Комната |
2 Комната |
По крайней мере в одной из комнат находится принцесса |
Принцесса в другой комнате. |
Дополнительно было известно следующее: Если в первой комнате находится принцесса, то утверждение на табличке истинно, если же там тигр, то утверждение ложно. Относительно правой комнаты все было наоборот: утверждение на табличке ложно, если в комнате находится принцесса, и истинно, если в комнате сидит тигр.
