Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Контрольная работа по предмету «Теория алгоритмов» Вариант 3 Тишин
- 10 страниц
- 2015 год
- 825 просмотров
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
-
Задание 3.1.3 3
Задание 3.1.4 4
Задание 3.2.3 5
Задание 3.3.1 6
Задание 4.1.4 7
Задание 4.1.5 8
Задание 4.1.6 8
Список использованных источников 10
Решить задачи № 3.1.3, 3.1.4, 3.2.3, 3.3.1, 4.1.4, 4.1.5, 4.1.6. из Учебника В.В. Тишина
"Дискретная математика в примерах и задачах".
В табл.3.1.3 и везде далее наш 3-й вариант, т.е. строка под №3
Задание 3.1.3
1. Написать формулу числовой функции f(x1, x2, …, xn), вычислимой машиной Тьюринга с множеством внутренних состояний {0, 1, 2, 3, 4, 5, 6}, где 0 – заключительное, а 1 – начальные состояния, если машина задана своей программой.
2. Проверить работу машины Тьюринга с некоторым набором значений аргументов.
Решение
Задание 3.1.4
1. По данному коду N(T) восстановить программу машины Тьюринга.
2. Выяснить, является ли машина Е самоприменимой или несамоприменимой.
При составлении N(T) использована следующая кодировка:
П – 1, Л – 12, Н – 13, λ – 14, 1 – 15, * – 16, s0 – 17, s1 – 18, s2 – 19.
18*14*14*1*18**18*15*16*12*17**18*16*15*13*17**19*14*14*13*17**19*15*16*1*19**19*16*16*1*18
Решение
Задание 3.2.3
1. Написать формулу для функции y=f(x1, x2, …, xn), вычисляемой нормальным алгоритмом.
2. Проверить работу алгоритма над некоторым набором значений аргументов.
n=2
{█(1*1→**@1**→**@**→.1111)┤
Решение
Задание 3.3.1
Найти функцию f(x, y), полученную из функций g(x) и h(x, y, z) по схеме примитивной рекурсии.
g(x)=x
h(x, y, z)=x+y-z
Решение
Задание 4.1.4
Предикаты P и Q определены на множестве {a,b,c}.
1. Найти предикат, равносильный предикату R, но не содержащий кванторов.
2. Выяснить, может ли предикат R быть выполнимым, но не тождественно истинным.
zyP(y,z)ÙxQ(x,y)
Решение
Задание 4.1.5
1. Представить в приведённой форме предикат D варианта №.
(xyT(x,y)→R(x,z))|xP(x,y)
2. Представить в предварённой нормальной форме предикат D варианта №+1.
(xyP(y,z,t)|R(x,y,z))ÙyT(x,y,t)
Решение
ние 4.1.6
1. Записать с помощью кванторов высказывание α.
2. Составить высказывание «не-α».
3. Привести пример доказательства на основании высказывания «не-α».
α: «Функция f(x) равномерно непрерывна на (a,b)»
Решение
1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. – 368 с.
2. Гуц А.К. Математическая лоrика и теория алrоритмов. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108 с.
3. Иванов Е.А. «Логика: Учебник для юридических вузов». – М.: Бек, 1996.
4. Марков А. А., Нагорный Н. М. Теория алгорифмов, изд. 2. – М.: ФАЗИС, 1996.
5. Марков А. А. Элементы математической логики. – М.: Изд-во МГУ, 1984.
6. Светлов В.А. Логика: Учебник. – М.: Логос, 2012.
7. Свободная онлайн-энциклопедия Википедия [Электронный ресурс]. – Режим доступа: http://ru.wikipedia.org/
8. Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник – М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. – 224 с. – (Высшее образование).
9. В.А. Успенский, А.Л. Семёнов Теория алгоритмов: основные открытия и приложения – М., Наука, 1987, 288 c.
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
