KSU-online
Skip to main content
KSU-online
  • English ‎(en)‎
    Українська ‎(uk)‎ English ‎(en)‎
You are not logged in. (Log in)

Course info

  1. Home
  2. Courses
  3. Факультети
  4. Факультет комп'ютерних наук, фізики та математики
  5. Кафедра комп’ютерних наук та програмної інженерії
  6. 4 курс
  7. Форм.методи специф.,вериф.,опт.програм
  8. Summary

Формальні методи специфікації, верифікації та оптимізації програм

  • Manager: Володимир Сергійович Песчаненко

Accessibility
Reset All

Background Colour

Font Face

Font Size

1

Text Colour

Blocks

Skip Navigation

Navigation

  • Home

    • My courses

    • My courses

    • Courses

      • Факультети

        • Факультет комп'ютерних наук, фізики та математики

          • Кафедра комп’ютерних наук та програмної інженерії

            • 1 курс

            • 2 курс

            • 3 курс

            • 4 курс

              • Форм.методи специф.,вериф.,опт.програм

              • Дизайн в цифровій мережі

              • Технології VR/AR

              • MSR

              • Управління проєктами (461 гр)

              • Штучний інтелект і нейронні мережі (441 гр., 242с гр)

              • Нейромережа GPT

              • Рекламні креативи

              • Якість програмного забезпечення (Полторацький М.Ю.)

              • Аналіз даних (4 курс)

              • Softskills

            • 2 курс магістратура

            • Магістратура

            • Аспірантура

            • Інформаційні технології

            • Інженерія програмного забезпечення

            • Захист даних/захист інформації (211/431)

            • Моделювання та проєктування інформаційних систем

          • Кафедра алгебри, геометрії та математичного аналізу

          • Кафедра фізики

          • STEM

          • Нейрон.мер. та нечітка логіка в економ.

          • Теор.ігор і сист.прийняття рішень

          • Управл.процесами розроб. ПЗ

        • Педагогічний факультет

        • Факультет бізнесу і права

        • Факультет культури і мистецтв

        • Факультет фізичного виховання та спорту

        • Факультет української й іноземної філології та жур...

        • Медичний Факультет

        • Факультет біології, географії і екології

        • Факультет психології, історії та соціології

        • Офіс доуніверситетської підготовки, післядипломної...

        • Дисципліна вільного вибору загального циклу

        • Сертифікатні програми

        • Українознавство

      • Основне меню

Blocks

Contact site support
You are not logged in. (Log in)
Форм.методи специф.,вериф.,опт.програм
  • English ‎(en)‎
    • Українська ‎(uk)‎
    • English ‎(en)‎
Data retention summary
Get the mobile app
Увага!

з 10:00 09.05 на сайті будуть проводитися планові роботи. Деякий час він може не працювати.

Адміністрація сайту приносить вибачення за незручності