Теорія алгоритмів і математична логіка

Вивчаються основи математичної логіки, формальні мови, формальні теорії на прикладі числення висловлювань та числення предикатів. В другій частині вивчається теорія алгоритмів. Розглядається теорія складності алгоритмів, лямбда числення, теорія примітивно рекурсивних функцій.

Теорія алгоритмів і математична логіка

Системи кодування інформації

Метою курсу є вивчення алгоритмів пов'язані зі стисканням інформації, надлишковим кодуванням (з відновленням помилок), криптографією. Розглядаються наступні алгоритми: Хафмана, Фано, арифметичне кодування та LZW - для стискання інформації, Хемінга, Ріда-Малєра, БЧХ-коди та Ріда-Соломона - для кодування з відновленням помилок, RSA, Ель Гамаля, цифрового підпису DSA та обміну ключами за схемою Діфі-Хелмана - для криптографії.