Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
МИНОБРНАУКИ РОССИИ
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
«Оренбургский государственный университет»
(ОГУ)
Дисциплина: Прикладная теория алгоритмов и математической логики в вычислительной технике
ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 1
1. Операции логики высказываний.
2. Различные виды формул логики предикатов.
3. Задача.
Составитель ____________Е.И. Ряполова Зав.кафедрой _____________Т.З.Аралбаев
Кафедра (наименование кафедры)
«НАИМЕНОВАНИЕ ДИСЦИПЛИНЫ»
____________________________________
(код и направления подготовки/наименование специальности)
________________________________________________
(профиль подготовки/наименование магистерской программы/специализация)
Экзаменационный билет №
1 Вопрос……………………………………………………………………………
2 Вопрос……………………………………………………………………………
3 *
|
МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Оренбургский государственный университет» (ОГУ) Дисциплина: Прикладная теория алгоритмов и математической логики в вычислительной технике
ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 2 1. Понятие равносильных формул. Законы логики высказываний. 2. Равносильность формул логики предикатов. 3. Задача.
Кафедра (наименование кафедры)
«НАИМЕНОВАНИЕ ДИСЦИПЛИНЫ» ____________________________________ (код и направления подготовки/наименование специальности) ________________________________________________ (профиль подготовки/наименование магистерской программы/специализация)
Экзаменационный билет № 1 Вопрос…………………………………………………………………………… 2 Вопрос…………………………………………………………………………… 3 *
|
| МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Оренбургский государственный университет» (ОГУ) Дисциплина: Прикладная теория алгоритмов и математической логики в вычислительной технике
ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 3 1. Двойственные формулы. Закон двойственности. Типы формул в логике высказываний. 2. Предваренные нормальные формы. 3. Задача.
Кафедра (наименование кафедры)
«НАИМЕНОВАНИЕ ДИСЦИПЛИНЫ» ____________________________________ (код и направления подготовки/наименование специальности) ________________________________________________ (профиль подготовки/наименование магистерской программы/специализация) Экзаменационный билет № 1 Вопрос…………………………………………………………………………… 2 Вопрос…………………………………………………………………………… 3 *
|
| МИНОБРНАУКИ РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Оренбургский государственный университет» (ОГУ) Дисциплина: Прикладная теория алгоритмов и математической логики в вычислительной технике
ЭКЗАМЕНАЦИОННЫЙ БИЛЕТ № 4 1. Проблема разрешимости в теории алгоритмов. 2. Формальный язык первого порядка. Интерпретация формального языка первого порядка. 3. Задача.
 Мы поможем в написании ваших работ! |