Форма №20а экзаменационный билет № 1
МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Московский государственный технический университет радиотехники, электроники и автоматики" МГТУ МИРЭА |
Кафедра: ОНД |
УТВЕРЖДАЮ Зав. кафедрой
|
|||||||||||||||||||||||
Дисциплина: «Математическая логика и теория алгоритмов» Форма обучения: очно-заочная |
Дата:
|
||||||||||||||||||||||||
1. Высказывания и формулы. 2.
Представить в ССФ предикат
3.
Используя
метод резолюций для предикатных
выражений для заданного множества
гипотез
4.
Найти функцию
5.
Написать формулу числовой функции
|
|||||||||||||||||||||||||
.
и утверждения
,
доказать справедливость выражения
.
,
.
,
полученную из функций
и
по схеме примитивной рекурсии.
,
вычислимой машиной Тьюринга с множеством
внутренних состояний
,
где 0 – заключительное, а 1 – начальное
состояния, если машина задана своей
программой.
Форма №20а экзаменационный билет № 2
МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Московский государственный технический университет радиотехники, электроники и автоматики" МГТУ МИРЭА |
Кафедра: ОНД |
УТВЕРЖДАЮ Зав. кафедрой
|
|||||||||||||||||||||||
Дисциплина: «Математическая логика и теория алгоритмов» Форма обучения: очно-заочная |
Дата:
|
||||||||||||||||||||||||
1. Выполнимые и общезначимые формулы. Определить вид формулы. 2.
Представить в ССФ предикат
3. Используя метод резолюций для предикатных выражений для заданного множества гипотез и утверждения , доказать справедливость выражения .
4.
Найти функцию
,
полученную из функций
5. Написать формулу числовой функции , вычислимой машиной Тьюринга с множеством внутренних состояний , где 0 – заключительное, а 1 – начальное состояния, если машина задана своей программой.
|
|||||||||||||||||||||||||
.
,
.
и
по схеме примитивной рекурсии.