ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 10

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 1

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

 

 

 

 


 

 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 2

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

 

 

 


 

 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 3

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

 

 

 


 

 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 4

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

 

 

 


 

 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 5

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

 

 

 


 

 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 6

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

 

 

 


 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 7

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

 

 

 


 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 8

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

 

 

 


 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 9

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

 

 

 


 

Форма №20А

ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 10

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

1. Анализ рассуждений при помощи таблиц истинности. Проанализировать рассуждение при помощи таблицы.

2. Представить в ССФ предикат .

3. Используя метод резолюций для предикатных выражений для заданного множества гипотез и утверждения , доказать справедливость выражения .

,

.

4. Найти функцию , полученную из функций и по схеме примитивной рекурсии.

5. Написать формулу числовой функции , вычислимой машиной Тьюринга с множеством внутренних состояний , где 0 – заключительное, а 1 – начальное состояния, если машина задана своей программой.

n
5R1 4R 0S 0S
2R1 3R 3R 4R 6R1 6R

 

 

 

 


 

Форма №20А