Оставить только: НГУЭУ (Нархоз), СибГУТИ

Контрольные по математической логике и теории алгоритмов

Вариант 19. Построить машину Тьюринга для перевода из одной конфигурации в другую

Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.

Вариант 5. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом

Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Решение. Высказывание будет выводимо, если, где, Построим таблицу истинности.высказывание невыводимо. Пусть W - множество людей.

Вариант 6. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом

Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Решение. Заданное высказывание будет выводимым, если конъюнкция входящих в него формул будет тавтологией. По таблице истинности видно, что при любых значениях А и В конъюнкция б

Шифр 47. На кафедре иностранных языков работают 18 преподавателей, из них 12 преподают английский язык, 11 – немецкий, 9 – французский

КОНТРОЛЬНОЕ. ПО КУРСУ "ТЕОРИЯ АЛГОРИТМОВ" Решить задачу, построив диаграммы Эйлера-Венна. На кафедре иностранных языков работают. преподавателей, из них. преподают английский язык,. – немецкий,. – французский.