Дискретный анализ и интеллектуальные системы

В годовом спецкурсе «Дискретный анализ и интеллектуальные системы» излагаются математические основы теории интеллектуальных систем. В первом полугодии изучаются классические понятия и результаты из области дискретного анализа, включая алгебру логики, многозначные логики, минимизацию дизъюнктивных нормальных форм, синтез схем из функциональных элементов, теорию кодирования и теорию графов. Во втором полугодии изучаются такие разделы теории интеллектуальных систем, как распознавание образов, теория баз данных, математическая логика. Доказываются выборочные теоремы из данных разделов, приводятся практические алгоритмы решения задач, возникающих при построении интеллектуальных систем.