ГБОУ СПО Строительный колледж № 26 подразделение № 7 « 28 » июня 2014 г. | Экзаменационный билет № 1 по курсу «Элементы математической логики» | Утверждаю: Заместитель директора Ширинян Н. В. _________________
|
Множества. Основные операции над множествами.
На множестве
заданы предикаты
Найдите множество
.
Установите, является ли отношение
, заданное на паре множеств A и B, отображением множества A "во" (или "на") множество B, если:
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 2
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Прямое произведение множеств. Круги Эйлера-Венна.
На множестве
заданы предикаты
Найдите множество
.
Установите, является ли отношение
, заданное на паре множеств A и B, отображением множества A "во" (или "на") множество B, если:
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 3
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Отображение множеств.
На множестве
заданы предикаты
Найдите множество
.
Для следующей формулы алгебры высказываний с помощью ее таблицы истинности найдите СКН- форму:
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 4
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Алгебра логики высказываний.
На множестве
заданы предикаты
Найдите множество
.
Для следующей формулы алгебры высказываний с помощью ее таблицы истинности найдите СДН- форму:
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 5
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Основные логические операции. Таблицы истинности.
Даны предикаты
. Составьте предикат
, если 
Для следующей формулы алгебры высказываний с помощью ее таблицы истинности найдите СДН- форму:
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 6
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Законы логики. Равносильные преобразования.
Даны предикаты
. Составьте предикат
, если
.
Для следующей формулы алгебры высказываний с помощью ее таблицы истинности найдите СКН- форму:
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 7
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Функции алгебры логики.
Какие из следующих выражений являются предикатами: 1) " x делится на 5" (x
); 2) "
" (x
).
В бутылке, стакане, кувшине и банке находятся молоко, лимонад, квас и вода. Известно, что:
вода и молоко не в бутылке;
сосуд с лимонадом стоит между кувшином и сосудом с квасом;
в банке не лимонад и не вода;
стакан стоит около банки и сосуда с молоком.
Куда налита каждая жидкость?
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 8
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Многочлен Жегалкина.
Какие из следующих выражений являются предикатами: 1)" Река x впадает в озеро Байкал" (x
); 2) "
" (x
).
Три подруги вышли погулять в белом, зеленом и синем платьях и в туфлях таких же цветов. Известно, что только у Ани цвет платья и туфель совпадают. Ни туфли, ни платье Вали не были белыми. Наташа была в зеленых туфлях. Определите цвет платья и туфель на каждой из подруг.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 9
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Основные классы функций. Теорема Поста.
Для следующего предиката с помощью кванторов постройте всевозможные высказывания и определите, какие из них истинны, а какие ложны:
(
).
В городах Нальчик, Москва, Серпухов, Тольятти живут четыре супружеские пары, причем в каждом городе только одна супружеская пара. Имена этих супругов: Антон, Борис, Давид, Григорий, Ольга, Мария, Светлана, Екатерина. Антон живет в Нальчике, Борис и Ольга – супруги, Григорий и Светлана не живут в одном городе, Мария живет в Москве, Светлана – жительница Серпухова. Определите, кто на ком женат и где проживает.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 10
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Понятие предиката, множество истинности предиката. Обычные логические операции над предикатами.
Для следующего предиката с помощью кванторов постройте всевозможные высказывания и определите, какие из них истинны, а какие ложны:
(
).
Найти полином Жегалкина для функции
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 11
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Кванторные операции над предикатами.
Выясните, равносильны ли следующие предикаты, если их рассматривать над R, Q, Z и N :
.
Найти полином Жегалкина для функции
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 12
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Отрицание в исчислении предикатов.
Найдите множество истинности следующего предиката, заданного над указанным множеством М : "
", M=R.
Имеется машина Тьюринга с внешним алфавитом
, алфавитом внутренних состояний
и функциональной схемой
-
A\Q




1


Определите, в какое слово перерабатывает машина слово
, если она находится в начальном состоянии
и обозревает 4 ячейку, считая слева.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 13
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Формулы логики предикатов. Свободные и связанные переменные.
Найдите множество истинности следующего предиката, заданного над указанным множеством
: (х - четное число)
( х - квадрат натурального числа)
Имеется машина Тьюринга с внешним алфавитом
, алфавитом внутренних состояний
и функциональной схемой
-
A\Q




1


Определите, в какое слово перерабатывает машина слово
, если она находится в начальном состоянии
и обозревает 2 ячейку, считая слева.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 14
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Следствия и равносильности логики предикатов.
Установите, являются ли равными данные множества:
и
.
Имеется машина Тьюринга с внешним алфавитом
, алфавитом внутренних состояний
и функциональной схемой
-
A\Q




1


Определите, в какое слово перерабатывает машина слово
, если она находится в начальном состоянии
и обозревает 3 ячейку, считая слева.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 15
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Язык логики предикатов.
Установите, является ли множество А подмножеством множества В, если:
.
Дана машина Тьюринга с внешним алфавитом
, алфавитом внутренних состояний
и функциональной схемой
-
A\Q















1







Изображая на каждом такте работы машины получающуюся конфигурацию, определите, в какое слово перерабатывает машина слово 11111.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 16
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Бинарные отношения и их свойства.
Установите, является ли множество А подмножеством множества В, если:
.
Дана машина Тьюринга с внешним алфавитом
, алфавитом внутренних состояний
и функциональной схемой
-
A\Q















1







Изображая на каждом такте работы машины получающуюся конфигурацию, определите, в какое слово перерабатывает машина слово 111111.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 17
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Операция двоичного сложения. Полнота множества.
Найдите объединение данных множеств
,
.
Дана машина Тьюринга с внешним алфавитом
, алфавитом внутренних состояний
и функциональной схемой
-
A\Q















1







Изображая на каждом такте работы машины получающуюся конфигурацию, определите, в какое слово перерабатывает машина слово 1111.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 18
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Представление булевой функции в виде совершенной ДНФ.
Найдите пересечение данных множеств
,
.
Машина Тьюринга задается следующей функциональной схемой :
-
A\Q






1



*



Определите, в какое слово перерабатывает машина слово 111*111, исходя из начального стандартного состояния.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 19
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Представление булевой функции в виде совершенной КНФ.
Найдите пересечение данных множеств
,
.
Машина Тьюринга задается следующей функциональной схемой :
-
A\Q






1



*



Определите, в какое слово перерабатывает машина слово 1*11, исходя из начального стандартного состояния.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 20
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Теория алгоритмов. Предмет изучения теории алгоритмов.
Найдите объединение данных множеств
,
.
Машина Тьюринга задается следующей функциональной схемой :
-
A\Q






1



*



Определите, в какое слово перерабатывает машина слово 111*1, исходя из начального стандартного состояния.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 21
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Понятие алгоритма и его свойства.
Найдите разность данных множеств
,
.
Пусть для слов в алфавите
заданы марковские подстановки
,
. Примените каждую из них к слову
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 22
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Основные требования к алгоритмам.
Найдите разность данных множеств
,
.
Пусть для слов в алфавите
заданы марковские подстановки
,
. Примените каждую из них к слову
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 23
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Машина Тьюринга.
Найдите прямое произведение множества А на множество В, если
,
.
Пусть для слов в алфавите
заданы марковские подстановки
,
. Примените каждую из них к слову
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 24
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Рекурсивные функции.
Найдите прямое произведение множества А на множество В, если
,
.
Нормальный алгоритм в алфавите
задается схемой
,
,
. Примените его к слову
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 25
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Алгоритм Маркова.
Найдите декартов квадрат множества М, если:
.
Установите, является ли отношение
, заданное на паре множеств A и B, отображением множества A "во" (или "на") множество B, если:
.
Подпись преподавателя ________________
ГБОУ СПО
Строительный
колледж № 26
подразделение № 7
« 28 » июня 2014 г.
Экзаменационный билет
№ 26
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Логические схемы. Триггеры.
Найдите декартов квадрат множества М, если:
.
Нормальный алгоритм в алфавите
задается схемой
,
. Примените его к слову
.
Подпись преподавателя ________________