Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология
Образование Политология Производство Психология Стандартизация Технологии


Информационные системы (по отраслям)



КОНТРОЛЬНАЯ РАБОТА

по учебной дисциплине ЕН.02 Элементы математической логики

Вариант № 3

Задание № 1, вариант №1

Инструкция для студента:

Выберите варианты правильных ответов. Вариант правильного ответа занесите в бланк.

 

1. Языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности:

1. умозаключение;

2. предположение;

3. высказывание;

4. решение.

2. Логическое умножение, в языках программирования соответствует обозначению «And»:

  1. дизъюнкция;
  2. инверсия;
  3. импликация;
  4. конъюнкция.

3. Логическое сложение, в языках программирования соответствует обозначению «Or»:

  1. дизъюнкция;
  2. инверсия;
  3. импликация;
  4. конъюнкция.

4. Логическая операция, которая с помощью связки «не» каждому исходному высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается:

  1. дизъюнкция;
  2. импликация;
  3. конъюнкция;
  4. отрицание.

5. Синоним логическому следованию:

  1. дизъюнкция;
  2. импликация;
  3. конъюнкция;
  4. инверсия.

6. Порядок выполнения логических операций в сложном логическом выражении:

  1. ⌐, &, →, V, ≡
  2. ≡, ⌐, &, V, →
  3. ⌐, &, V, →, ≡
  4. ⌐, V, &, →, ≡

7. Формула для определения количества строк при построении таблиц истинности:

1. 22

2. 2n

3. 2n

4. 2+n

8. Все, что может быть измерено и выражено числом:

  1. показатель;
  2. величина;
  3. число;
  4. модуль.

9. Множество рациональных чисел:

  1. U
  2. R
  3. Q
  4. Z

10. Квантор общности, который используется вместо слов «для всех», «для любого»:

  1. Θ
  2. Σ

11. Обозначение операции разности над множествами:

  1. U
  2. \

12. Синонимом сложного высказывания является:

  1. логическая функция;
  2. логическая переменная;
  3. сложная запись;
  4. длинное высказывание.

13. Дистрибутивный закон:

  1. (X/\Y)\/Z=(X/\Z)\/(Y/\Z);
  2. (X/\Y)\/Z=(X\/Z)/\(Y\/Z);
  3. (X\/Y)\/Z=X\/(Y\/Z);
  4. X=X.

14. По закону исключения третьего B\/⌐ B равно:

  1. 0;
  2. В;
  3. 1;
  4. ⌐ А.

15. Операция пересечения над множествами, представленная кругами Эйлера-Венна:

1. 2. 3. 4.

16. В каком году родился Джон Венн:

  1. 1866;
  2. 1834;
  3. 1844;
  4. 1829.

17. То, что утверждается в объекте:

1. субъект;

2. предикат;

3. понятие;

4. множество.

18. Заложил основы математической логики:

  1. Дж. Венн;
  2. Г.В. Лейбниц;
  3. А.Ш. Буль;
  4. Л. Эйлер.

19. Наука о правильном мышлении:

  1. логистика;
  2. дидактика;
  3. логика;
  4. диалектика.

20. Каким предикатом является предложение « Река х впадает в озеро Байкал»:

  1. двухместным;
  2. одноместным;
  3. n-местным;
  4. 0-местный.

Задание № 2, вариант №3

Постройте таблицу истинности для логических выражений:

1) B< => A=> ⌐ A\/B/\A

2) (⌐ A\/B)/\(⌐ B\/A)/\A< => B

Задание:

1. Построить таблицу истинности в соответствии с алгоритмом.

Ответ занесите в бланк.

 

Министерство общего и профессионального образования Свердловской области

государственное автономное профессиональное образовательное учреждение Свердловской области

«Ирбитский мотоциклетный техникум»

(ГАПОУ СО «ИМТ»)

ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА ПО СПЕЦИАЛЬНОСТИ

Информационные системы (по отраслям)

КОНТРОЛЬНАЯ РАБОТА

по учебной дисциплине ЕН.02 Элементы математической логики

Вариант № 4

Задание № 1, вариант №2

Инструкция для студента:

Выберите варианты правильных ответов. Вариант правильного ответа занесите в бланк.

1. Квантор общности, который используется вместо слов «для всех», «для любого»:

  1. Θ
  2. Σ

2. Обозначение операции разности над множествами:

  1. U
  2. \

3. Синонимом сложного высказывания является:

  1. логическая функция;
  2. логическая переменная;
  3. сложная запись;
  4. длинное высказывание.

4. Дистрибутивный закон:

  1. (X/\Y)\/Z=(X/\Z)\/(Y/\Z);
  2. (X/\Y)\/Z=(X\/Z)/\(Y\/Z);
  3. (X\/Y)\/Z=X\/(Y\/Z);
  4. X=X.

5. По закону исключения третьего B\/⌐ B равно:

  1. 0;
  2. В;
  3. 1;
  4. ⌐ А.

