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