Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
Вариант № 1.
Постройте таблицу истинности для логических выражений: 1)A=> B< => ⌐ A\/B 2)A< => B< => (⌐ A\/B)/\(⌐ B\/A) Задание: 1. Построить таблицу истинности в соответствии с алгоритмом.
Вариант № 2.
Постройте таблицу истинности для логических выражений: 1) B< => ⌐ A\/B=> A 2) (⌐ A\/B)/\(⌐ B\/A) < => A< => B Задание: 1. Построить таблицу истинности в соответствии с алгоритмом. Вариант № 3.
Постройте таблицу истинности для логических выражений: 1) B< => A=> ⌐ A\/B/\A 2) (⌐ A\/B)/\(⌐ B\/A)/\A< => B Задание: 1. Построить таблицу истинности в соответствии с алгоритмом.
Вариант № 4.
Постройте таблицу истинности для логических выражений: 1) B< => ⌐ A\/B\/A 2) (⌐ A/\B)/\(⌐ B/\A) => A< => B Задание: 1. Построить таблицу истинности в соответствии с алгоритмом.
ВАРИАНТЫ ЗАДАНИЙ ДЛЯ ВЫПОЛНЕНИЯ КОНТРОЛЬНОЙ РАБОТЫ ПО ДИСЦИПЛИНЕ ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ Министерство общего и профессионального образования Свердловской области государственное автономное профессиональное образовательное учреждение Свердловской области «Ирбитский мотоциклетный техникум» (ГАПОУ СО «ИМТ») ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА ПО СПЕЦИАЛЬНОСТИ Информационные системы (по отраслям) КОНТРОЛЬНАЯ РАБОТА по учебной дисциплине ЕН.02 Элементы математической логики Вариант № 1 Задание № 1, вариант №1 Инструкция для студента: Выберите варианты правильных ответов. Вариант правильного ответа занесите в бланк. 1. Языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности: 1. умозаключение; 2. предположение; 3. высказывание; 4. решение. 2. Логическое умножение, в языках программирования соответствует обозначению «And»:
3. Логическое сложение, в языках программирования соответствует обозначению «Or»:
4. Логическая операция, которая с помощью связки «не» каждому исходному высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается:
5. Синоним логическому следованию:
6. Порядок выполнения логических операций в сложном логическом выражении:
7. Формула для определения количества строк при построении таблиц истинности: 1. 22 2. 2n 3. 2n 4. 2+n 8. Все, что может быть измерено и выражено числом:
9. Множество рациональных чисел:
10. Квантор общности, который используется вместо слов «для всех», «для любого»:
11. Обозначение операции разности над множествами:
12. Синонимом сложного высказывания является:
13. Дистрибутивный закон:
14. По закону исключения третьего B\/⌐ B равно:
15. Операция пересечения над множествами, представленная кругами Эйлера-Венна: 1. 2. 3. 4. 16. В каком году родился Джон Венн:
17. То, что утверждается в объекте: 1. субъект; 2. предикат; 3. понятие; 4. множество. 18. Заложил основы математической логики:
19. Наука о правильном мышлении:
20. Каким предикатом является предложение « Река х впадает в озеро Байкал»:
Задание № 2, вариант №1 Постройте таблицу истинности для логических выражений: 1)A=> B< => ⌐ A\/B 2)A< => B< => (⌐ A\/B)/\(⌐ B\/A) Задание: 1. Построить таблицу истинности в соответствии с алгоритмом. Ответ занесите в бланк. Министерство общего и профессионального образования Свердловской области государственное автономное профессиональное образовательное учреждение Свердловской области «Ирбитский мотоциклетный техникум» (ГАПОУ СО «ИМТ») ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА ПО СПЕЦИАЛЬНОСТИ Информационные системы (по отраслям) КОНТРОЛЬНАЯ РАБОТА по учебной дисциплине ЕН.02 Элементы математической логики Вариант № 2 Задание № 1, вариант №2 Инструкция для студента: Выберите варианты правильных ответов. Вариант правильного ответа занесите в бланк. 1. Квантор общности, который используется вместо слов «для всех», «для любого»:
2. Обозначение операции разности над множествами:
3. Синонимом сложного высказывания является:
4. Дистрибутивный закон:
5. По закону исключения третьего B\/⌐ B равно:
6. Операция пересечения над множествами, представленная кругами Эйлера-Венна: 1. 2. 3. 4. 7. В каком году родился Джон Венн:
8. То, что утверждается в объекте: 1. субъект; 2. предикат; 3. понятие; 4. множество. 9. Заложил основы математической логики:
10. Наука о правильном мышлении:
11. Каким предикатом является предложение « Река х впадает в озеро Байкал»:
12. Языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности: 1. умозаключение; 2. предположение; 3. высказывание; 4. решение. 13. Логическое умножение, в языках программирования соответствует обозначению «And»:
14. Логическое сложение, в языках программирования соответствует обозначению «Or»:
15. Логическая операция, которая с помощью связки «не» каждому исходному высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается:
16. Синоним логическому следованию:
17. Порядок выполнения логических операций в сложном логическом выражении:
18. Формула для определения количества строк при построении таблиц истинности: 1. 22 2. 2n 3. 2n 4. 2+n 19. Все, что может быть измерено и выражено числом:
20. Множество рациональных чисел:
Задание № 2, вариант №2 Постройте таблицу истинности для логических выражений: 1) B< => ⌐ A\/B=> A 2) (⌐ A\/B)/\(⌐ B\/A) < => A< => B Задание: 1. Построить таблицу истинности в соответствии с алгоритмом. Ответ занесите в бланк.
Министерство общего и профессионального образования Свердловской области государственное автономное профессиональное образовательное учреждение Свердловской области «Ирбитский мотоциклетный техникум» (ГАПОУ СО «ИМТ») ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА ПО СПЕЦИАЛЬНОСТИ Популярное:
|
Последнее изменение этой страницы: 2017-03-08; Просмотров: 920; Нарушение авторского права страницы