Нагороди

Наукова та педагогічна діяльність кафедри здобула визнання в Україні та за кордоном. Проф. В.Н. Редько в 1984 р. був нагороджений орденом Дружби народів. Його роботи в галузі нових інформаційних технологій були відзначені премією ім. В.М. Глушкова НАН України за 1992 р. У тому ж році він був обраний членом-кореспондентом, а в 2000 р. – академіком Національної Академії Наук України. У 2002 р. він отримав почесне звання “Заслужений професор Київського національного університету імені Тараса Шевченка”.

В 2003 р. професори М.С. Нікітченко та В.Н. Редько стали лауреатами Державної премії України в галузі науки і техніки.

Підручник М.С. Нікітченка та С.С. Шкільняка “Математична логіка та теорія алгоритмів” відзначено в 2010 р. премією імені Тараса Шевченка Київського національного університету імені Тараса Шевченка.