Київський національний університет
імені Тараса Шевченка
EN

Сергій Лук'янович Кривий

Місце роботи

Співробітник працює на наступній кафедрі

Інтелектуальних програмних систем
Факультет комп'ютерних наук та кібернетики

Дисципліни

Співробітник викладає наступні дисципліни

Математичні основи захисту інформації

Математичні основи захисту інформації

Теоретичні основи та методи розробки інформаційних систем

Курсова робота

Підготовка кваліфікаційної роботи магістра

Програмно-орієнтовані логіки

Математичні основи захисту інформації

Підготовка кваліфікаційної роботи бакалавра

Алгебро-автоматні методи проєктування програмного забезпечення

Технології розробки програмного забезпечення

Програмно-орієнтовані логіки

Підготовка кваліфікаційної роботи магістра

Автоматно-мережеві методи аналізу дискретних систем

Безпека програмного забезпечення

Математичні основи захисту інформації

Підготовка кваліфікаційної роботи бакалавра

Автоматно-мережеві методи аналізу дискретних систем

Підготовка кваліфікаційної роботи магістра

Безпека програмного забезпечення

Алгебро-автоматні методи проєктування програмного забезпечення

Технології розробки програмного забезпечення

Програмно-орієнтовані логіки