Логическая игра Курсовая + практические задания!

Тема 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.