Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
kos_ehlementy_matematicheskoj_logiki.doc
Скачиваний:
248
Добавлен:
30.05.2015
Размер:
9.23 Mб
Скачать

6.4.3. Перечень объектов контроля и оценки

Наименование объектов контроля и оценки

Основные показатели оценки результата

Оценка

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

Определение значения истинности высказываний. Построение составных высказываний. Составление таблиц истинности для формул

Решение логических задач Выполнение операции над множествами

Нахождение мощности множеств

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

Знание таблицы истинности. Классификация множеств. Мощность множеств. Формулировка высказывания и высказывательных форм.

Формулировка основных операций: отрицание, конъюнкция и дизъюнкция.

З2. Формулы алгебры высказываний;

Перечисление последовательности действий при решении логических задач

За правильный ответ на вопросы или выставляется положительная оценка – 1 балл.

За не правильный ответ на вопросы или выставляется отрицательная оценка – 0 баллов.

верное решение задачи

неверное решение задачи

Шкала оценки образовательных достижений

Процент результативности (правильных ответов)

Оценка уровня подготовки

балл (отметка)

вербальный аналог

90 ÷ 100

5

отлично

80 ÷ 89

4

хорошо

70 ÷ 79

3

удовлетворительно

менее 70

2

неудовлетворительно

6.5. Расчетное задание 6.5.1. Текст задания

Максимально упростите выражения своего варианта, воспользовавшись законами логики Буля. Затем с помощью таблиц истинности сравните ваше упрощенное выражение с исходным.

1. (a Ú (d Ú b)) Ù ((a Ù (b Ú d)) Ú c)) Ú c Ú (a Ú (b Ù d )), 2. ((a Ú c) Ù (a Ú d)) Ù (((c Ú (c Ù b)) Ù c ) Ú a ),

3. (b Ú d) Ù ((d Ù c) Ú (a Ù c) Ú (d Ù c )Ú (a Ù c )) Ù (b Ú d), 4. (a Ú c ) Ù (a Ú b )Ù (b Ú c) Ù (a Ú b) Ù (b Ú c),

5. (a Ú c ) Ú ((b Ú d ) Ù (a Ú d )Ù (d Ú b) Ù (a Ú d)) Ú (a Ù c ), 6. ((b Ú c )Ù (a Ú b)) Ú (d Ù c ) Ú (((b Ù a )Ú c) Ù (a Ú b)),

7. (a Ù c ) Ú (a Ù b )Ú (b Ù c) Ú (a Ù b) Ú (c Ù b ),

8. ((a Ú (c Ù (b Ù c))) Ù (с Ùd) Ù (c Ù d )) Ù (cÚ (d Ù c )Ú d), 9. ((a Ú a ) Ù (b Ú d )Ù (b Ú c )Ù (c Ú d)) Ú ((b Ú c) Ù (c Ú d)), 10. (a Ú c ) Ù ((a Ù d) Ú (b Ù d) Ú (a Ù d )Ú (b Ù d )) Ù (a Ú c),

11. ((d Ù c ) Ú (d Ù b )Ú (c Ù b )) Ù ((d Ù b) Ú (c Ù b)) Ù (a Ú a), 12. ((c Ù d )Ú (b Ù c)) Ù (a Ú d ) Ù (((c Ú b )Ù d) Ú (c Ù b)),

13. ((a Ú b) Ù (b Ù c Ù d) Ú (a Ù b Ù c Ù d) Ú b Ú c Ú d,

14. ((a Ù b) Ú (a Ù b )) Ú ((a Ú b) Ù (c Ú d ) Ù (a Ú b )Ù (d Ú c)), 15. ((b Ù c) Ú (c Ú d) Ú a ) Ù (a Ú b Ú c Ú d) Ù (c Ú d) Ù a,

16. ((b Ú c) Ù (d Ú (b Ù c ))Ú (d Ù a )Ú ((c Ú b) Ù (d Ú c )),

17. (b Ù d) Ú ((c Ú d ) Ù (a Ú c) Ú (d Ú c )Ù (a Ú c )) Ú (b Ù d),

18. ((c Ú d) Ù (d Ú a)) Ú ((b Ú b ) Ù (c Ú a )Ù (c Ú d ) Ù (d Ú a)),

19. (a Ù d ) Ú (((c Ù d )Ú d) Ù (cÚ b)) Ú ((d Ú c )Ù (c Ú b)), 20. (((d Ú (d Ú c)) Ù d ) Ú b ) Ù ((b Ú d) Ù (b Ú a)),

21. ((b Ù (c Ú a)) Ú d)) Ú d Ú (b Ú (c Ù a )) Ù (b Ú (a Ùc)), 22. ((c Ú a ) Ù (a Ú b )Ù (a Ú c) Ù (b Ú a)) Ú (b Ù d ) Ú (b Ú d), 23. (d Ú (a Ù d )Ú a) Ù ((b Ú (d Ú (d Ù c))) Ù (c Ùa) Ù (d Ù a ), 24. (c Ù b )Ú (d Ù c) Ú (b Ù c) Ú (d Ù c ) Ú (b Ù d ).

6.5.2. Время на подготовку и выполнение: подготовка 2 мин.;

выполнение 20 час; оформление и сдача 3 мин.; всего 0 часа 25 мин.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]