Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.
Подать заявку на курс
- Математика
Экзаменационные билеты по математической логике для специальности "Компьютерные сети"
| ГБОУ СПО Строительный
| Экзаменационный билет | Утверждаю: Ширинян Н. В. _________________ |
Множества. Основные операции над множествами.
На множестве
заданы предикаты 
Найдите множество 
.Установите, является ли отношение
, заданное на паре множеств 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
по курсу
«Элементы математической логики»
Утверждаю:
Заместитель директора
Ширинян Н. В.
_________________
Логические схемы. Триггеры.
Найдите декартов квадрат множества М, если:
.Нормальный алгоритм в алфавите
задается схемой 
, 
. Примените его к слову 
.
Подпись преподавателя ________________
| Автор | |
|---|---|
| Дата добавления | 24.01.2016 |
| Раздел | Математика |
| Подраздел | Другие методич. материалы |
| Просмотров | 373 |
| Номер материала | ДВ-374865 |
Просмотров: 841
Комментариев: 0
Просмотров: 256
Комментариев: 0
Просмотров: 242
Комментариев: 0
Просмотров: 187
Комментариев: 0
Просмотров: 429
Комментариев: 0
Просмотров: 190
Комментариев: 0
Просмотров: 222
Комментариев: 0