Описание:В курсе рассматриваются современные направления развития дискретной математики и ее приложений в программировании и био-химии, некоторые актуальные задачи булевой алгебры, формальных методов верификации программ, компьютерной безопасности и при-ложений дискретной математики в программировании и естественных науках. Основное внимание уделено развитию и применению ранее изученных математических моделей и методов дискретной математики, математической логики, моделей программ в решении современ-ных математических и прикладных задач.
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.