Modern trends in discrete mathematics and computer science - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Авторы: Захаров В.А., Алексеев В.Б., Подымов В.В., Романов Д.С., Селезнева С.Н., Шуплецов М.С., Чокаев Б.В.
Год создания: 2018
Организация: МГУ имени М.В. Ломоносова
Курс на иностранном языке
Описание: В курсе рассматриваются современные направления развития дискретной математики и ее приложений в программировании и био-химии, некоторые актуальные задачи булевой алгебры, формальных методов верификации программ, компьютерной безопасности и при-ложений дискретной математики в программировании и естественных науках. Основное внимание уделено развитию и применению ранее изученных математических моделей и методов дискретной математики, математической логики, моделей программ в решении современ-ных математических и прикладных задач. This course is aimed at studying the current trends in the development of discrete mathematics and its applications in software engineering and bio-chemistry, some topical problems in Boolean algebra, formal methods for program verification, information security, and applications of discrete mathematics in software engineering and natural sciences. The main attention is focused on the development and application of previously studied mathematical models and methods of discrete mathematics, mathematical logic, program models in solving modern mathematical and applied problems.
Добавил в систему: Захаров Владимир Анатольевич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ИСТИНА ИНХС РАН

Modern trends in discrete mathematics and computer scienceучебный курс

Преподавание курса