ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕКОЙ ЛОГИКИ

для студентов заочной формы обучения

 

2017 г.

 

РАССМОТРЕНО

На заседании цикловой комиссии

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

Протокол № ____

от «___» ______________ 2017 г.

Председатель _________ Е.А. Кузеванова

 

 

МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ

ДЛЯ ВЫПОЛНЕНИЯ КОНТРОЛЬНОЙ РАБОТЫ

ПО ДИСЦИПЛИНЕ

ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

 

для специальности

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

 

 

Разработчик: ___________(Е.С. Столетова), преподаватель ГАПОУ СО «ИМТ»

 

Методическое обеспечение контрольной работы по учебной дисциплине ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИразработано на основе Федерального государственного образовательного стандарта специальности 09.02.04 Информационные системы (по отраслям), утвержденного приказом Министерства образования и науки Российской Федерации от 14 мая 2014 года № 525 специальности 09.02.04 Информационные системы (по отраслям), а также рабочей программы учебной дисциплины ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ.

Методическое обеспечение предназначено для проведения контрольной работы по учебной дисциплине и содержит пояснительную записку, задания для выполнения контрольной работы, бланк для ответа студента.

 

 

ГАПОУ СО «ИМТ», г. Ирбит, 2017

 

МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ

КОНТРОЛЬНОЙ РАБОТЫ

ПО УЧЕБНОЙ ДИСЦИПЛИНЕ ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧСКОЙ ЛОГИКИ

 

СОДЕРЖАНИЕ

 

	С.
1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА…………………………………………………………………
2. ТЕСТОВЫЕ ЗАДАНИЯ ПО ДИСЦИПЛИНЕ…………………………………….
3. Ситуационные задачи ПО ДИСЦИПЛИНЕ……………………………….
4. ВАРИАНТЫ ЗАДАНИЙ ДЛЯ ВЫПОЛНЕНИЯ КОНТРОЛЬНОЙ РАБОТЫ……...…………
5. БЛАНК ОТВЕТА ДЛЯ СТУДЕНТОВ…………………………………………………………...

 

 

МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ

ДЛЯ ВЫПОЛНЕНИЯ контрольной работы

ПО УЧЕБНОЙ ДИСЦИПЛИНЕ ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

 

1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

 

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

Методическое обеспечение разработано в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования (далее – ФГОС СПО) по программе подготовки специалистов среднего звена (далее – ППССЗ) по специальности 09.02.04 Информационные системы (по отраслям), а также рабочей программы учебной дисциплины ЕН.02 Элементы математической логики.

В соответствии с требованиями ФГОС СПО специальности 09.02.04 Информационные системы (по отраслям), и рабочей программы в результате освоения дисциплины ЕН.02 Элементы математической логики:

обучающийся должен уметь:

- формулировать задачи логического характера и применять средства математической логики для их решения;

обучающийся должен знать:

- основные принципы математической логики, теории множеств и теории алгоритмов;

- формулы алгебры высказываний;

- методы минимизации алгебраических преобразований;

- основы языка и алгебры предикатов.

При выполнении контрольной работы по учебной дисциплине ЕН.02 Элементы математической логики осуществляется:

1. Контроль знаний.

Контроль знаний осуществляется в форме тестирования. Тест содержит 20 вопросов.

Критерии оценки результатов тестирования:

- оценка «отлично» - правильных ответов 20-18, что составляет 100-90%;

- оценка «хорошо» - правильных ответов 17-16, что составляет 89-80%;

- оценка «удовлетворительно» - правильных ответов 15-14, что составляет 79-70%;

- оценка «неудовлетворительно» - правильных ответов менее 14, что составляет менее 70%.

2. Контроль умений.

Контроль умений предусматривает решение двух ситуационных задач, исходя из заданных условий. Задания разработаны в четырех вариантах.

Критерии оценки решения ситуационной задачи:

- оценка «отлично» - студент правильно решил ситуационную задачу, не допустил ни одной ошибки, привел обоснование ответа;

- оценка «хорошо» - студент в целом правильно решил ситуационную задачу, но допустил неточности, которые не исказили существенно правильности ответа, не полностью обосновал выбор материала;

- оценка «удовлетворительно» - ответ студента содержит явные ошибки

- оценка «неудовлетворительно» - студент не справился с заданием, таблицы истинности составлены не верно.

Методическое обеспечение предназначено для выполнения контрольной работы по учебной дисциплине ЕН.02 Элементы математической логики и содержит:

- пояснительную записку;

- тестовые задания;

- ситуационные задачи;

- задания для студентов;

- бланки ответов для студентов.

 

 

ТЕСТОВЫЕ ЗАДАНИЯ ПО ДИСЦИПЛИНЕ

ЕН.02 ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Вариант №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. 2²
2. 2ⁿ
3. 2n
4. 2+n

 

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

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

 

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

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

 

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

1. Θ
2. Σ
3. 
4. ∃

 

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

1. U
2. \
3. –
4. ∩

 

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

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

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

1. Θ
2. Σ
3. 
4. ∃

 

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

1. U
2. \
3. –
4. ∩

 

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. 2²

2. 2ⁿ

3. 2n

4. 2+n

 

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

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

 

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

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

 

Ситуационные задачи ПО ДИСЦИПЛИНЕ

123Следующая ⇒

Поделиться:

Популярное:

1. I.4. Элементы и уровни киноязыка
2. II. Исторические корни современного гражданского права. Национальные и универсальные элементы в нем
3. IX. Электродные потенциалы. Гальванические элементы.
4. XXVI. НЕОБХОДИМЫЕ ЭЛЕМЕНТЫ, ОБЪЯСНЯЮЩИЕ ВСЁ.
5. І Элементы симметрии, операции симметрии и точечные группы
6. АРИСТОКРАТИЧЕСКИЕ ЭЛЕМЕНТЫ В СОВРЕМЕННОЙ КОНСТИТУЦИИ БУРЖУАЗНОГО ПРАВОВОГО ГОСУДАРСТВА
7. База правил нечеткой логики. Блок вывода. Нечеткий вывод на основе правила композиции.
8. Базовые элементы формы (БЭФы)
9. Базовые элементы электротехники и ПЭ: R, C, L и их физический смысл.
10. В данном разделе рассмотрим элементы, отвечающие за текстовое содержимое веб-страницы.
11. Виды и элементы окна Power Point
12. ВИТАМИНЫ И МИКРОЭЛЕМЕНТЫ. РОЛЬ В БИОМЕХАНИЗМЕ РОДОВОГО ПРОЦЕССА.