Раздел Б2.В2.Р2. Теория графов

Лекции.

Лекция 10. Логические высказывания.

Понятие логического высказывания и его свойства. Мера истинности логического высказывания. Семантика. Простое и сложное (составное) логическое высказывание. Логические операции (связки) и их интерпретация в естественном языке: логическое сложение, логическое умножение, отрицание, импликация, сложение Жегалкина, эквивалентность. Вычисление истинности сложных логических высказываний. Старшинство операций. Формализация суждений.

Высказывательные функции и их интерпретация. Таблица истинности. Вычисление истинности высказывательных функций.

Практические занятия.

7. Анализ логических высказываний. Формализация суждений.

ОБРАЗОВАТЕЛЬНЫЕ ТЕХНОЛОГИИ

1. Лекционные занятия:

a. комплект электронных презентаций/слайдов,

b. аудитория, оснащенная презентационной техникой (проектор, экран, компьютер/ноутбук)

2. Практические занятия:

a. компьютерный класс,

b. презентационная техника (проектор, экран, компьютер/ноутбук),

c. стандартный пакет программ Microsoft Office.

ОЦЕНОЧНЫЕ СРЕДСТВА

В качестве оценочного средства используется 100 бальная семестровая система, учитывающая посещаемость занятий, активность (выполнение домашних занятий), выполнение тематических домашних заданий по каждому разделу, контрольно-тестовая работа по каждому разделу. Каждый раздел проходит аттестацию.

ПЗ – посещаемость семинарских занятий (еженедельно) не менее 80% +2 балла

не менее 50% +1 балл

менее 50% 0 баллов

ТДЗ – выполнения тематического ДЗ (по каждому разделу)

Выполнено не менее 90% +10 баллов

Выполнено от 80-до 89% +8 балла

Выполнено от 70-до 79% +6 балла

Выполнено от 60-до 69% +4 балла

Выполнено от 40-до 59% +2 балл

Менее 39% 0 баллов

КТР - контрольно-тестовая работа (продолжительность – 1 а/час
(проводится в аудитории) Выполнено не менее 90% +8 баллов

Выполнено от 70-до 89% +6 баллов

Выполнено от 40-до 69% +4 балла

Менее 39% 0 баллов

Кл - коллоквиум по Разделу Б2.В2.Р1. Комбинаторика. Проводится на 8 неделе, во внеучебное время, письменно. Продолжительность – 2 а/часа (проводится в аудитории). Студентам выдается вариант задания, состоящий из двух теоретических вопросов (из списка вопросов к коллоквиуму) и практической задачи, оцениваемых по степени выполнения каждый

Выполнено не менее 90% +10 баллов

Выполнено от 80-до 89% +8 балла

Выполнено от 70-до 79% +6 балла

Выполнено от 60-до 69% +4 балла

Выполнено от 50-до 59% +2 балл

Менее 49% 0 баллов

Коллоквиум оценивается суммарно, в 30 баллов максимум.

АМ – аттестация раздела Раздел аттестуется, если набрано не менее 50%

Самостоятельная работа студента включает: Повторение теоретического материала –

Выполнение ДЗ

Выполнение ТДЗ