Контрольная работа по математической логике и теории алгоритмов, вариант 4
| Цена, руб. | 400 |
| Номер работы | 22539 |
| Предмет | Логика |
| Тип работы | Контрольная |
| Объем, стр. | 5 |
| Оглавление | "Задание 1. Проверить выводимость в исчислении высказываний методом Квайна, методом редукции и методом резолюций. Задание 2. Пусть - множество людей. На множестве заданы следующие предикаты: <=> и один и тот же человек. <=> родитель . <=> и - супруги. <=> - мужчина. <=> - женщина. Записать формулу, выражающую утверждение: <=> - прабабушка. Задание 3. Привести формулу к предварённой форме: Задание 4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули . Проверить работу машины для конкретных значений . Задание 5. Показать примитивную рекурсивность функции . " |
| Цена, руб. | 400 |
Заказать работу «Контрольная работа по математической логике и теории алгоритмов, вариант 4 »
Отзывы
-
22.10
Привет. Все сдал на отлично. Спасибо за помощь
Денис - 10.10 Оксана
-
05.10
С антиплагиатом все хорошо, спасибо за помощь
Илья