Миры Р. Смаллиана: обобщения задач с рыцарями и лжецами

Автор: Пользователь скрыл имя, 17 Ноября 2012 в 19:08, курсовая работа

Описание работы

Автореферентными рассуждениями называются те рассуждения, в которых используются понятия, самоотносимые или самоприменимые к самим себе. Некоторые из таких высказываний приводят к так называемым семантическим парадоксам (например, «парадокс лжеца»), другие вполне безобидны.

Содержание

Введение. 5
2. Постановка задачи. 6
3. Условия задач. 7
4. Анализ задач и их реализация………………………………………………9
Список использованной литературы 22
Приложение А. Листинг программы 23