Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Контрольная работа по дисциплине «Логика» + БОНУС (Сколемизация, резолюции, Марков Вариант 4)
- 13 страниц
- 2014 год
- 388 просмотров
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
-
Задание 1 3
Задание 2 5
Задание 3 6
Задание 4 6
Задание 5 11
Список использованных источников 13
Работу выполнить в Microsoft Word, формулы набирать в Microsoft Equation. Сохранять в формате Word97-2003 (расширение doc, не docx).
Задача 1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Задача 2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И x и y – один и тот же человек;
2. P(x, y) = И x родитель y;
3. C(x, y) = И x и y – супруги;
4. M(x) = И x – мужчина;
5. W(x) = И x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – кузина
Задача 3. Привести формулу к предваренной форме
Задача 4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z ≥ 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
Задача 5. Показать примитивную рекурсивность функции f(x,y)
1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. – 368 с.
2. Бочаров В.А., Маркин В.И. «Основы логики: Учебник для вузов». – М.: Инфра-М, 2002.
3. Войшвенко Е.К., Дегтярев М.Г. «Логика: Учебник для вузов». – М.: Владос-пресс, 2001.
4. Германова А.Д. «Логика: Словарь и задачник: Учебное пособие для студентов вузов». – М.: Владос-пресс, 1998.
5. Гуц А.К. Математическая лоrика и теория алrоритмов. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108 с.
6. Иванов Е.А. «Логика: Учебник для юридических вузов». – М.: Бек, 1996.
7. Ивин А.А. «Логика. Учебник для гуманитарных факультетов». – М.: Фаир-пресс, 1999.
8. Марков А. А., Нагорный Н. М. Теория алгорифмов, изд. 2. – М.: ФАЗИС, 1996.
9. Марков А. А. Элементы математической логики. – М.: Изд-во МГУ, 1984.
10. Светлов В.А. Логика: Учебник. – М.: Логос, 2012.
11. Свободная онлайн-энциклопедия Википедия [Электронный ресурс]. – Режим доступа: http://ru.wikipedia.org/
12. Сковиков А.К. Логика: учебник и практикум. Серия: Бакалавр. Базовый курс. – М.: Юрайт, 2014.
13. Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник – М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. – 224 с. – (Высшее образование).
14. В.А. Успенский, А.Л. Семёнов Теория алгоритмов: основные открытия и приложения – М., Наука, 1987, 288 c.
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
