Шевченко В. Е. Некоторые способы решения логических задач. - Киев, 1979. - 80 с.
В книге в научно-популярной форме изложены основные способы решения логических задач: здравым рассуждением, при помощи исчисления высказываний, составлением таблиц и построением графов. Пособие содержит свыше ста задач для самостоятельного решения, на которые в конце книги приведены ответы и краткие указания. Пособие рассчитано на учащихся физико-математических и средних общеобразовательных школ. Оно может быть использовано учителями математики при проведении внеурочной кружковой работы.
ОГЛАВЛЕНИЕ
ПРЕДИСЛОВИЕ............................................3
§ 1. РЕШЕНИЕ ЗАДАЧ СПОСОБОМ ЗДРАВОГО РАССУЖДЕНИЯ ...........................5
Упражнения.....................9
§ 2. КРАТКИЕ СВЕДЕНИЯ ОБ ИСЧИСЛЕНИИ ВЫСКАЗЫВАНИЙ ........................10
Упражнения............. . . . 12
Упражнения .................................14
Упражнения .................................15
Упражнения..................................17
Упражнения..................................18
Упражнения..................................19
Упражнения..................................20
Упражнения..................................26
§ 3. РЕШЕНИЕ ЗАДАЧ ИСЧИСЛЕНИЕМ ВЫСКАЗЫВАНИЙ ...............27
Упражнения .............................41
§ 4. РЕШЕНИЕ ЗАДАЧ ПРИ ПОМОЩИ СОСТАВЛЕНИЯ ТАБЛИЦ ..........45
Упражнения..................................54
§ 5. РЕШЕНИЕ ЗАДАЧ ПРИ ПОМОЩИ ГРАФОВ ... 57
Упражнения..................................64
Ответы и указания............................72
Список литературы............................78
Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников