- •Форма №20а экзаменационный билет № 1
- •Форма №20а экзаменационный билет № 2
- •Форма №20а экзаменационный билет № 3
- •Форма №20а экзаменационный билет № 4
- •Форма №20а экзаменационный билет № 5
- •Форма №20а экзаменационный билет № 6
- •Форма №20а экзаменационный билет № 7
- •Форма №20а экзаменационный билет № 8
- •Форма №20а экзаменационный билет № 9
- •Форма №20а экзаменационный билет № 10
- •Форма №20а экзаменационный билет № 11
- •Форма №20а экзаменационный билет № 12
- •Форма №20а экзаменационный билет № 13
- •Форма №20а экзаменационный билет № 14
- •Форма №20а экзаменационный билет № 15
- •Форма №20а экзаменационный билет № 16
- •Форма №20а экзаменационный билет № 17
- •Форма №20а экзаменационный билет № 18
- •Форма №20а экзаменационный билет № 19
- •Форма №20а экзаменационный билет № 20
- •Форма №20а экзаменационный билет № 21
- •Форма №20а экзаменационный билет № 22
- •Форма №20а экзаменационный билет № 23
- •Форма №20а экзаменационный билет № 24
- •Форма №20а экзаменационный билет № 25
- •Форма №20а экзаменационный билет № 26
- •Форма №20а экзаменационный билет № 27
- •Форма №20а экзаменационный билет № 28
- •Форма №20а экзаменационный билет № 29
- •Форма №20а экзаменационный билет № 30
- •Форма №20а экзаменационный билет № 31
- •Форма №20а экзаменационный билет № 32
- •Форма №20а экзаменационный билет № 33
- •Форма №20а экзаменационный билет № 34
- •Форма №20а экзаменационный билет № 35
- •Форма №20а экзаменационный билет № 36
- •Форма №20а экзаменационный билет № 37
- •Форма №20а экзаменационный билет № 38
- •Форма №20а экзаменационный билет № 39
Форма №20а экзаменационный билет № 37
МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Московский государственный технический университет радиотехники, электроники и автоматики" МГТУ МИРЭА |
Кафедра: ОНД |
УТВЕРЖДАЮ Зав. кафедрой
|
|||||||||||||||||||||||
Дисциплина: «Математическая логика и теория алгоритмов» Форма обучения: очно-заочная |
Дата:
|
||||||||||||||||||||||||
1. Характерные черты алгоритма. 2. Представить в ССФ предикат . 3. Используя метод резолюций для предикатных выражений для заданного множества гипотез и утверждения , доказать справедливость выражения . , . 4. Найти функцию , полученную из функций и по схеме примитивной рекурсии. 5. Написать формулу числовой функции , вычислимой машиной Тьюринга с множеством внутренних состояний , где 0 – заключительное, а 1 – начальное состояния, если машина задана своей программой.
|
|||||||||||||||||||||||||
Форма №20а экзаменационный билет № 38
МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Московский государственный технический университет радиотехники, электроники и автоматики" МГТУ МИРЭА |
Кафедра: ОНД |
УТВЕРЖДАЮ Зав. кафедрой
|
|||||||||||||||||||||||
Дисциплина: «Математическая логика и теория алгоритмов» Форма обучения: очно-заочная |
Дата:
|
||||||||||||||||||||||||
1. Рекурсивные функции. 2. Представить в ССФ предикат . 3. Используя метод резолюций для предикатных выражений для заданного множества гипотез и утверждения , доказать справедливость выражения . , , . 4. Найти функцию , полученную из функций и по схеме примитивной рекурсии. 5. Написать формулу числовой функции , вычислимой машиной Тьюринга с множеством внутренних состояний , где 0 – заключительное, а 1 – начальное состояния, если машина задана своей программой.
|
|||||||||||||||||||||||||