Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Математическая логика и теория алгоритмов
- 12 страниц
- 2017 год
- 174 просмотра
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
-
Содержание
Задание № 1 3
Задание № 2 3
Задание № 3 4
Задание № 4 4
Задание № 5 5
Задание № 6 6
Задание № 7 9
Список использованных источников 12
Контрольная работа
для студентов заочной формы обучения
Направление «Информатика и вычислительная техника»
Профиль: Автоматизированные системы обработки информации и управления.
Дисциплина: Математическая логика и теория алгоритмов.
Вариант 2
Профессор Кожухов С.Ф.
-
Задание № 1
Известно, что функция примитивно рекурсивна. Показать примитивную рекурсивность функции g, если она имеет следующий вид:
1.2.
Решение
...
Задание № 2
Даны функции g(x) и h(x,y,z). Определить, какая функция f(x,y) получается из них с помощью операции примитивной рекурсии.
2.2. g(x)=x, h(x,y,z)=z
Решение
...
Задание № 3
В канторовской нумерации определить номер тройки и тройку с номером n.
1.2. ; n=15;
Решение
...
Задание № 4
Дан алфавит А= . Определить словарный номер С ( ) слова , и определить слово (n), имеющее номер n.
1.2. =a3 a1 a2 a3; n=67;
Решение
...
Задание № 5
В алфавите А= показать примитивную рекурсивность словарной функции.
5.1 – 5.5 F( , )= – функция, приписывающая к слову справа слово .
Решение
...
Задание № 6
В алфавите А= построить машину Тьюринга, вычисляющую функцию (n). Программу записать в виде таблицы.
6.1 – 6.5. (n)= n+3;
Решение
...
Задание № 7
В алфавите А= построить машину Тьюринга, вычисляющую функцию (x,y). Использовать машины Т+ и Ткоп.
7.1 – 7.5. (x,y)=xy.
Решение
...
Список использованных источников
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.
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
