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