ДИСКРЕТНАЯ МАТЕМАТИКА l l l Элементы теории множеств

ДИСКРЕТНАЯ МАТЕМАТИКА l l l Элементы теории множеств Комбинаторный анализ Элементы теории графов Математическая логика высказываний Логика предикатов Основы теории автоматов

Цель курса – формирование базовых знаний в области ДМ, необходимых для освоения методов анализа и синтеза аппаратных и программных средств цифровых вычислительных систем и сетей различного назначения, изучения теоретической базы информационных технологий, математических способов представления дискретных информационных процессов l l l l Проектирование цифровых систем Прикладная теория цифровых автоматов Техническая диагностика вычислительных систем и сетей Логическое моделирование Языки описания аппаратуры и программирования (Verilog, VHDL, C++, Java) Автоматизация проектирования цифровых систем и сетей СУБД

Литература М. Ф. Бондаренко “Комп’ютерна дискретна математика”. l Ю. М. Бардачов “Дискретна математика”. l Ф. А. Новиков. “Дискретная математика для программистов”. l