Решением Педагогического совета гбоу «Президентский фмл№239»


Элементы комбинаторики, теории множеств и математической логики



страница323/518
Дата22.08.2018
Размер2.33 Mb.
ТипРешение
1   ...   319   320   321   322   323   324   325   326   ...   518

Элементы комбинаторики, теории множеств и математической логики


Расчет количества вариантов: формулы перемножения и сложения количества вариантов. Количество текстов данной длины в данном алфавите.

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

Высказывания. Простые и сложные высказывания. Диаграммы Эйлера-Венна. Логические значения высказываний. Логические выражения. Логические операции: «и» (конъюнкция, логическое умножение), «или» (дизъюнкция, логическое сложение), «не» (логическое отрицание). Правила записи логических выражений. Приоритеты логических операций.

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

Логические операции следования (импликация) и равносильности (эквивалентность). Свойства логических операций. Законы алгебры логики. Использование таблиц истинности для доказательства законов алгебры логики. Логические элементы. Схемы логических элементов и их физическая (электронная) реализация. Знакомство с логическими основами компьютера.

Списки, графы, деревья


Список. Первый элемент, последний элемент, предыдущий элемент, следующий элемент. Вставка, удаление и замена элемента.

Граф. Вершина, ребро, путь. Ориентированные и неориентированные графы. Начальная вершина (источник) и конечная вершина (сток) в ориентированном графе. Длина (вес) ребра и пути. Понятие минимального пути. Матрица смежности графа (с длинами ребер).

Дерево. Корень, лист, вершина (узел). Предшествующая вершина, последующие вершины. Поддерево. Высота дерева. Бинарное дерево. Генеалогическое дерево.


Каталог: sites -> default -> files -> userdata
files -> Народная художественная культура. Профиль Теория и история народной художественной культуры
files -> Отчет о научно-исследовательской работе за 2014 год ростов-на-Дону 2014
files -> Учебно-методический комплекс дисциплины философия для образовательной программы по направлениям юридического факультета: Курс 1
files -> Цветков Андрей Владимирович, кандидат психологических наук, доцент кафедры клинической психологии программа
files -> Программа итогового (государственного) комплексного междисциплинарного экзамена по направлению 521000 (030300. 62) «Психология»
userdata -> 5 открытых направлений тем итогового сочинения на 2017/18 учебный год


Поделитесь с Вашими друзьями:
1   ...   319   320   321   322   323   324   325   326   ...   518


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница