Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Формальные методы разработки программ
учебный курс
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
Год создания:
2016
Организация:
МГУ имени М.В. Ломоносова
Добавил в систему:
Корныхин Евгений Валерьевич
Преподавание курса
1 февраля 2020 - 31 мая 2020
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, лекции, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2020 - 31 мая 2020
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2019 - 31 мая 2019
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, лекции, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2019 - 31 мая 2019
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2018 - 31 мая 2018
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, лекции, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2018 - 31 мая 2018
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2017 - 31 мая 2017
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2017 - 31 мая 2017
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, лекции, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2016 - 31 мая 2016
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, лекции, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна
1 февраля 2016 - 31 мая 2016
Корныхин Евгений Валерьевич
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 32 часов
Авторы:
Петренко Александр Константинович
,
Корныхин Евгений Валерьевич
,
Буздалов Денис Викторович
,
Хорошилов Алексей Викторович
,
Кузьменкова Евгения Анатольевна