Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 72000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу

Математическая логика и теория алгоритмов

Номер заказа
369017
Предмет
Создан
14 июня 2017
Выполнен
15 июня 2017
Стоимость работы
556
Проблема по логике. Срочно закажу контрольную работу по логике. Есть буквально 1 день. Тема работы «Математическая логика и теория алгоритмов».
Всего было
18 предложений
Заказчик выбрал автора
Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 72000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою Контрольную работу
Или вы можете купить эту работу...
Страниц: 12
Оригинальность: Неизвестно
556
Не подошла
данная работа?
Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу







Контрольная работа
для студентов заочной формы обучения

Направление «Информатика и вычислительная техника»

Профиль: Автоматизированные системы обработки информации и управления.

Дисциплина: Математическая логика и теория алгоритмов.

Вариант 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
Дан алфавит А= . Определить словарный номер С ( ) слова , и опред Показать все
-
Содержание
Задание № 1 3
Задание № 2 3
Задание № 3 4
Задание № 4 4
Задание № 5 5
Задание № 6 6
Задание № 7 9
Список использованных источников 12

Список использованных источников
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 с. – (В Показать все
Тогда словарный номер будет равен:С a3a1a2a3= 3∙33+1∙32+2∙31+1∙30=81+9+6+1=97Определим слово (n), имеющее номер 67:2∙33+1∙32+1∙31+1∙30=54+9+3+1=67n=a2a1a1a1Задание № 5В алфавите А= показать примитивную рекурсивность словарной функции.5.1 – 5.5F(,)= – функция, приписывающая к слову справа слово .РешениеFx,0=x=U11=gxFx,y+1=xy+1=xy+1=SFx,y=hx,y,Fx,yЗадание № 6В алфавите А= построить машину Тьюринга, вычисляющую функцию (n). Программу записать в виде таблицы.6.1 – 6.5.(n)= n+3;РешениеВоспользуемся эмулятором под названием «Машина Тьюринга» К. Полякова версии 1.1.2.16, так как в ней, в отличие от Алго2000, легко можно «топтаться» на одной ячейке ленты. Построим машину Тьюринга, которая прибавляет три единицы к числу на ленте. Входное слово состоит из цифр целого десятичного числа, записанных Показать все
Автор24 - это фриланс-биржа. Все работы, представленные на сайте, загружены нашими пользователями, которые согласились с правилами размещения работ на ресурсе и обладают всеми необходимыми авторскими правами на данные работы. Скачивая работу вы соглашаетесь с тем что она не будет выдана за свою, а будет использована исключительно как пример или первоисточник с обязательной ссылкой на авторство работы. Если вы правообладатель и считаете что данная работа здесь размещена без вашего разрешения - пожалуйста, заполните форму и мы обязательно удалим ее с сайта. Заполнить форму
Оценим бесплатно
за 10 минут
Эта работа вам не подошла?
У наших авторов вы можете заказать любую учебную работу от 200 руб.
Оформите заказ и авторы начнут откликаться уже через 10 минут!
Заказать контрольную работу
Другие работы по этому предмету
Конкурентоспособность товара
Курсовая работа, Логика
Стоимость 222 руб.
Интегрированное планирование цепи поставок
Курсовая работа, Логика
Стоимость 500 руб.
Государственная регистрация коммерческих организаций
Курсовая работа, Логика
Стоимость 200 руб.
логика
Курсовая работа, Логика
Стоимость 200 руб.
ТЕХНОЛОГИЧЕСКИЕ ПРОЦЕССЫ ТО И ТР на примере ООО
Курсовая работа, Логика
Стоимость 100 руб.
Классификация услуг и сервисной деятельности
Курсовая работа, Логика
Стоимость 222 руб.
Состояние рынка кожаной галантереи в Республике Беларусь
Курсовая работа, Логика
Стоимость 222 руб.