Перейти до головного вмісту
KSU-online
Факультети
Комп'ютерних наук, физики та математики
Педагогічний
Бізнесу і права
Культури і мистецтв
Фізичного виховання та спорту
Української й іноземної філології та журналістики
Медичний
Біології, географії та екології
Психології, історії та соціології
Офіс доуніверситетської підготовки, післядипломної освіти та роботи з іноземцями
Дисципліна вільного вибору загального циклу
Сертифікатні програми
Додаткові ресурси
Наукового товариства студентів, аспірантів, докторантів і молодих учених ХДУ
Нормативне забезпечення дистанційного навчання
Практикум тьютора (Moodle 4.0.3)
Курси розроблені студентами
Школа професійного розвитку
ІТ освіта для співробітників ХДУ
Атестовані ЕНК
Інформаційні технології
Вибіркова освітня компонента за фахом
на 2020-2021 н.р.
на 2021-2022 н.р.
на 2022-2023 н.р.
на 2023-2024 н.р.
на 2024-2025 н.р.
Дисципліни вільного вибору
на 2015-2016 н.р.
на 2016-2017 н.р.
на 2017-2018 н.р.
на 2018-2019 н.р.
на 2019-2020 н.р.
на 2020-2021 н.р.
на 2021-2022 н.р.
на 2022-2023 н.р.
на 2023-2024 н.р.
на 2024-2025 н.р.
Довідка
Про проект
Контакти
Українська (uk)
Українська (uk)
English (en)
Наразі ви використовуєте гостьовий доступ (
Увійти
)
Теорія програмування
На головну
Курси
Факультети
Факультет комп'ютерних наук, фізики та математики
Кафедра комп’ютерних наук та програмної інженерії
Теорія програмування
Методи генерації інваріантів програм
Лекції 8-9
Лекції 8-9
Клацніть
Лекция 8 9 Инварианты программ.doc
для перегляду файлу
◄ Лекція 7
Перейти до...
Перейти до...
Звернення викладача до учасників курсу
Силабус Теорія програмування
Новини
Лекція 1
Лекція1
Лекція 2
Лекція 2
Лекція 3
Лекція 3
Лекція 4
Лекція 4
Лекції 5-6
Лекція 5-6
Лекція 7
Лекція 7
Лекція 8-9
Теорія програмування (Лаб.)
Завантажте виконану лабораторну роботу 1
Завантажте виконану лабораторну роботу 2
Завантажте виконану лабораторну роботу 3
Питання до екзамену
Відповіді на питання екзамену
Лекція 8-9 ►
