Вступ
Мета та завдання
В результаті вивчення курсу студенти повинні знати :
логічні операції та функції;
функціонально повні системи логічних функцій;
основні визначення і поняття теорії графів;
теорію автоматів і її зв’язок з теорією комп’ютерів.
Оволодіння теоретичним матеріалом навчить студентів знаходити мінімальні ДНФ, аналізувати системи логічних функцій , розв’язувати задачі на транспортних мережах, мінімізувати автомати.
Автори
кафедра комп'ютерних наук, секція "Інформатика"
Маслова Зоя Іванівна кандидат технічних наук, доцент
Содержание дисциплины
Про курс
Введение
Цель и задачи
Алгоритм обучения
Информация об авторе
Список литературы
Модуль 1. Системы счисления
Тема 1. Преобразование чисел из одной системы счисления в другую систему счисления
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 2. Арифметические операции в однородных системах счисления
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 2. Теория множеств
Тема 3. Основные определения. Способы задания множеств
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 4. Операции над множествами
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 3. Отношения и функции
Тема 5. Основные определения. Способы задания отношений
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 6.Типы отношений. Операции над отношениями
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 7. Функции
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 4. Комбинаторика
Тема 8. Виды сочетаний
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 9. Бином Ньютона. Свойства биномиальных коэффициентов
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 5. Алгебра логики
Тема 10. Основные определения. Логические функции
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 11. Булева алгебра
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 6. Функционально полные системы логических функций
Тема 12. Алгебра Жегалкина. Линейные функции
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 13. Исследование систем логических функций
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 7. Математическая логика
Тема 14. Алгебра высказываний. Основные определения
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 15. Исчисление предикатов. Кванторы
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 8. Теория графов
Тема 16. Основные понятия и определения
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 17. Задача о кратчайшем пути
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 18. Задача о максимальном потоке через транспортную сеть
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 19. Транспортная задача
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 9. Деревья
Тема 20. Основные определения
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 21. Способы обхода. Вычисление арифметических и логических выражений
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 22. Построение экстремального дерева
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы
Модуль 10. Теория автоматов
Тема 23. Основные определения. Способы задания автоматов
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 24. Минимизация автоматов по алгоритму Мили
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 25. Частичные автоматы и их минимизация
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 26. Автомат Мура
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Тема 27. Программная реализация логических функций
Конспект лекции
Краткий конспект
Выводы
Вопросы для самопроверки
Список литературы