6. Операция пересечения над множествами, представленная кругами Эйлера-Венна:

1. 2. 3. 4.

7. В каком году родился Джон Венн:

  1. 1866;
  2. 1834;
  3. 1844;
  4. 1829.

8. То, что утверждается в объекте:

1. субъект;

2. предикат;

3. понятие;

4. множество.

9. Заложил основы математической логики:

  1. Дж. Венн;
  2. Г.В. Лейбниц;
  3. А.Ш. Буль;
  4. Л. Эйлер.

10. Наука о правильном мышлении:

  1. логистика;
  2. дидактика;
  3. логика;
  4. диалектика.

11. Каким предикатом является предложение « Река х впадает в озеро Байкал»:

  1. двухместным;
  2. одноместным;
  3. n-местным;
  4. 0-местный.

12. Языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности:

1. умозаключение;

2. предположение;

3. высказывание;

4. решение.

13. Логическое умножение, в языках программирования соответствует обозначению «And»:

  1. дизъюнкция;
  2. инверсия;
  3. импликация;
  4. конъюнкция.

14. Логическое сложение, в языках программирования соответствует обозначению «Or»:

  1. дизъюнкция;
  2. инверсия;
  3. импликация;
  4. конъюнкция.

15. Логическая операция, которая с помощью связки «не» каждому исходному высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается:

  1. дизъюнкция;
  2. импликация;
  3. конъюнкция;
  4. отрицание.

16. Синоним логическому следованию:

  1. дизъюнкция;
  2. импликация;
  3. конъюнкция;
  4. инверсия.

17. Порядок выполнения логических операций в сложном логическом выражении:

  1. ⌐, &, →, V, ≡
  2. ≡, ⌐, &, V, →
  3. ⌐, &, V, →, ≡
  4. ⌐, V, &, →, ≡

18. Формула для определения количества строк при построении таблиц истинности:

1. 22

2. 2n

3. 2n

4. 2+n

19. Все, что может быть измерено и выражено числом:

  1. показатель;
  2. величина;
  3. число;
  4. модуль.

20. Множество рациональных чисел:

  1. U
  2. R
  3. Q
  4. Z

Задание № 2, вариант №4

Постройте таблицу истинности для логических выражений:

1) B< => ⌐ A\/B\/A

2) (⌐ A/\B) /\ (⌐ B/\A) => A< => B

Задание:

1. Построить таблицу истинности в соответствии с алгоритмом.

Ответ занесите в бланк.

Контрольная работа выполняется только по своему варианту, согласно шифру, составленному в алфавитном порядке по начальной букве фамилии студента!

 

 

Варианты (шифр) контрольной работы

 

Начальная буква фамилии Номер варианта контрольной работы
А, Б, В, Г, Д, Е, Ж,
З, И, К, Л, М,
Н, О, П, Р, С
Т, У, Ф, Х, Ц, Ч, Ш, Щ, Э, Ю, Я

 

 

БЛАНК ОТВЕТА ДЛЯ СТУДЕНТОВ

Государственное автономное профессиональное образовательное учреждение

Свердловской области

«Ирбитский мотоциклетный техникум»

(ГАПОУ СО «ИМТ»)

ПРОГРАММА ПОДГОТОВКИ СПЕЦИАЛИСТОВ СРЕДНЕГО ЗВЕНА

ПО СПЕЦИАЛЬНОСТИ


Поделиться:



Популярное:

  1. I) Получение передаточных функций разомкнутой и замкнутой системы, по возмущению относительно выходной величины, по задающему воздействию относительно рассогласования .
  2. I. «Движение при закрытой автоблокировке (по путевой записке).
  3. I. РАЗВИТИИ ЛЕКСИЧЕСКОЙ СИСТЕМЫ ЯЗЫКА У ДЕТЕЙ С ОБЩИМ НЕДОРАЗВИТИЕМ РЕЧИ
  4. II. Книги (по алфавиту авторов или названий)
  5. II. О ФИЛОСОФСКОМ АНАЛИЗЕ СИСТЕМЫ МАКАРЕНКО
  6. Migration, Cities and Minorities (MCM) research unit (Португалия)
  7. V) Построение переходного процесса исходной замкнутой системы и определение ее прямых показателей качества
  8. А. Разомкнутые системы скалярного частотного управления асинхронными двигателями .
  9. АВИАЦИОННЫЕ ПРИБОРЫ И СИСТЕМЫ
  10. Автоматизированные информационно управляющие системы сортировочных станций
  11. Автоматизированные системы диспетчерского управления
  12. Автоматическая телефонная станция квазиэлектронной системы «КВАНТ»


Последнее изменение этой страницы: 2017-03-08; Просмотров: 669; Нарушение авторского права страницы


lektsia.com 2007 - 2024 год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! (0.022 с.)
Главная | Случайная страница | Обратная связь