Костенко К.И. Учебник. Часть VII

Лекции Костенко К. И. ФКТиПМ, КубГУ. 146 стр. отсканированные тетрадные страницы с хорошим почерком. Лекции по вопросам за 1 семестр: Мощность множеств. Отображения. Обратные отображения. Отношения. Представление и операции над отношениями. Свойства отношений на множестве. Отношения эквивалентности. Отношения порядка. Основные комбинаторные правила. Размещения. Сочетания без повторений Сочетания с повторениями. Разбиения множеств на части. Формул...

Учебник. Часть I. Костенко К. И. ФКТиПМ, КубГУ, с. 30. Содержание: Начальные понятия и модели. - множества. - отображения и функции. - логика доказуемости и истинности.

Учебник. Часть II. Костенко К. И. ФКТиПМ, КубГУ, с. 36 Содержание: Элементы комбинаторики - основные понятия - виды комбинаторных задач - основные правила комбинаторики - размещения и сочетания - разбиения множеств на части - формула включений-исключений Отношения - определение и примеры отношений - представление отношений - операции над отношениями - бинарные отношения на множестве - отношения эквивалентности - отношения порядкаrn

Учебник. Часть III. Костенко К. И. ФКТиПМ, КубГУ, с. 11 Содержание: Булевские функции - начальные понятия - табличное задание булевских функций - существенная зависимость функций от переменных - элементарные булевские функции - формулы - тождества для элементарных функций

Учебник. Часть IV. Костенко К. И. ФКТиПМ, КубГУ, с. 22 Содержание: - разложение булевских функций по переменным - схемы из функциональных элементов - минимальные ДНФ - геометрическая интерпретация ДНФ - полные системы булевских функций - полиномы жегалкинаrn

Учебник. Часть IX. Костенко К. И. ФКТиПМ, КубГУ, с. 26 Содержание: Рекурсивные функции - вычислимые функции - частично рекурсивные функции - тезис Чёрча - нумерация частично-рекурсивных функций - алгоритмическая разрешимость

Учебник. Часть V. Костенко К. И. ФКТиПМ, КубГУ, с. 16 Содержание: - специальные классы булевских функций - критерий функциональной полноты - предполные классы булевских функцийrn

Учебник. Часть VI. Костенко К. И. ФКТиПМ, КубГУ, с. 52 Содержание: Элементы теории графов - основные понятия - определение и способы задания графов - изоморфизм графов - планарность графов - пути и связность в графах - транзитивное замыкание графов - деревья - цикломатика графов - внутренне и внешне устойчивые множества вершин графов - хроматическое число графаrn

Учебник. Часть VIII. Костенко К. И. ФКТиПМ, КубГУ, с. 35 Содержание: Конечные автоматы - начальные понятия - определение и задание автоматов - функции конечных автоматов - отличимость состояний автоматов - минимальные автоматы - распознавание слов автоматами - схемы конечных автоматов - схемы из элементарных автоматов

Учебник. Часть XI. Костенко К. И. ФКТиПМ, КубГУ, с. 31 Содержание: Продукционные системы - продукции и системы поста - вычисления в системах поста - свойства выводов в продукционных системах - решение задач в продукционных системах - построение выводов в системах поста - свойства множеств выводимых слов - функции, вычисляемые системами поста