- Преподавателю
- Математика
- Экзаменационные билеты по математической логике для специальности Компьютерные сети
Экзаменационные билеты по математической логике для специальности Компьютерные сети
Раздел | Математика |
Класс | - |
Тип | Другие методич. материалы |
Автор | Анисимова Л.Н. |
Дата | 31.12.2015 |
Формат | docx |
Изображения | Есть |
ГБОУ СПО Строительный
| Экзаменационный билет | Утверждаю: Ширинян Н. В. _________________
|
-
Множества. Основные операции над множествами.
-
На множестве заданы предикаты Найдите множество .
-
Установите, является ли отношение , заданное на паре множеств 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
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
-
Логические схемы. Триггеры.
-
Найдите декартов квадрат множества М, если: .
-
Нормальный алгоритм в алфавите задается схемой , . Примените его к слову .
Подпись преподавателя ________________