5. Образовательные технологии

В процессе изучения дисциплины используются:

-раздаточный материал для изучения лекционного материала;

-учебный материал в электронном виде;

-контрольные программы по курсу для подготовки к сдаче семестровой аттестации и экзамена;

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

6. Учебно-методическое обеспечение самостоятельной работы студентов. Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины.

6.1. Перечень заданий для самостоятельной работы и проведения текущего контроля.

Варианты тестовых заданий.

Вариант 1.

1. Какое из следующих равенств с множествами А и В является ложным:

1) ; 2)(А В) С=А (В С); 3) Если , то А В= А; 4)А Ø= А.

2. Дизъюнкцией высказываний А и В (обозначение АВ, читается: А или В) называется высказывание:

1. истинное тогда, когда истинно хотя бы одно из высказываний А и В, и ложное, если и А и В ложны

2. ложное в случае, если А истинно, а В ложно, и истинное в остальных случаях

3. истинное тогда, когда истинны оба высказывания А и В, и ложное в остальных случаях

4. истинное тогда, когда оба высказывания А и В либо истинны, либо ложны, и ложное если одно из высказываний А, В истинно, а другое ложно

3. Квантор общности обозначается символом:

1)¬; 2)^; 3) ; 4)

4. Информационная ленты, считывающая и записывающая головка и управляющее устройство – это состав машины:

1)Черча; 2)Маркова; 3)Паскаля; 4)Тьюринга

5. Оператор минимизации обозначается:

1) J_n,m ; 2)  (x); 3) _y; 4)R(g⁽ⁿ⁾ ; h⁽ⁿ⁺²⁾)

21.Пусть g(х)=C_i(х)=0; h(х;у;f (х; у)) = J_3,2=y. Пользуясь схемой примитивной рекурсии найти f(3):

1)0; 2)1; 3)2; 4)5

Вариант 2.

1. Какое из следующих равенств с множествами А и В является ложным:

1) ; 2)(А В) С=А (В С); 3)Если , то А В= В; 4)А Ø= Ø;

2. Формула V  V представляет собой закон:

1)идемпотентности 3)ассоциативности

2)коммутативности 4)тавтологии

3. Неразрешимость проблемы разрешения для множества всех истинных предложений логики предикатов установил:

1)Черч; 2) Марков; 3) Паскаль; 4) Тьюринг

4. Функция следования обозначается:

1) J_n,m ; 2)  (x); 3) _y; 4)R(g⁽ⁿ⁾ ; h⁽ⁿ⁺²⁾)

5. Пусть g(x)=J_1,1=x; h (х; у; f (х; у)) =  (J_3,3) = f (x; у) + 1

Пользуясь схемой примитивной рекурсии найти f(3;6):

1)3; 2)6; 3)9; 4)12

Вариант 3.

1 . Какое из следующих равенств с множествами А и В является ложным:

1) ; 2) (А В) С=А (В С); 3) Если , то А В= А; 4)А Ø= Ø

2. Какое из следующих свойств логических операций является неверным:

1) (  А)  (А); 2) (  (АВ))  (АВ); 3)(  (АВ))  (АВ); 4) ((АВ)С)  (А(ВС))

3. К числу элементарных операций не относят операцию:

1)константы; 2)суперпозиции; 3)рекурсии; 4)минимизации

4. Пусть g(x) = I_1,1 = x; h (х; у; f (х; у)) = ^-1 (J_3,3) = f (x; у) – 1

Пользуясь схемой примитивной рекурсии найти f(6;3):

1)3; 2)6; 3)9; 4)12

6.3. Перечень вопросов к промежуточной аттестации.

1. Высказывания и логические операции над ними

2. Формулы логики высказываний и их классификация

3. Общезначимые формулы

4. Логическое следование

5. Равносильность формул

6. Нормальные формы для формул алгебры высказываний

7. Формализованное исчисление высказываний

8. Теорема о дедукции

9. Полнота, непротиворечивость и разрешимость исчисления высказываний

10. Предикаты и их классификация.

11. Логические и кванторные операции над предикатами

12. Формулы логики предикатов и их классификация

13. Равносильность и логическое следование формул логики предикатов

14. Формализованное исчисление предикатов

15. Классическая логика и клаузальная логика

16. Логическое программирование. Клаузы Хорна и метод резолюций

17. Модальная логика

18. Нечеткая логика

19. Темпоральная логика

20. Задачи и алгоритмы. Свойства алгоритма.

21. Машина Тьюринга

22. Рекурсивные функции

23. Нормальные алгоритмы Маркова

24. Алгоритмически неразрешимые проблемы