Посоревноваться в решении задач пришли 55 школьников. Подготовкой задач для чемпионата занимались руководитель разработки ПО группы компаний ЦРТ, преподаватель МКН и тренер по спортивному программированию СПбГУ Николай Павлович Дубчук, выпускник МКН, ведущий разработчик Т-Банк Денис Сергеевич Коротченко, а также чемпион ICPC 2025, магистрант МКН Фёдор Ушаков.
Призовые места заняли:
Поздравляем ребят и благодарим всех за участие!
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥25❤12👍5
Дорогие друзья!
Приглашаем вас послушать доклад «Онтологический подход к спецификации операционных семантик языков программирования», который состоится в этот четверг, 22 января. Докладчик — Игорь Сергеевич Ануреев, с.н.с. ИСИ СО РАН, с.н.с. ИАиЭ СО РАН, доцент ФИТ и ММФ НГУ.
🔖 22 января, 17:30, ауд. 201
⚫️ Zoom ID: 384-956-974
Не забудьте взять с собой паспорт или пропуск!
✨ ✨ ✨
Игорь Сергеевич также будет читать курс «Открытые проекты по верификации ПО» в грядущем семестре у студентов магистратуры «Разработка программного обеспечения и науки о данных» МКН СПбГУ.
Приглашаем вас послушать доклад «Онтологический подход к спецификации операционных семантик языков программирования», который состоится в этот четверг, 22 января. Докладчик — Игорь Сергеевич Ануреев, с.н.с. ИСИ СО РАН, с.н.с. ИАиЭ СО РАН, доцент ФИТ и ММФ НГУ.
В докладе будет представлен предметно-ориентированный язык, который позволяет строить онтологию языка программирования и описывать выполнимую операционную семантику онтологических моделей конструкций языка программирования. В качестве примера будет рассмотрена операционная семантика операторов передачи управления языка Си.
Не забудьте взять с собой паспорт или пропуск!
Игорь Сергеевич также будет читать курс «Открытые проекты по верификации ПО» в грядущем семестре у студентов магистратуры «Разработка программного обеспечения и науки о данных» МКН СПбГУ.
Please open Telegram to view this post
VIEW IN TELEGRAM
У команд было несколько часов, чтобы решить 10 задач, которые подготовили Федор Петров, Дмитрий Крачун, Данила Черкашин и Иван Бочков. Членами жюри выступили наш заместитель декана Глеб Вячеславович Ненашев и преподаватель факультета Александр Игоревич Храбров.
Бой начался с конкурса капитанов, который выиграл Максим Туревский. Дальнейшие события развивались динамично: были и проверки корректности, и полная смена ролей, и обмен чисто решенными задачами. Обе команды проявили свои сильные стороны, решив задачи, с которыми не справились оппоненты.
Закончился бой победой команды сборников, правильно решивших семь задач, в то время как команда МКН — пять.
Поздравляем победителей, желаем им дальнейших успехов и будем рады видеть на нашем факультете!
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
❤30 26🔥17
А это значит, что пора вспомнить самые яркие события прошедшего месяца в «Сириусе»:
В Январской смене приняло участие более сотни талантливых школьников. Самые активные и вовлечённые в учёбу ребята, отмеченные преподавателями курсов, получили памятные подарки от нашего факультета — стилизованный мерч МКН и интереснейшие книги по математике.
Большое спасибо всем участникам смены за интерес к предметам, слаженную командную работу и упорство в достижении отличных результатов!
Уже в мае в «Сириусе» состоится Проектная программа по математике и теоретической информатике, которую также готовят преподаватели нашего факультета. Подробнее о ней мы расскажем чуть позже, а пока предлагаем почитать статью о том, как она запускалась в 2021 году, и в чём состоят ключевые отличия между январскими и майскими сменами.
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
❤27 15🔥12
Дорогие друзья!
Управление по организации приёма СПбГУ приглашает вас посетить лекцию «Генеративные нейросети с точки зрения права и этики: как сократить, а не увеличить количество проблем». Докладчик — Владислав Владимирович Архипов, доктор юридических наук, заведующий кафедрой теории и истории государства и права, руководитель программы магистратуры «Информационное право и защита данных».
🔖 31 января, 16:00
22-я линия В. О., д. 7., зал № 2 (второй этаж)
📥 Для посещения необходимо пройти регистрацию. Не забудьте взять с собой паспорт или пропуск!
Управление по организации приёма СПбГУ приглашает вас посетить лекцию «Генеративные нейросети с точки зрения права и этики: как сократить, а не увеличить количество проблем». Докладчик — Владислав Владимирович Архипов, доктор юридических наук, заведующий кафедрой теории и истории государства и права, руководитель программы магистратуры «Информационное право и защита данных».
В лекции будет представлен практико-ориентированный взгляд на генеративные нейросети как на инструмент, который может использоваться в самых разных областях, таких как образование, творчество и многие другие. Мы поговорим о причинах, по которым большинство правовых рисков и конфликтов, связанных с использованием нейросетей, вызвано не особенностями самой технологии, а тем, как люди ее используют. Особое внимание будет уделено вопросам информационного и авторского права. Как нейросети могут угрожать неприкосновенности частной жизни в цифровом пространстве? Почему многие популярные способы использования нейросетей в серьезном контексте считаются неприемлемыми с точки зрения авторского права? Какие практические рекомендации из этого следуют, особенно для учебных, научных и профессиональных областей?
22-я линия В. О., д. 7., зал № 2 (второй этаж)
Please open Telegram to view this post
VIEW IN TELEGRAM
Ребята узнали об общих принципах криптографии, подкреплённых историческими примерами, а также познакомились с так называемыми «доказательствами без разглашения». Оказалось, чтобы подтвердить обладание секретом, зачастую не обязательно его раскрывать. Рассматривались системы верификации на основе задачи четырех красок, судоку и многое другое, а в конце занятия была проведена интерактивная игра.
Стоит отметить, что многие студенты нашего факультета, как и Степан, — выпускники Кировского лицея.
Благодарим коллег за гостеприимство, а Степана — за замечательную лекцию!
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM