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