Миры Р. Смаллиана: обобщения задач с рыцарями и лжецами
Курсовая работа, 17 Ноября 2012, автор: пользователь скрыл имя
Описание работы
Автореферентными рассуждениями называются те рассуждения, в которых используются понятия, самоотносимые или самоприменимые к самим себе. Некоторые из таких высказываний приводят к так называемым семантическим парадоксам (например, «парадокс лжеца»), другие вполне безобидны.
Содержание
Введение. 5
2. Постановка задачи. 6
3. Условия задач. 7
4. Анализ задач и их реализация………………………………………………9
Список использованной литературы 22
Приложение А. Листинг программы 23