ДИСТАНЦИОННОЕ ОБУЧЕНИЕ
О НАСАБИТУРИЕНТУПРОГРАММЫ ОБУЧЕНИЯПОМОЩЬБИБЛИОТЕКА

ГЛАВНАЯ
Дискретная математика
 
след.

Дискретная математика


Содержание:

Введение

Модуль I. Элементы логики
 
oТема 1.1. Высказывания, их значения истинности. Логические операции над высказываниями. Формулы алгебры высказываний. Равносильность формул
oТема 1.2. Основные равносильности алгебры высказываний
oПрактическая работа 1. Построение таблиц истинности для формул логики
oПрактическая работа 2. Упрощение формул логики с помощью равносильных преобразований
oТема 1.3. Закон двойственности. Определение различных видов форм для формул
oПрактическая работа 3. Приведение формул алгебры к ДНФ, КНФ, СДНФ, СКНФ
oТема 1.4. Основные проблемы алгебры высказываний. Критерии тождественной истинности и тождественной ложности
oПрактическая работа 4. Классификация формул логики с помощью критерия тождественной истинности
oТема 1.5. Релейно-контактные схемы и схемы из функциональных элементов. Двоичный сумматор
oПрактическая работа 5. Анализ, построение и упрощение схем типа "машины голосования"
oТема 1.6. Предикаты. Логические операции над предикатами
oПрактическая работа 6. Нахождение предикатов и запись областей истинности и ложности предикатов
oТема 1.7. Кванторы. Навешивание кванторов на предикаты. Свойства кванторов. Применение языка предикатов и кванторов для математических утверждений
oПрактическая работа 7. Решение задач. Навешивание кванторов на предикаты, построение отрицаний к предикатам
oТема 1.8. Функции алгебры логики. Многочлены Жегалкина. Представление функции алгебры логики в виде многочлена Жегалкина
oПрактическая работа 8. Приведение многочлена Жегалкина к каноническому виду. Представление булевой функции в виде многочлена Жегалкина

Модуль II. Элементы теории и практики кодирования
 
oТема 2.1. Различные виды кодов
oПрактическая работа 9. Расстояние Хемминга
oТема 2.2. Матричное кодирование
oПрактическая работа 10. Матричное кодирование и декодирование
oКонтрольная работа 1. Теория алгебры логики
oТема 2.3. Групповые коды, схемы их кодирования
oПрактическая работа 11. Коды Хемминга
oКонтрольная работа 2. Элементы теории кодирования

Модуль III. Теория графов
 
oТема 3.1. Основные понятия и определения теории графов
oПрактическая работа 12. Матрицы графа
oТема 3.2. Метрические характеристики графов
oПрактическая работа 13. Метрические характеристики графа
oТема 3.3. Взвешенные графы. Алгоритм Форда-Беллмана
oПрактическая работа 14. Алгоритм Форда-Беллмана
oТема 3.4. Эйлеровы графы
oПрактическая работа 15. Критерии эйлеровости и квазиэйлеровости.

Модуль IV. Элементы теории автоматов
 
oТема 4.1. Машина Тьюринга
oПрактическая работа 16. Машина Тьюринга
oКонтрольная работа 3.

след.
  Введение


 

О НАС | АБИТУРИЕНТУ | ПРОГРАММЫ ОБУЧЕНИЯ | ПОМОЩЬ | БИБЛИОТЕКА