Мета викладання дисципліни:

• навчити студентiв глибоко розумiти проблеми, якi виникають при автоматизацiї процесiв обробки дискретної iнформацiї;
• прищеплювати навики природничого використання формальних методiв дискретної математики, пов'язаних з розробкою та експлуатацiєю засобiв обчислювальної технiки та програмного забезпечення;
• ознайомити з широким спектром методiв дискретної математики; ?
• навчити розумiти проблеми, що виникають при синтезi пристроїв обробки дискретної iнформацiї, при побудовi алгоритмiв та програм для таких пристроїв.

Студенти повинні

знати:

• iсторiю розвитку математичного апарату, орiєнтованого на формалізацію дискретних процесiв;
• мову теорiї множин, алгебри логiки, теорiю графiв;
• методи дискретної математики в галузі опису та формалiзацiї дискретних процесiв;
• методи дискретної математики у сфері побудови пристроїв для обробки дискретної iнформацiї.

вміти:

• аналiзувати логiчну та алгоритмiчну структуру фiзичних та технологiчних процесiв, процесiв обробки iнформацiї в природi та суспiльствi,
• використовувати апарат дискретної математики для формалiзацiї та математичного опису задач, що виникають у сферi науки та виробництва.

Викладач дисципліни: Терещенко Еліна Валентинівна, доцент кафедри системного аналіза та обчислювальної математики

 
Розподіл балів, які отримують студенти

Залік у 5 семестрі

Іспит у 6 семестрі