Тема 34. Логическая игр
Курсовая работа + практические задания
В курсовой работе предлагается осветить символический и графический методы решения логических задач. Рекомендуется следующий план работы
1 Рассмотреть основные понятия алгебры высказываний и логики предикатов (/1 - из рекомендованного списка литры/, с.10-35, 122-134)
2. Изучить приложение алгебры высказываний и логики предикатов к логико-математической практике (/1 из рекомендованного списка литры/, с. 52-62, 168-182)
3. Изучить кванторные операции над предикатами (/1 из рекомендованного списка литры/, с. 134-159)
4. Рассмотреть решение «логических» задач на языке символов (/3 из рекомендованного списка литры/, с.60-65)
5. Разобрать графический способ решения задач подобного рода (/2 из рекомендованного списка литры/, с.9-56)
Разобрать решения всех задач из цитированных выше разделов указанных литературных источников и решить задачи 3.58-3.61 из книги /3 список литры/. Выполнить 30 заданий из упражнений 1-91 на с. 57-60 книги /2/
Литература, рекомендуемая для изучения темы - можно найти в интернете
1. Игошин В.И. Математическая логика и теория алгоритмов. –Саратов: Изд-во Сарат. ун-та, 1991
2. Кэрролл Л. Логическая игра: Пер. с англ. Ю.А. Данилова. – М.: Наука, 1991. (Б-ка “Квант”; Вып. 73)
3. Игошин В.И. Задачник-практикум по математической логике: Учеб. пособие для студентов-заочников физ.-мат. фак-в пед. ин-тов. – М.: Просвещение, 1986.