Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
| Код |
267263 |
| Дата создания |
09 мая 2015 |
| Страниц |
13
|
Мы сможем обработать ваш заказ (!) 27 декабря в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Описание
Работу выполнить в 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. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пусты ...
Содержание
Задание 1 3
Задание 2 5
Задание 3 6
Задание 4 6
Задание 5 11
Список использованных источников 13
Введение
-
Фрагмент работы для ознакомления
А2: Всякий, кто любит учиться, многого достигнет в жизни.Т: Некоторые студенты многого достигнут.РешениеОбозначим предикаты:S(x) – x является студентом.L(x) – x любит учиться.D(x) – x многого достигнет в жизни.
Список литературы
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.
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00368