В 2022 году Computer Science Center приостановил набор и обучение
Направления
Курсы
Онлайн-образование
Поступление
О центре
Войти
Направления
Курсы
Онлайн-образование
Онлайн-курсы
Онлайн-программы
Видеозаписи лекций
Поступление
Подать заявку
Памятка
Программа для поступления
Вопросы и ответы
О центре
Преподаватели
Выпускники
Отзывы
Команда
История
Курсы
/
Семантика языков программирования
/
весна 2020
/
Логика Хоара
Среда, 01 апреля 2020
Таймс, 2 этаж, ауд.204
Слайды с лекции
programming_language_semantics_lecture_010420.pdf