== Оценка за курс ==
Оценка состоит из трёх частей:
*обязательный устный зачет - от -2 до +6 баллов
*практика на семинарах +1 балл
*проект (по желанию) +3 балла

Первичные баллы переводятся в оценку напрямую.

Форма отчетности - дифф. зачет.

== Важные ссылки ==

'''[https://us06web.zoom.us/j/83359694524?pwd=4giVovYBr6Pg5zWezqeiDMkWuh6JPX.1 Онлайн-лекции]'''

11 апреля лекция пройдет ОЧНО в Большой Химической аудитории.

'''[https://t.me/+hwd7Ns36t2w5ZTgy Канал курса в Telegram]'''

'''[https://forms.gle/SWZUKyiey4fgzcQD8 Форма регистрации на курс]'''

'''[https://forms.gle/MMdA9Aqgyc6TG8ho8 Отдельная форма регистрации на курс]''' для студентов, включивших курс в индплан или вышедших из академического отпуска, и вольнослушателей

'''[https://forms.gle/moXi5xt8dxQgQbMaA Форма для перевода в другую группу]'''

'''[https://docs.google.com/document/d/1TtGCW0NOW-lAVO3p8CmpccarzlZTs53DDw33q0CR4Z8/edit?usp=sharing Инструкция по установке ПО]'''

'''[https://docs.google.com/document/d/1gIu5fxeTkyDxxOWz8lxFKMOa1B0XfVzml6lzGpSV7_o/edit?usp=sharing Требования к проекту]'''

'''[https://docs.google.com/spreadsheets/d/10V3pTPC7jPhrSAypu-6CtiN0-HS-IP9D_4-sWO0eslc/edit?usp=sharing Общая итоговая ведомость ]'''

== Важные правила курса ==
* Необходимо зарегистрироваться на курс!
* Необходимо посещение и лекций, и семинаров. Лекции носят теоретическую направленность, а семинары - практическую.
* На семинарах разбираются различные практические задания. В конце семинара студентам предлагается самостоятельно выполнить задание по теме семинара. Максимальная оценка за одно занятие - 0.1 балла.
* Если сумма баллов за задания на семинарах превышает 1 балл, в итоговую оценку идёт 1 балл.
* Проект выполняется студентами по желанию.
* Выполнение проекта производится поэтапно, по пунктам. Сдача проектов происходит устно, в заранее отведенное время. На промежуточных сдачах студент получает только допуск на финальную защиту пункта, оценка за проект выставляется на финальной защите. За каждый пункт будет заранее известен максимальный балл. Проверяющий на защите имеет право поставить меньше максимального балла за каждый пункт.
* '''За несанкционированное использование больших языковых моделей (LLM) или списывание при выполнении проекта студент автоматически отправляется на пересдачу'''.

== Важные дедлайны ==

TODO

Проекты после окончания зачетной недели НЕ ДОСДАЮТСЯ.

== Важное о сдаче проекта ==
* Сдача происходит устно. Проверяющий имеет право не принять задание и отправить студента на доработку.
* Для сдачи каждого пункта будет предусмотрен свой дедлайн. После этого дедлайна досдачи возможны ТОЛЬКО в случае индивидуального продления сроков.
* Если не сдан хотя бы один обязательный пункт, проект полностью не засчитывается.
* При обнаружении в коде признаков несанкционированного использования LLM или списывания студент отправляется на пересдачу.

== Переносы дедлайнов ==

Индивидуальные продления сроков сдачи проекта возможны ТОЛЬКО при наличии у студента Единого допуска (для получения обращаться в вашу Физтех-школу). Допуск необходимо прислать директору курса не позднее 3 дней с момента его получения.

Также возможно индивидуальное продление сроков сдачи сессии. Аналогично обращайтесь в вашу Физтех-школу.

== Переводы на курс ==

Официальная сдача курса возможна ТОЛЬКО при включении курса в ваш индивидуальный план. По данному вопросу обращайтесь в Учебное управление.

== Контакты ==

Якушева Софья Федоровна, к.т.н., директор курса/лектор

Почта yakusheva.sf@phystech.edu, Telegram @stager108

Викентьев Михаил Ильич, старший семинарист

Telegram @maelkaard

== Содержание ==

Темы курса (НЕ в хронологическом порядке обсуждения)

1) Базы данных (БД) и системы управления базами данных (СУБД). Модели БД: иерархическая, сетевая, реляционная и другие.
2) Реляционная модель. Базовые понятия: отношение, атрибут, кортеж, домен. Ключи: потенциальный, первичный, альтернативный, внешний, простой и составной, естественный и суррогатный. Реляционная алгебра. Операции JOIN.
3) Язык SQL. Data Definition Language: создание, изменение, удаление схем таблиц. CREATE, ALTER, DROP, TRUNCATE. Ограничения (constraints).
4) Язык SQL. Data Manipulation Language: SELECT, INSERT, UPDATE, DELETE.
5) SELECT-запрос. Базовый синтаксис: FROM, WHERE, GROUP BY, HAVING, ORDER BY, LIMIT. Агрегирующие функции. Порядок выполнения запроса.
6) SELECT-запрос. Продвинутый синтаксис: подзапросы, CTE, оконные функции.
7) Проектирование базы данных. Концептуальная, логическая и физическая схемы. ER-диаграммы, нотация "воронья лапка". Аномалии в данных, связь с проектированием. Нормальные формы: 1, 2, 3.
8) Вопросы быстродействия. Индексы в БД: hash, b-tree, их применение. Оптимизации запросов. Анализ плана выполнения запроса.
9) Безопасность в базе данных. Ролевая модель пользователей. Разграничение доступов. Обеспечение контроля с помощью представлений. Представления: виды, создание, обновление. Использование материализованных представлений.
10) Транзакции. Transaction Control Language: синтаксис. Уровни изоляции, реализация уровней изоляции в PostgreSQL.
11) Версионирование данных. SCD0-5: определение, применение.
12) Программирование на SQL. Процедуры и функции. Триггеры: определение, механизм работы, применение.
13) NoREL базы данных. Обзор. (Примечание: данный раздел курса будет рассказывать приглашенный лектор в течение ~4 занятий).

Базы данных весна 2026

2026-02-03T13:22:46Z

Yakusheva: /* Важные ссылки */

Databases весна 2026

Применение Python в статистическом анализе данных 2025

2026-01-30T19:15:30Z

Yakusheva: /* Важные ссылки */

= Общие сведения =
* Семестр: 9 (пятый курс)
* Форма контроля: дифф.зачёт

= Команда курса =
* Софья Якушева, лектор/семинарист
* Илья Склонин, семинарист
* Андрей Кротов, семинарист
* Михаил Викентьев, семинарист
* Орхан Махмудов, ассистент
* Екатерина Кудрявцева, ассистент
* Анастасия Бикещенко, ассистент

= План курса =
* '''[https://disk.360.yandex.ru/i/l7Zn3tr7cmzY5w План курса]'''

= Сдача домашних заданий =

Пришлите выполненное задание на почту python4da@yandex.ru с темой

[ДЗ номер] [ФИО] [Группа]

В таком же формате вместо ДЗ №1 можете прислать сканы документов, подтверждающих прохождение курсов по Python с положительной оценкой.

Документы (справки, дрпуски и т.д.) присылайте на ту же почту с темой

[Документы] [ФИО] [Группа]

= Политика по списыванию и несанкционированному использованию ИИ-помощников и больших языковых моделей (LLM) =

* При обнаружении одинаковых работ все фигурирующие студенты не получают баллы, но получают штраф в размере баллов, полагающихся за списанное задание.
* При обнаружении явного использования LLM при написании задания-допуска соответствующее задание не засчитывается.
* При обнаружении явного и не оговоренного в тексте задания использования LLM студент также не получает баллы, но получает штраф в размере полагающихся баллов за списанное задание.

= Критерии получения оценки =

На курсе запланировано 6 домашних заданий.
* Перед выполением домашнего задания необходимо выполнить на семинаре задание-допуск. Без допуска сдача не разрешается. Планируемое количество попыток сдачи теорминимума к одному домашнему заданию - 3. В зависимости от обстоятельств число попыток может быть увеличено.
* За сдачу позже мягкого дедлайна - штраф 50% оценки.
* Задания, сданные после жёсткого дедлайна, не оцениваются.

Первое домашнее задание курса
* Это задание можно перезачесть любым курсом по Python, если он был окончен с оценкой "хорошо" и выше.
* Невыполнение этого задания влечёт штраф -2 к оценке по 10-балльной шкале.

Подготовка устного доклада (2 балла)
* Тема доклада: обзор любой популярной библиотеки Python, не рассмотренной на занятиях
* При оформлении доклада необходимо следовать практическим рекомендациям, приведённым на лекциях.
* Оцениваются: содержательность, устный рассказ, соблюдение формальных требований, стилистика. Каждый пункт - 0.5 балла
* Длительность: 7-10 минут
* Структура доклада: титульный слайд, план, основная часть, резюме, слайд-благодарность
* На титульном слайде нужно указать тему, ФИО автора, название нашего курса
* Оформление слайдов: спокойный фон, заголовок шрифтом 24+, текст шрифтом 18+, небольшое количество текста, наличие ссылок на источники (в том числе источники картинок)
* Важно. В презентации должен присутствовать как минимум 1 график, качественно оформленный (название графика, названия и единицы измерения осей, минимальное необходимое количество цветов, легенда при необходимости, сетка при необходимости; можно использовать предвнимательную обработку)

'''[https://docs.google.com/spreadsheets/d/10dsiny6aDUihptKUsxnEQ3bIe7Btxa6rTDtbREGELhA/edit?usp=sharing Запись на доклады здесь]'''

Формула оценки: сумма баллов - 1

== Домашние задания ==

{| class="wikitable"
|-
! Домашнее задание
! Балл
! Дедлайн мягк.
! Дедлайн жестк.
|-
| ДЗ 1 Необходимый минимум по языку Python || 0 || - || 15.10
|-
| ДЗ 2 Библиотека numpy. Реализация алгоритма с помощью библиотеки || 2 || 20.10 || 3.11
|-
| ДЗ 3 Сбор и очистка данных. Обработка табличных данных с помощью библиотеки pandas || 3 || 07.12 || 09.12
|-
| ДЗ 4 Реализация приложения с помощью streamlit || 2 || 15.11 || 29.11
|-
| ДЗ 5 Оркестратор Airflow || 2 || 30.11 || 05.12
|-
| ДЗ 6 Устный доклад || 2 || - || конец семестра
|-
| Бонусы || || - || 13.12
|-
|}

= Форма контроля =
дифф. зачет

= Порядок пересдач =

* До первой пересдачи студенты досдают домашние задания без штрафа. Все работы необходимо прислать не менее чем за 5 рабочих дней до даты пересдачи. Дополнительные выступления с презентациями не проводятся. На пересдаче необходимо написать очный теорминимум. В случае зачета по теорминимуму оценка считается по общей формуле.
* На комиссионной пересдаче оценка выставляется без учета баллов, набранных в семестре. Комиссионная пересдача проходит в виде устного собеседования с не менее чем 2 преподавателями.

Базы данных 2024

2026-01-30T19:12:11Z

Yakusheva: /* Важные ссылки */

== Общий сведения ==
* Семестр: 4 (2 курс)
* Форма контроля: дифференцированный зачёт
* [https://docs.google.com/document/d/1CG6-s5-x1LU3j8mOa66rSC4WcrWbc36_/edit?usp=sharing&ouid=114577160067925802179&rtpof=true&sd=true План курса]

* [https://docs.google.com/spreadsheets/d/1kDnvqWvc--QudxOv-ZA3yvLSq0-Aqxvi_HM1pJrzoI0/edit?usp=sharing Ведомость]

== Контрольные мероприятия ==
* Лекции и семинары (до 15 шт)
* (Блокирующий) 3 КР - контрольные работы (практические задания + немного теории)
* Около 5 ДЗ (практические задания)
* Квизы (Гугл или яндекс формы) по материалам лекций (проводятся на лекциях)
* (Блокирующий) 1 отчетный - проект
* Дифф. Зачет в конце семестра

== Фрмула оценки ==
Актуальную формулу см в Плане курса
Максимальная оценка за курс может быть больше 10 - в ведомость ставится 10

0.1 * (Сумма квизов) + 0.2 * (сумма КР) + 0.2 * (сумма ДЗ) + 0.5 * (сумма Проект) + 0.2 * (Зачет) + 0.1*(Бонус)

== Домашние задания ==
-----------------
2023

Всю информацию о домашних заданиях 2023 в т.ч. о дедлайнах можно найти [https://gitlab.atp-fivt.org/courses-public/db2023-supplementary/global/-/tree/main/homework здесь] или [https://docs.google.com/spreadsheets/d/1RNpz6kb-SjvgQHILkuPHJySW-TXkUtUt1NP_m3Q3nBU/edit#gid=2041645458 здесь].
-----------------
2024
Всю информацию о домашних заданиях 2024 [https://gitlab.com/fpmi-atp/db2022-supplementary/global/-/tree/master здесь].

== Контрольные работы ==

Проводятся на семинарах

{| class="wikitable"
|-
! №
! Дата
|-
| 1 после тем 2го семинара || 26.02.2024 - 02.03.2024
|-
| 2 после тем 4го семинара || 08.04.2024 - 13.04.2024
|-
| 3 после тем 7го семинара || 10.05.2024 - 17.05.2024
|}

Варианты КР № 3 для групп Юлии Александровны

{| class="wikitable"
|-
! №
! ссылка
! время выполнения
|-
| Вар 1 и 2 || https://forms.yandex.ru/cloud/663d0e42e010db1bc1a7e7ac/ || 40 минут
|-
| Вар 3 и 4 || https://forms.yandex.ru/u/663cf2e0d04688185c3b3ae1/
https://forms.yandex.ru/u/663d43d4e010db20d3a7e7b1/ || 30 минут
|}

== Курсовой проект ==
Всю информацию о курсовом проекте можно найти [https://gitlab.atp-fivt.org/courses-public/db2023-supplementary/global/-/tree/main/project здесь].

{| class="wikitable"
|-
! Часть проекта
! Дедлайн
|-
| Основная часть на 3 балла || 30.03.2024
|-
| Основная часть на 1 балл || 10.05.2024
|-
| Дополнительная часть || 15.05.2024
|}

== Команда курса ==
'''Директор курса''': Смолкина Юлия Александровна smolkina.iua@phystech.edu

'''Лектор''': Шевченко Игорь

'''Ведомость''': По вопросам с ведомостью (таблицей) обращаться к @howardabd

'''Семинаристы''':
* Смолкина Юлия Александровна
* Викентиев Михаил Ильич
* Лушко Есения Андреевна
* Филатенков Артур Андреевич
* Муромцев Илья Олегович
* Рябухин Никита Вальеревич
* Самойлова София Эдуардовна
* Евдокимова Анастасия Юрьевна
* Ивочкина Полина Юрьевна
* Белков Иван Иванович

'''Ассистенты''':
{| class="wikitable"
|-
! Фамилия
! Имя
! Почта
! ТГ
|-
| Шевцова || Маргарита || shevtsova.ma@phystech.edu || @MargoSh2
|-
| Аллаберенов ||Керим|| allaberenov.k@phystech.edu|| @allaberenov_k
|-
|Турдиев ||Бакыт|| turdiev.bb@phystech.edu ||@btbol
|-
|Турлыбеков ||Олжас|| turlybekov.o@phystech.edu|| @OwOlzhas
|-
|Каныбеков ||Канатбек|| kanybekov.k@phystech.edu|| @getylman666
|-
|Золотова ||Анастасия || zolotova.aiu@phystech.edu|| @she_is_aurum
|-
|Нам ||Илья ||nam.i@phystech.edu ||@NIYrevich
|-
|Абдухоликзода ||Ховар|| abdukholikzoda.kh@phystech.edu|| @howardabd
|-
|Горбулев ||Алексей|| gorbulev.ai@phystech.edu|| @mr3vial

и другие
|-
|}

Базы данных 2024

2026-01-30T19:11:52Z

Yakusheva: /* Как попасть на курс */

== Общий сведения ==
* Семестр: 4 (2 курс)
* Форма контроля: дифференцированный зачёт
* [https://docs.google.com/document/d/1CG6-s5-x1LU3j8mOa66rSC4WcrWbc36_/edit?usp=sharing&ouid=114577160067925802179&rtpof=true&sd=true План курса]

* [https://docs.google.com/spreadsheets/d/1kDnvqWvc--QudxOv-ZA3yvLSq0-Aqxvi_HM1pJrzoI0/edit?usp=sharing Ведомость]

== Важные ссылки ==
---------------------
2023

* [https://gitlab.atp-fivt.org/courses-public/db2023-supplementary Все материалы по курсу 2023]
* [https://drive.google.com/drive/folders/1fMX-T7e96y6K3ewMvZwsRXQuIpN_sQ9y?usp=share_link Видеозаписи лекций 2023]

---------------------
2024

* [https://forms.gle/L8vuTL12SBgGNPNbA Форма регистрации]
* [https://t.me/+zJRUBCAcC8tkZTEy Чат курса]
* [https://gitlab.com/fpmi-atp/db2022-supplementary/global Все материалы по курсу 2024]
* [https://forms.yandex.ru/u/65743da3e010db4ef59de155/ Форма: Проблемы на курсе БД]
* [https://drive.google.com/drive/folders/1rQDVVHW2BTXLXpGGZhYnnnEDrSzmaloY?usp=sharing Видеозаписи лекций 2024]

== Контрольные мероприятия ==
* Лекции и семинары (до 15 шт)
* (Блокирующий) 3 КР - контрольные работы (практические задания + немного теории)
* Около 5 ДЗ (практические задания)
* Квизы (Гугл или яндекс формы) по материалам лекций (проводятся на лекциях)
* (Блокирующий) 1 отчетный - проект
* Дифф. Зачет в конце семестра

== Фрмула оценки ==
Актуальную формулу см в Плане курса
Максимальная оценка за курс может быть больше 10 - в ведомость ставится 10

0.1 * (Сумма квизов) + 0.2 * (сумма КР) + 0.2 * (сумма ДЗ) + 0.5 * (сумма Проект) + 0.2 * (Зачет) + 0.1*(Бонус)

== Домашние задания ==
-----------------
2023

Всю информацию о домашних заданиях 2023 в т.ч. о дедлайнах можно найти [https://gitlab.atp-fivt.org/courses-public/db2023-supplementary/global/-/tree/main/homework здесь] или [https://docs.google.com/spreadsheets/d/1RNpz6kb-SjvgQHILkuPHJySW-TXkUtUt1NP_m3Q3nBU/edit#gid=2041645458 здесь].
-----------------
2024
Всю информацию о домашних заданиях 2024 [https://gitlab.com/fpmi-atp/db2022-supplementary/global/-/tree/master здесь].

== Контрольные работы ==

Проводятся на семинарах

{| class="wikitable"
|-
! №
! Дата
|-
| 1 после тем 2го семинара || 26.02.2024 - 02.03.2024
|-
| 2 после тем 4го семинара || 08.04.2024 - 13.04.2024
|-
| 3 после тем 7го семинара || 10.05.2024 - 17.05.2024
|}

Варианты КР № 3 для групп Юлии Александровны

{| class="wikitable"
|-
! №
! ссылка
! время выполнения
|-
| Вар 1 и 2 || https://forms.yandex.ru/cloud/663d0e42e010db1bc1a7e7ac/ || 40 минут
|-
| Вар 3 и 4 || https://forms.yandex.ru/u/663cf2e0d04688185c3b3ae1/
https://forms.yandex.ru/u/663d43d4e010db20d3a7e7b1/ || 30 минут
|}

== Курсовой проект ==
Всю информацию о курсовом проекте можно найти [https://gitlab.atp-fivt.org/courses-public/db2023-supplementary/global/-/tree/main/project здесь].

{| class="wikitable"
|-
! Часть проекта
! Дедлайн
|-
| Основная часть на 3 балла || 30.03.2024
|-
| Основная часть на 1 балл || 10.05.2024
|-
| Дополнительная часть || 15.05.2024
|}

== Команда курса ==
'''Директор курса''': Смолкина Юлия Александровна smolkina.iua@phystech.edu

'''Лектор''': Шевченко Игорь

'''Ведомость''': По вопросам с ведомостью (таблицей) обращаться к @howardabd

'''Семинаристы''':
* Смолкина Юлия Александровна
* Викентиев Михаил Ильич
* Лушко Есения Андреевна
* Филатенков Артур Андреевич
* Муромцев Илья Олегович
* Рябухин Никита Вальеревич
* Самойлова София Эдуардовна
* Евдокимова Анастасия Юрьевна
* Ивочкина Полина Юрьевна
* Белков Иван Иванович

'''Ассистенты''':
{| class="wikitable"
|-
! Фамилия
! Имя
! Почта
! ТГ
|-
| Шевцова || Маргарита || shevtsova.ma@phystech.edu || @MargoSh2
|-
| Аллаберенов ||Керим|| allaberenov.k@phystech.edu|| @allaberenov_k
|-
|Турдиев ||Бакыт|| turdiev.bb@phystech.edu ||@btbol
|-
|Турлыбеков ||Олжас|| turlybekov.o@phystech.edu|| @OwOlzhas
|-
|Каныбеков ||Канатбек|| kanybekov.k@phystech.edu|| @getylman666
|-
|Золотова ||Анастасия || zolotova.aiu@phystech.edu|| @she_is_aurum
|-
|Нам ||Илья ||nam.i@phystech.edu ||@NIYrevich
|-
|Абдухоликзода ||Ховар|| abdukholikzoda.kh@phystech.edu|| @howardabd
|-
|Горбулев ||Алексей|| gorbulev.ai@phystech.edu|| @mr3vial

и другие
|-
|}

Базы данных весна 2025

2026-01-30T19:10:48Z

Yakusheva: /* Как попасть на курс */

== Общий сведения ==
* Семестр: 4 (2 курс), 2 (1 курс), 6 (3 курс)
* Форма контроля: Дифференцированный зачёт
* 15 недель, Семестр с 01.02 по 16.05

* [https://docs.google.com/document/d/1KJVumOF6nXr8UXpCV0qozQrR-SFw7o4I/edit?usp=sharing&ouid=114577160067925802179&rtpof=true&sd=true Вводная информация]

* [https://docs.google.com/spreadsheets/d/1gZ6Y0uQi5Y6dDWmRREUFP6dTyppyRjquH5qNKLt8iuk/edit?gid=1942469843#gid=1942469843 Ведомость]

* [https://gitlab.atp-fivt.org/courses-public/db-supplementary Гитлаб]

== Общие правила ==

Сдача любого контрольного мероприятия после дедлайна не предусмотрена. Сдача любого контрольного мероприятия имеет жесткий дедлайн.

Продление дедлайнов возможно только по уважительной причине (всеобщие университетские или факультетские мероприятия или болезнь):

1) При болезне дедлайн продлевается на дни болезни

2) При университетских мероприятиях - рассматриваются в инд порядке.

О пропусках нужно **обязательно** предупредить заранее.

Продление дедлайнов по уважительным причинам происходит в инд. порядке (Для этого нужно в рамках указанных сроков (не позже 5 дней после окончания действия справки) написать письмо на почту семинариста, указать рук. курса в копию. В теле письма нужно написать мероприятие по которому хотите продлить дедлайн и указать причину + приложить подтверждающий документ).

Мы считаем, что после 1го марта во всех группах была рассказана основная информация для работы над проектом.

Все дедлайны: указанный день 23-59, если не оговорено другое.

''' Гитлаб аккаунт АТП '''

Что нужно сделать:

1) Зарегистрироваться на курс

2) Если у Вас возникли проблемы, заполнить форму "проблемы на курсе"

Процес:

После заполнения анкеты, Ваши данные отправляются администраторам АТП, Они создают под вашу физтех почту аккаунт. На эту почту Вам должно прийтиписьмо с ссылкой для восстановления доступа, а также вы увидите свой ник от акаунта в ведомости.Ссылка действительна в течение 2-ух дней не пропустите ее.

Обратите внимание:

1) Проверьте спам

2) Если у вас в ведомости есть ник от акаунта - сбросьте пароль на гитлабе ( через физтех почту, указанную в ведомости)

''' Как подготовиться к курсу и настроить окружение, ПО '''

Смотрите тьюториалы согласно Вашей ПО [https://docs.google.com/document/d/1KJVumOF6nXr8UXpCV0qozQrR-SFw7o4I/edit?usp=sharing&ouid=114577160067925802179&rtpof=true&sd=true раздел Установка ПО]

== Правила для внешних студентов ==

Если Вы внешний студент, у Вас есть 2 опции: Вольный слушатель и официальный студент.

''' Вольный слушатель'''

Вольный слушатель - Вы можете посещать лекции, семинары, сдавать контрольные мероприятия, но оценка за курс не пойдет в диплом, на Вас не будет сформирована ведомость.

Как стать вольным слушателем:

1) Посмотрите расписание

2) Выберете семинаристку(та), к которой(му) хотите ходить - свяжитесь с ними по почте или телеграмм. Если они не против - начинайте ходить на пары и получать знания.

3) Попросите Ваших семинаристов или ассистентов - отметить в общей ведомости, что Вы вольный слушатель.

'''Официальный студент'''

1) Напишите на кафедру АТП + свою кафедру и попросите внести курс по БД в Ваш учебный план

2) Уточните у них будет ли сформированна ведомость на Вас в конце семестра (на конкретных семинаристов)

== Как сменить учебную группу по курсу БД? ==

1) Напишите директору курса (тг или почта) с описанием причины, почему Вам нужно ходить в группу не по Вашему расписанию (не забудьте представиться)

2) После одобрения от директора, напишите семинаристке(ку) к кому хотите перейти, ис просите разрешения

* Если Вы получили отказ в пунктах 1-2, поменять группу нельзя

3) Уведомите старого семинариста, что переходите в другу группу

* Убедитесь, что в ведомости у вас отмечен переход

Изучите информациб от кафедры АТП [http://wiki.atp-fivt.org/index.php/%D0%9F%D1%80%D0%BE_%D0%B8%D0%BD%D0%B4%D0%B8%D0%B2%D0%B8%D0%B4%D1%83%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BF%D0%BB%D0%B0%D0%BD%D1%8B_2025]

== Из чего состоит курс ==

* Лекции и семинары расписание можно посмотреть на гитлабе
* (Блокирующий) КР - контрольные работы (практические задания + немного теории)
* ДЗ (практические задания)
* (Блокирующий) 1 отчетный - проект
* Дифф. Зачет в конце семестра

''' План курса'''

1. Занятие №1
* Рел. алгебра
* Архитектура СУБД (схема, таблица и тд)
* Общая структура SELECT-запроса и Порядок выполнения запроса
* Unioun и Union all
* Обработка NULL, NaN и функционал greatest, least
* Работа с разными типами данных (время и дата, текстовые форматы, логические данные)

2. Занятие №2
* Джойны
* Ключи
* Полезные функции, в том числе If-ELSE, CASE ветвления
* Запросы с условиями и группировками"
* Проектирование
* Версионирование (SCD)
* НФ

3. Занятие №3
* Сложные запросы (WITH, целостность, полезные функции)
* Подзапросы (связанные, несвязанные, скалярные)
* Предикаты"
* Оконные функции

4. Занятие №4
* CTE
* Рекурсивные запросы

5. Занятие №5
* Представления (VIEW)

6. Занятие №6
* Хранимые функции
* Процедуры
* Триггеры
* Интеграция с другими ЯП

7. Занятие №7
* Индексы
* Интеграция с другими ЯП

8. Занятие №8
* Кликхаус
* Диалекты скл
* Оптимизация запросов"

== Формула оценки ==

Максимальная оценка за курс может быть больше 10 - в ведомость ставится 10

Максимальная сумма баллов за контрольные мероприятия :

* КР - 2
* ДЗ - 1
* ПРОЕКТ - 5
* ЗАЧЕТ - 2
* БОНУС - 1

== КР ==

КР проводятся ОЧНО на во время лекции, пишется на листочках.

За семестр планируется 2 КР.

Оценки за КР выставляются примерно за 2 недели.

Пропуск по неуважительной причине = 0б. Любые заминки на стороне студента, которые могут привести к “отправке или сдаче” работы после дедлайна и не дают права на повторное написание КР.

В сумме за все КР '''НЕОБХОДИМО''' набрать от 50%. (То есть если максимальный бал за КР = 2, то в сумме за 2 КР надо набрать '''хотя бы''' 1б для получения зачета)

Коллективная работа над КР может привести к обнулению баллов.

'''Даты проведения КР'''
{| class="wikitable"
|-
! КР №
! Дата
! Стоимость
|-
|1 || 1 марта || 0.8
|-
|2 || 26 апреля || 1.2
|-
|}

'''Распределение для КР №1'''

1. КР пишется в 2 потока (по времени) и в 2-ух аудиториях параллельно.

2. КР пишется строго не более 40 мин.

3. Приходить на КР нужно соответственно ФАКТИЧЕСКОЙ группе из ведомости, даже если Вы вольный слушатель.

4. Приходите за 3-5 минут до начала ВАШЕГО потока.

{| class="wikitable"
|-
! Семинарист(ка)
! Группа
! Ауд
! Время (начала)
|-
|Белков|| 403|| б.Хим|| 9-00
|-
|Белков|| 312|| Цифра Поточка|| 9-00
|-
|Бобоев|| 305|| б.Хим|| 9-00
|-
|Бобоев|| 306|| Цифра Поточка|| 9-00
|-
|Будажапов|| 402|| б.Хим|| 9-00
|-
|Викентьев|| 303|| б.Хим|| 9-00
|-
|Викентьев|| 404|| Цифра Поточка|| 9-00
|-
|Викентьев|| 304|| б.Хим|| 9-00
|-
|Викентьев|| 408|| Цифра Поточка|| 9-00
|-
|Викентьев|| 304|| б.Хим|| 9-00
|-
|Голуб|| 406|| б.Хим|| 9-00
|-
|Ермошин || 251|| б.Хим|| 9-00
|-
|Ермошин || 405|| Цифра Поточка|| 9-00
|-
|Кожанов|| 311|| б.Хим|| 9-00
|-
|Кожанов|| 407|| Цифра Поточка|| 9-00
|-
|Лушко|| 301|| б.Хим ||9-00
|-
|Лушко|| 302|| Цифра Поточка|| 9-45
|-
|Муромцев|| 409|| б.Хим|| 9-45
|-
|Новиков|| 322|| Цифра Поточка|| 9-45
|-
|Новиков|| 323|| б.Хим|| 9-45
|-
|Новиков|| 320|| Цифра Поточка|| 9-45
|-
|Новиков|| 321|| б.Хим|| 9-45
|-
|Павлов|| 307|| Цифра Поточка|| 9-45
|-
|Павлов ||231|| б.Хим|| 9-45
|-
|Павлов ||308|| б.Хим|| 9-45
|-
|Павлов ||232|| Цифра Поточка ||9-45
|-
|Смолкина ||327|| б.Хим|| 9-45
|-
|Смолкина ||351|| б.Хим|| 9-45
|-
|Смолкина|| 328|| б.Хим|| 9-45
|-
|Смолкина|| 352|| б.Хим ||9-45
|-
|Смолкина|| 312|| б.Хим|| 9-45
|-
|Ткачик || 252|| Цифра Поточка|| 9-45
|-
|Ткачик || 253|| Цифра Поточка ||9-45
|-
|Якушева|| 325|| Цифра Поточка ||9-45
|-
|Якушева|| 326|| Цифра Поточка ||9-45
|-
|}

'''Распределение для КР №2 '''

{| class="wikitable"
|-
! Семинарист(ка)
! Группа
! Ауд
! Время (начала)
! Время окончания
|-
|Белков|| 403|| Цифра Поточка|| 9-00|| 9-30
|-
|Белков|| 312|| Цифра Поточка|| 9-00|| 9-30
|-
|Бобоев|| 305|| Цифра Поточка|| 9-00|| 9-30
|-
|Бобоев|| 306|| Цифра Поточка|| 9-00|| 9-30
|-
|Будажапов|| 402|| Цифра Поточка|| 9-00|| 9-30
|-
|Викентьев|| 303|| б.Хим || 9-00|| 9-30
|-
|Викентьев|| 304|| б.Хим. || 9-00|| 9-30
|-
|Викентьев|| 304|| б.Хим. || 9-00|| 9-30
|-
|Викентьев|| 404|| б.Хим. || 9-00|| 9-30
|-
|Викентьев|| 408|| б.Хим. || 9-00|| 9-30
|-
|Голуб|| 406|| Цифра Поточка|| 9-00|| 9-30
|-
|Ермошин|| 251|| б.Хим. || 9-00|| 9-30
|-
|Ермошин || 405|| б.Хим. || 9-00|| 9-30
|-
|Кожанов|| 311|| б.Хим || 9-00|| 9-30
|-
|Кожанов|| 407|| б.Хим || 9-00|| 9-30
|-
|Лушко || 301|| б.Хим || 9-00|| 9-30
|-
|Лушко || 302|| б.Хим || 9-00|| 9-30
|-
|Муромцев|| 409|| б.Хим || 9-00|| 9-30
|-
|Новиков|| 323|| Цифра Поточка|| 9-45|| 10-15
|-
|Новиков|| 321|| Цифра Поточка|| 9-45|| 10-15
|-
|Новиков|| 322|| Цифра Поточка|| 9-45|| 10-15
|-
|Новиков|| 320|| Цифра Поточка|| 9-45|| 10-15
|-
|Павлов || 231|| б.Хим|| 9-45|| 10-15
|-
|Павлов|| 308|| б.Хим|| 9-45|| 10-15
|-
|Павлов|| 307|| б.Хим|| 9-45|| 10-15
|-
|Павлов|| 232|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 327|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 351|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 328|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 352|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 312|| б.Хим|| 9-45|| 10-15
|-
|Ткачик|| 252|| Цифра Поточка|| 9-45|| 10-15
|-
|Ткачик|| 253|| Цифра Поточка|| 9-45|| 10-15
|-
|Якушева|| 325|| Цифра Поточка|| 9-45|| 10-15
|-
|Якушева|| 326|| Цифра Поточка|| 9-45|| 10-15
|-
|}

== ДЗ ==

Выполнять ДЗ можно с момента публикации. Гитлаб репозиторрии создаются (если у Вас их не было) после регистрации на курсе.

'''Как правильно сдавать задание'''

Для сдачи задач использовать выданные вам gitlab-репозитории.

1. Суть дз — написать SQL-скрипт по мотивам задачи.

2. Скрипты сохраняем в корне репозитория.

3. Имя файла с решением формируется из имени ветки: <ИМЯ ВЕТКИ>.sql (создайте его самостоятельно).

4. Каждая ветка — это отдельное решение. Имя ветки: hw<НОМЕР ДЗ>task<НОМЕР ЗАДАЧИ>. Для каждого ДЗ будет создан отдельный репозиторий.

5. На защите ДЗ Вас попросят продемонстрировать работу всех скриптов и решить 1 -2 задание или похожие задачи.

'''Условия ДЗ'''
Также выложены в формате MD на гитлаб

HW 1 - https://drive.google.com/drive/folders/1OYg71tXxKQ0hYbIITY0f1Cj5aZtVqEbR?usp=sharing

HW 2 - https://drive.google.com/drive/folders/1n9hQF-rMfr6QD4imS7I_X-G-X8lSgnJd?usp=sharing

HW 3 - https://drive.google.com/drive/folders/1riyye6rRBH_t7uVjnhdgzgOAh7MK-UTA?usp=sharing

HW 4 - https://drive.google.com/drive/folders/1eGn7Yotnfz256uv9nTON0GMdDKyOzoGW?usp=sharing

HW 5 - https://drive.google.com/drive/folders/1Kk7mfKskQQHYiH2PXZHR9N9eDVdZTI8u?usp=sharing

Исходные данные (sql) - https://drive.google.com/drive/folders/1M5XvYuNUAhll_nPitrVatJKhPIFlzxx5?usp=drive_link

Исходные данные - https://drive.google.com/drive/folders/1bdwD7k7U_hk__pcahcYnHE0N9b8QKe6v?usp=sharing

'''Дедлайны по ДЗ:'''

ДЗ 1 - 01.03.2025

ДЗ 2 - 14.03.2025

ДЗ 3 - 14.04.2025

ДЗ 4 - 30.04.2025

ДЗ 5 - 10.05.2025

Защита каждого ДЗ производится 1 раз, при неудачной защите, баллы за текущее ДЗ (все задачи) обнуляются.
Дедлайн по защите ДЗ всегда 2 недели от дедлайна отправки (или До зачетной недели, если дата дедлайна по общему правилу попадает позже), например для ДЗ№1 это 14.03.2025. Обратите внимание, что в 2 недели отведенные на защиту, также могут попадать праздники и выходные, они не влияют на продление.

'''Организационные моменты'''
{| class="wikitable"
|-
! ДЗ №
! Балл от итоговой оценки
! Темы
|-
|1 || 0.2 || Простые запросы
|-
|2 || 0.2 || Агрегации, группировки, соединения, подзапросы
|-
|3 || 0.2 || Оконные функции
|-
|4 || 0.2 || CTE, Views
|-
|5 || 0.2 || Functions, Stored Procedures, Triggers
|}

== Курсовой проект ==

Важно! Всю информацию, итерации сдачи/защиты курсового проекта можно найти [https://docs.google.com/document/d/1KJVumOF6nXr8UXpCV0qozQrR-SFw7o4I в разделе Проект].
Обратите внимание на примеры оформления.

[https://drive.google.com/drive/folders/1lCZIeHXCFy6YEmNcIe7hKTtXmCr50FNn?usp=sharing Примеры хорошо оформленных интеграций по проекту ]

'''Обязательно:'''

После получения предварительной оценки за итерацию (и после защиты), необходимо загрузить материалы данной итерации на гитлаб.
В комментариях надо указать :

1. Группу,

2. Итерацию,

3. Поставленную оценку,

4. Комментарии семинариста/ассистента (если есть) и кто это принял.

'''ДЕДЛАЙНЫ'''

Все пункты должны быть сданы и утверждены до дедлайна. При сдаче в последние дни перед дедлайном или в день дедлайна, если что-то требует доработки, то этот пункт не засчитывается

Рекомендация (не обязательно, но логично): выполнять и сдавать пункты №1 и №2 вместе, №3 и №4 вместе, №5 и №6 вместе

'''Обязательная часть (итерации 1-7)''' - 30.03

'''Дополнительная часть''' - 15.05

== Зачет ==
Проведение зачета может быть совмещено с защитой проектов, но оцениваются они отдельно.

Рекомендуемый формат зачета:

1) ответ на вопросы (программа семинаров и лекций)

2) решение задачи из билета (задачи похожие на итерации проекта или ДЗ или КР)

3) ответ или решение дополнительных заданий (входит в итоговую оценку)

Точный формат проведения, дату уточняйте у семинаристов.

== Команда курса ==
'''Директор курса''': Смолкина Юлия Александровна

Почта: smolkina.iua@phystech.edu

'''Команда курса''':
{| class="wikitable"
|-
! Фамилия
! Имя
! Позиция
! ТГ
|-
|Аллаберенов ||Керим || Ассистент|| @allaberenov_k
|-
|Абдухоликзода||Ховар || Ассистент|| @howardabd
|-
|Чечеткин ||Александр || Ассистент|| @snakemanysss
|-
|Ахмедов ||Амонуллохон|| Ассистент|| @isfarinski
|-
|Багрянов ||Владислав || Ассистент|| @vlad_bg
|-
|Байстрюченко ||Дмитрий ||Ассистент|| @LuciremD
|-
|Басылбеков ||Исабек ||Ассистент|| @isabek03
|-
|Бикещенко ||Анастасия ||Ассистент|| @anastasia_bikes
|-
|Богданов ||Азат ||Ассистент|| @meganiger
|-
|Булгаков ||Георгий ||Ассистент|| @gbulgakov
|-
|Герасимова ||Александра ||Ассистент|| @Alexia_Kady
|-
|Гулямов ||Рахим ||Ассистент|| @rahimgulyamov
|-
|Дементьев ||Сергей ||Ассистент|| @sdementev33
|-
|Зайнуллин ||Валерий ||Ассистент|| @valeriy_zainullin
|-
|Ильин ||Иван ||Ассистент|| @evfrpol
|-
|Каныбеков ||Канатбек ||Ассистент|| @getylman666
|-
|Кмито ||Глеб ||Ассистент|| @sasamb4ik
|-
|Кулешова ||Анастасия ||Ассистент|| @stasiacool
|-
|Мирзоев ||Асрорхон ||Ассистент|| @alliseeisgoal
|-
|Морочковский ||Владислав ||Ассистент|| @what_is_10vee
|-
|Мостовых ||Егор ||Ассистент|| @Mostovykh
|-
|Нам ||Илья ||Ассистент|| @NIYrevich
|-
|Новикова ||Варвара ||Ассистент|| @pipipapyyy
|-
|Обжерин ||Евсей ||Ассистент|| @Ewseymath
|-
|Парамонова ||Анастасия ||Ассистент|| @witchernastia
|-
|Петросян ||Вера ||Ассистент|| @veerrkka
|-
|Поляков ||Геннадий ||Ассистент|| @nullziro
|-
|Попов ||Александр ||Ассистент|| @apopovprodby
|-
|Руденко ||Даниил ||Ассистент|| @RuDanechka4
|-
|Сазанович ||Михаил ||Ассистент|| @Sazan1209
|-
|Собол ||Жан ||Ассистент|| @Jan4ikS7
|-
|Хусрабов ||Рустам ||Ассистент|| @khusrabov
|-
|Ядров ||Платон ||Ассистент|| @Platonrylit
|-
|Андреева|| Камилла ||Ассистент|| @msnkch
|-
|Курбанбай|| Куаныш ||Ассистент|| @haoydkqlsboql
|-
|Масленникова || София ||Ассистент|| @So_haku
|-
|Белков|| Иван ||Семинарист|| @Belkovanya
|-
|Бобоев|| Муродали ||Семинарист|| @boboevm003
|-
|Будажапов|| Марат ||Семинарист|| @budddma
|-
|Викентьев|| Михаил ||Семинарист|| @maelkaard
|-
|Голуб|| Алла ||Семинарист|| @Golub_Alla
|-
|Ермошин || Михаил ||Семинарист|| @m_erMachine
|-
|Кожанов|| Глеб ||Семинарист|| @int_main_int
|-
|Лушко|| Есения ||Семинарист|| @Cocoroko
|-
|Новиков ||Иван ||Семинарист|| @novikov_ie
|-
|Павлов ||Михаил ||Семинарист|| @mikipaw
|-
|Смолкина|| Юлия ||Семинарист|| @malayataglit
|-
|Ткачик || Андрей ||Семинарист|| @sfzxcboy
|-
|Якушева ||София ||Семинарист|| @stager108
|-
|Муромцев|| Илья ||Семинарист|| @murrromcev
|-

|-
|}

''' Полезные дополнительные материалы'''

https://www.youtube.com/watch?v=DJJEr6IaW1Y&list=PL4_hYwCyhAva6-f-YxobKju-6ltmn-jNC

Базы данных весна 2025

2026-01-30T19:09:47Z

Yakusheva: /* Ссылки на материалы прошлых лет */

== Общий сведения ==
* Семестр: 4 (2 курс), 2 (1 курс), 6 (3 курс)
* Форма контроля: Дифференцированный зачёт
* 15 недель, Семестр с 01.02 по 16.05

* [https://docs.google.com/document/d/1KJVumOF6nXr8UXpCV0qozQrR-SFw7o4I/edit?usp=sharing&ouid=114577160067925802179&rtpof=true&sd=true Вводная информация]

* [https://docs.google.com/spreadsheets/d/1gZ6Y0uQi5Y6dDWmRREUFP6dTyppyRjquH5qNKLt8iuk/edit?gid=1942469843#gid=1942469843 Ведомость]

* [https://gitlab.atp-fivt.org/courses-public/db-supplementary Гитлаб]

== Общие правила ==

Сдача любого контрольного мероприятия после дедлайна не предусмотрена. Сдача любого контрольного мероприятия имеет жесткий дедлайн.

Продление дедлайнов возможно только по уважительной причине (всеобщие университетские или факультетские мероприятия или болезнь):

1) При болезне дедлайн продлевается на дни болезни

2) При университетских мероприятиях - рассматриваются в инд порядке.

О пропусках нужно **обязательно** предупредить заранее.

Продление дедлайнов по уважительным причинам происходит в инд. порядке (Для этого нужно в рамках указанных сроков (не позже 5 дней после окончания действия справки) написать письмо на почту семинариста, указать рук. курса в копию. В теле письма нужно написать мероприятие по которому хотите продлить дедлайн и указать причину + приложить подтверждающий документ).

Мы считаем, что после 1го марта во всех группах была рассказана основная информация для работы над проектом.

Все дедлайны: указанный день 23-59, если не оговорено другое.

''' Гитлаб аккаунт АТП '''

Что нужно сделать:

1) Зарегистрироваться на курс

2) Если у Вас возникли проблемы, заполнить форму "проблемы на курсе"

Процес:

После заполнения анкеты, Ваши данные отправляются администраторам АТП, Они создают под вашу физтех почту аккаунт. На эту почту Вам должно прийтиписьмо с ссылкой для восстановления доступа, а также вы увидите свой ник от акаунта в ведомости.Ссылка действительна в течение 2-ух дней не пропустите ее.

Обратите внимание:

1) Проверьте спам

2) Если у вас в ведомости есть ник от акаунта - сбросьте пароль на гитлабе ( через физтех почту, указанную в ведомости)

''' Как подготовиться к курсу и настроить окружение, ПО '''

Смотрите тьюториалы согласно Вашей ПО [https://docs.google.com/document/d/1KJVumOF6nXr8UXpCV0qozQrR-SFw7o4I/edit?usp=sharing&ouid=114577160067925802179&rtpof=true&sd=true раздел Установка ПО]

== Правила для внешних студентов ==

Если Вы внешний студент, у Вас есть 2 опции: Вольный слушатель и официальный студент.

''' Вольный слушатель'''

Вольный слушатель - Вы можете посещать лекции, семинары, сдавать контрольные мероприятия, но оценка за курс не пойдет в диплом, на Вас не будет сформирована ведомость.

Как стать вольным слушателем:

1) Посмотрите расписание

2) Выберете семинаристку(та), к которой(му) хотите ходить - свяжитесь с ними по почте или телеграмм. Если они не против - начинайте ходить на пары и получать знания.

3) Попросите Ваших семинаристов или ассистентов - отметить в общей ведомости, что Вы вольный слушатель.

'''Официальный студент'''

1) Напишите на кафедру АТП + свою кафедру и попросите внести курс по БД в Ваш учебный план

2) Уточните у них будет ли сформированна ведомость на Вас в конце семестра (на конкретных семинаристов)

== Как сменить учебную группу по курсу БД? ==

1) Напишите директору курса (тг или почта) с описанием причины, почему Вам нужно ходить в группу не по Вашему расписанию (не забудьте представиться)

2) После одобрения от директора, напишите семинаристке(ку) к кому хотите перейти, ис просите разрешения

* Если Вы получили отказ в пунктах 1-2, поменять группу нельзя

3) Уведомите старого семинариста, что переходите в другу группу

* Убедитесь, что в ведомости у вас отмечен переход

Изучите информациб от кафедры АТП [http://wiki.atp-fivt.org/index.php/%D0%9F%D1%80%D0%BE_%D0%B8%D0%BD%D0%B4%D0%B8%D0%B2%D0%B8%D0%B4%D1%83%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%BF%D0%BB%D0%B0%D0%BD%D1%8B_2025]

== Как попасть на курс ==
'''обязательно всем'''

1. [https://forms.yandex.ru/u/6735acb290fa7bd29c988bc6/ Заполнить форму регистрации до 1го марта]

2. [https://t.me/+BLMHzOvg5xpiMzUy Присоединиться к чату курса] и [https://t.me/+f1EF4ocv63JlOWQy каналу с новостями]

3. [https://forms.yandex.ru/u/6735ae5d02848fd3adb933a3/ Если возникли проблемы, то заполни форму]

== Из чего состоит курс ==

* Лекции и семинары расписание можно посмотреть на гитлабе
* (Блокирующий) КР - контрольные работы (практические задания + немного теории)
* ДЗ (практические задания)
* (Блокирующий) 1 отчетный - проект
* Дифф. Зачет в конце семестра

''' План курса'''

1. Занятие №1
* Рел. алгебра
* Архитектура СУБД (схема, таблица и тд)
* Общая структура SELECT-запроса и Порядок выполнения запроса
* Unioun и Union all
* Обработка NULL, NaN и функционал greatest, least
* Работа с разными типами данных (время и дата, текстовые форматы, логические данные)

2. Занятие №2
* Джойны
* Ключи
* Полезные функции, в том числе If-ELSE, CASE ветвления
* Запросы с условиями и группировками"
* Проектирование
* Версионирование (SCD)
* НФ

3. Занятие №3
* Сложные запросы (WITH, целостность, полезные функции)
* Подзапросы (связанные, несвязанные, скалярные)
* Предикаты"
* Оконные функции

4. Занятие №4
* CTE
* Рекурсивные запросы

5. Занятие №5
* Представления (VIEW)

6. Занятие №6
* Хранимые функции
* Процедуры
* Триггеры
* Интеграция с другими ЯП

7. Занятие №7
* Индексы
* Интеграция с другими ЯП

8. Занятие №8
* Кликхаус
* Диалекты скл
* Оптимизация запросов"

== Формула оценки ==

Максимальная оценка за курс может быть больше 10 - в ведомость ставится 10

Максимальная сумма баллов за контрольные мероприятия :

* КР - 2
* ДЗ - 1
* ПРОЕКТ - 5
* ЗАЧЕТ - 2
* БОНУС - 1

== КР ==

КР проводятся ОЧНО на во время лекции, пишется на листочках.

За семестр планируется 2 КР.

Оценки за КР выставляются примерно за 2 недели.

Пропуск по неуважительной причине = 0б. Любые заминки на стороне студента, которые могут привести к “отправке или сдаче” работы после дедлайна и не дают права на повторное написание КР.

В сумме за все КР '''НЕОБХОДИМО''' набрать от 50%. (То есть если максимальный бал за КР = 2, то в сумме за 2 КР надо набрать '''хотя бы''' 1б для получения зачета)

Коллективная работа над КР может привести к обнулению баллов.

'''Даты проведения КР'''
{| class="wikitable"
|-
! КР №
! Дата
! Стоимость
|-
|1 || 1 марта || 0.8
|-
|2 || 26 апреля || 1.2
|-
|}

'''Распределение для КР №1'''

1. КР пишется в 2 потока (по времени) и в 2-ух аудиториях параллельно.

2. КР пишется строго не более 40 мин.

3. Приходить на КР нужно соответственно ФАКТИЧЕСКОЙ группе из ведомости, даже если Вы вольный слушатель.

4. Приходите за 3-5 минут до начала ВАШЕГО потока.

{| class="wikitable"
|-
! Семинарист(ка)
! Группа
! Ауд
! Время (начала)
|-
|Белков|| 403|| б.Хим|| 9-00
|-
|Белков|| 312|| Цифра Поточка|| 9-00
|-
|Бобоев|| 305|| б.Хим|| 9-00
|-
|Бобоев|| 306|| Цифра Поточка|| 9-00
|-
|Будажапов|| 402|| б.Хим|| 9-00
|-
|Викентьев|| 303|| б.Хим|| 9-00
|-
|Викентьев|| 404|| Цифра Поточка|| 9-00
|-
|Викентьев|| 304|| б.Хим|| 9-00
|-
|Викентьев|| 408|| Цифра Поточка|| 9-00
|-
|Викентьев|| 304|| б.Хим|| 9-00
|-
|Голуб|| 406|| б.Хим|| 9-00
|-
|Ермошин || 251|| б.Хим|| 9-00
|-
|Ермошин || 405|| Цифра Поточка|| 9-00
|-
|Кожанов|| 311|| б.Хим|| 9-00
|-
|Кожанов|| 407|| Цифра Поточка|| 9-00
|-
|Лушко|| 301|| б.Хим ||9-00
|-
|Лушко|| 302|| Цифра Поточка|| 9-45
|-
|Муромцев|| 409|| б.Хим|| 9-45
|-
|Новиков|| 322|| Цифра Поточка|| 9-45
|-
|Новиков|| 323|| б.Хим|| 9-45
|-
|Новиков|| 320|| Цифра Поточка|| 9-45
|-
|Новиков|| 321|| б.Хим|| 9-45
|-
|Павлов|| 307|| Цифра Поточка|| 9-45
|-
|Павлов ||231|| б.Хим|| 9-45
|-
|Павлов ||308|| б.Хим|| 9-45
|-
|Павлов ||232|| Цифра Поточка ||9-45
|-
|Смолкина ||327|| б.Хим|| 9-45
|-
|Смолкина ||351|| б.Хим|| 9-45
|-
|Смолкина|| 328|| б.Хим|| 9-45
|-
|Смолкина|| 352|| б.Хим ||9-45
|-
|Смолкина|| 312|| б.Хим|| 9-45
|-
|Ткачик || 252|| Цифра Поточка|| 9-45
|-
|Ткачик || 253|| Цифра Поточка ||9-45
|-
|Якушева|| 325|| Цифра Поточка ||9-45
|-
|Якушева|| 326|| Цифра Поточка ||9-45
|-
|}

'''Распределение для КР №2 '''

{| class="wikitable"
|-
! Семинарист(ка)
! Группа
! Ауд
! Время (начала)
! Время окончания
|-
|Белков|| 403|| Цифра Поточка|| 9-00|| 9-30
|-
|Белков|| 312|| Цифра Поточка|| 9-00|| 9-30
|-
|Бобоев|| 305|| Цифра Поточка|| 9-00|| 9-30
|-
|Бобоев|| 306|| Цифра Поточка|| 9-00|| 9-30
|-
|Будажапов|| 402|| Цифра Поточка|| 9-00|| 9-30
|-
|Викентьев|| 303|| б.Хим || 9-00|| 9-30
|-
|Викентьев|| 304|| б.Хим. || 9-00|| 9-30
|-
|Викентьев|| 304|| б.Хим. || 9-00|| 9-30
|-
|Викентьев|| 404|| б.Хим. || 9-00|| 9-30
|-
|Викентьев|| 408|| б.Хим. || 9-00|| 9-30
|-
|Голуб|| 406|| Цифра Поточка|| 9-00|| 9-30
|-
|Ермошин|| 251|| б.Хим. || 9-00|| 9-30
|-
|Ермошин || 405|| б.Хим. || 9-00|| 9-30
|-
|Кожанов|| 311|| б.Хим || 9-00|| 9-30
|-
|Кожанов|| 407|| б.Хим || 9-00|| 9-30
|-
|Лушко || 301|| б.Хим || 9-00|| 9-30
|-
|Лушко || 302|| б.Хим || 9-00|| 9-30
|-
|Муромцев|| 409|| б.Хим || 9-00|| 9-30
|-
|Новиков|| 323|| Цифра Поточка|| 9-45|| 10-15
|-
|Новиков|| 321|| Цифра Поточка|| 9-45|| 10-15
|-
|Новиков|| 322|| Цифра Поточка|| 9-45|| 10-15
|-
|Новиков|| 320|| Цифра Поточка|| 9-45|| 10-15
|-
|Павлов || 231|| б.Хим|| 9-45|| 10-15
|-
|Павлов|| 308|| б.Хим|| 9-45|| 10-15
|-
|Павлов|| 307|| б.Хим|| 9-45|| 10-15
|-
|Павлов|| 232|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 327|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 351|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 328|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 352|| б.Хим|| 9-45|| 10-15
|-
|Смолкина|| 312|| б.Хим|| 9-45|| 10-15
|-
|Ткачик|| 252|| Цифра Поточка|| 9-45|| 10-15
|-
|Ткачик|| 253|| Цифра Поточка|| 9-45|| 10-15
|-
|Якушева|| 325|| Цифра Поточка|| 9-45|| 10-15
|-
|Якушева|| 326|| Цифра Поточка|| 9-45|| 10-15
|-
|}

== ДЗ ==

Выполнять ДЗ можно с момента публикации. Гитлаб репозиторрии создаются (если у Вас их не было) после регистрации на курсе.

'''Как правильно сдавать задание'''

Для сдачи задач использовать выданные вам gitlab-репозитории.

1. Суть дз — написать SQL-скрипт по мотивам задачи.

2. Скрипты сохраняем в корне репозитория.

3. Имя файла с решением формируется из имени ветки: <ИМЯ ВЕТКИ>.sql (создайте его самостоятельно).

4. Каждая ветка — это отдельное решение. Имя ветки: hw<НОМЕР ДЗ>task<НОМЕР ЗАДАЧИ>. Для каждого ДЗ будет создан отдельный репозиторий.

5. На защите ДЗ Вас попросят продемонстрировать работу всех скриптов и решить 1 -2 задание или похожие задачи.

'''Условия ДЗ'''
Также выложены в формате MD на гитлаб

HW 1 - https://drive.google.com/drive/folders/1OYg71tXxKQ0hYbIITY0f1Cj5aZtVqEbR?usp=sharing

HW 2 - https://drive.google.com/drive/folders/1n9hQF-rMfr6QD4imS7I_X-G-X8lSgnJd?usp=sharing

HW 3 - https://drive.google.com/drive/folders/1riyye6rRBH_t7uVjnhdgzgOAh7MK-UTA?usp=sharing

HW 4 - https://drive.google.com/drive/folders/1eGn7Yotnfz256uv9nTON0GMdDKyOzoGW?usp=sharing

HW 5 - https://drive.google.com/drive/folders/1Kk7mfKskQQHYiH2PXZHR9N9eDVdZTI8u?usp=sharing

Исходные данные (sql) - https://drive.google.com/drive/folders/1M5XvYuNUAhll_nPitrVatJKhPIFlzxx5?usp=drive_link

Исходные данные - https://drive.google.com/drive/folders/1bdwD7k7U_hk__pcahcYnHE0N9b8QKe6v?usp=sharing

'''Дедлайны по ДЗ:'''

ДЗ 1 - 01.03.2025

ДЗ 2 - 14.03.2025

ДЗ 3 - 14.04.2025

ДЗ 4 - 30.04.2025

ДЗ 5 - 10.05.2025

Защита каждого ДЗ производится 1 раз, при неудачной защите, баллы за текущее ДЗ (все задачи) обнуляются.
Дедлайн по защите ДЗ всегда 2 недели от дедлайна отправки (или До зачетной недели, если дата дедлайна по общему правилу попадает позже), например для ДЗ№1 это 14.03.2025. Обратите внимание, что в 2 недели отведенные на защиту, также могут попадать праздники и выходные, они не влияют на продление.

'''Организационные моменты'''
{| class="wikitable"
|-
! ДЗ №
! Балл от итоговой оценки
! Темы
|-
|1 || 0.2 || Простые запросы
|-
|2 || 0.2 || Агрегации, группировки, соединения, подзапросы
|-
|3 || 0.2 || Оконные функции
|-
|4 || 0.2 || CTE, Views
|-
|5 || 0.2 || Functions, Stored Procedures, Triggers
|}

== Курсовой проект ==

Важно! Всю информацию, итерации сдачи/защиты курсового проекта можно найти [https://docs.google.com/document/d/1KJVumOF6nXr8UXpCV0qozQrR-SFw7o4I в разделе Проект].
Обратите внимание на примеры оформления.

[https://drive.google.com/drive/folders/1lCZIeHXCFy6YEmNcIe7hKTtXmCr50FNn?usp=sharing Примеры хорошо оформленных интеграций по проекту ]

'''Обязательно:'''

После получения предварительной оценки за итерацию (и после защиты), необходимо загрузить материалы данной итерации на гитлаб.
В комментариях надо указать :

1. Группу,

2. Итерацию,

3. Поставленную оценку,

4. Комментарии семинариста/ассистента (если есть) и кто это принял.

'''ДЕДЛАЙНЫ'''

Все пункты должны быть сданы и утверждены до дедлайна. При сдаче в последние дни перед дедлайном или в день дедлайна, если что-то требует доработки, то этот пункт не засчитывается

Рекомендация (не обязательно, но логично): выполнять и сдавать пункты №1 и №2 вместе, №3 и №4 вместе, №5 и №6 вместе

'''Обязательная часть (итерации 1-7)''' - 30.03

'''Дополнительная часть''' - 15.05

== Зачет ==
Проведение зачета может быть совмещено с защитой проектов, но оцениваются они отдельно.

Рекомендуемый формат зачета:

1) ответ на вопросы (программа семинаров и лекций)

2) решение задачи из билета (задачи похожие на итерации проекта или ДЗ или КР)

3) ответ или решение дополнительных заданий (входит в итоговую оценку)

Точный формат проведения, дату уточняйте у семинаристов.

== Команда курса ==
'''Директор курса''': Смолкина Юлия Александровна

Почта: smolkina.iua@phystech.edu

'''Команда курса''':
{| class="wikitable"
|-
! Фамилия
! Имя
! Позиция
! ТГ
|-
|Аллаберенов ||Керим || Ассистент|| @allaberenov_k
|-
|Абдухоликзода||Ховар || Ассистент|| @howardabd
|-
|Чечеткин ||Александр || Ассистент|| @snakemanysss
|-
|Ахмедов ||Амонуллохон|| Ассистент|| @isfarinski
|-
|Багрянов ||Владислав || Ассистент|| @vlad_bg
|-
|Байстрюченко ||Дмитрий ||Ассистент|| @LuciremD
|-
|Басылбеков ||Исабек ||Ассистент|| @isabek03
|-
|Бикещенко ||Анастасия ||Ассистент|| @anastasia_bikes
|-
|Богданов ||Азат ||Ассистент|| @meganiger
|-
|Булгаков ||Георгий ||Ассистент|| @gbulgakov
|-
|Герасимова ||Александра ||Ассистент|| @Alexia_Kady
|-
|Гулямов ||Рахим ||Ассистент|| @rahimgulyamov
|-
|Дементьев ||Сергей ||Ассистент|| @sdementev33
|-
|Зайнуллин ||Валерий ||Ассистент|| @valeriy_zainullin
|-
|Ильин ||Иван ||Ассистент|| @evfrpol
|-
|Каныбеков ||Канатбек ||Ассистент|| @getylman666
|-
|Кмито ||Глеб ||Ассистент|| @sasamb4ik
|-
|Кулешова ||Анастасия ||Ассистент|| @stasiacool
|-
|Мирзоев ||Асрорхон ||Ассистент|| @alliseeisgoal
|-
|Морочковский ||Владислав ||Ассистент|| @what_is_10vee
|-
|Мостовых ||Егор ||Ассистент|| @Mostovykh
|-
|Нам ||Илья ||Ассистент|| @NIYrevich
|-
|Новикова ||Варвара ||Ассистент|| @pipipapyyy
|-
|Обжерин ||Евсей ||Ассистент|| @Ewseymath
|-
|Парамонова ||Анастасия ||Ассистент|| @witchernastia
|-
|Петросян ||Вера ||Ассистент|| @veerrkka
|-
|Поляков ||Геннадий ||Ассистент|| @nullziro
|-
|Попов ||Александр ||Ассистент|| @apopovprodby
|-
|Руденко ||Даниил ||Ассистент|| @RuDanechka4
|-
|Сазанович ||Михаил ||Ассистент|| @Sazan1209
|-
|Собол ||Жан ||Ассистент|| @Jan4ikS7
|-
|Хусрабов ||Рустам ||Ассистент|| @khusrabov
|-
|Ядров ||Платон ||Ассистент|| @Platonrylit
|-
|Андреева|| Камилла ||Ассистент|| @msnkch
|-
|Курбанбай|| Куаныш ||Ассистент|| @haoydkqlsboql
|-
|Масленникова || София ||Ассистент|| @So_haku
|-
|Белков|| Иван ||Семинарист|| @Belkovanya
|-
|Бобоев|| Муродали ||Семинарист|| @boboevm003
|-
|Будажапов|| Марат ||Семинарист|| @budddma
|-
|Викентьев|| Михаил ||Семинарист|| @maelkaard
|-
|Голуб|| Алла ||Семинарист|| @Golub_Alla
|-
|Ермошин || Михаил ||Семинарист|| @m_erMachine
|-
|Кожанов|| Глеб ||Семинарист|| @int_main_int
|-
|Лушко|| Есения ||Семинарист|| @Cocoroko
|-
|Новиков ||Иван ||Семинарист|| @novikov_ie
|-
|Павлов ||Михаил ||Семинарист|| @mikipaw
|-
|Смолкина|| Юлия ||Семинарист|| @malayataglit
|-
|Ткачик || Андрей ||Семинарист|| @sfzxcboy
|-
|Якушева ||София ||Семинарист|| @stager108
|-
|Муромцев|| Илья ||Семинарист|| @murrromcev
|-

|-
|}

''' Полезные дополнительные материалы'''

https://www.youtube.com/watch?v=DJJEr6IaW1Y&list=PL4_hYwCyhAva6-f-YxobKju-6ltmn-jNC

Базы данных весна 2026

2026-01-30T13:53:54Z

Yakusheva: /* Важные правила курса */

Базы данных весна 2026

2026-01-30T13:50:53Z

Yakusheva: /* Важные ссылки */

2026-01-30T12:31:08Z

Yakusheva: /* Описание */

== Описание ==

Дисклеймер: данная информация дублирует информацию с '''[https://objectoriented.ru/apmdd сайта курса]''' .

Курс посвящен применению интеллектуальных методов (machine learning) и средств автоматизации в информатике (computer science) и программной инженерии (software engineering).

В первой части курса студентам предлагается познакомиться с методами автоматического создания программ с применением грамматик, предметно-ориентированных языков, машинного обучения и NLP, с методами верификации и тестирования сложных систем с применением автоматических и модельно-ориентированных подходов, средств детерминированной и стохастической проверки моделей.

Вторая часть курса посвящена выполнению небольшого исследовательского проекта, направленного на изучение выбранной темы в автоматизации программирования, проведении обзора и анализе выбранной публикации, повторения экспериментальных результатов.

Форма отчетности по курсу: дифференцированный зачет.

== Альтернативные варианты сдачи курса ==
* Сдача экстерном

Для уточнения возможности и условий сдачи курса экстерном, свяжитесь с лектором курса в течение первых четырех недель курса.

* Перезачет

Курс может быть перезачтен, если он уже был пройден с оценкой "хорошо" или "отлично". В противном случае курс необходимо сдать повторно.

== Система оценивания ==

*Оценка за дифференцированный зачет по курсу выставляется преподавателем с учетом баллов, набранных при основении курса в течение семестра.
*Итоговые баллы = Лабораторные работы (50%) + исследовательский проект (50%).
*Всего для получения оценки отл(10) нужно 60 баллов из 82 максимально возможных.
* Каждая лабораторная работа дает до 10 баллов при сдаче вовремя. 30 баллов - это 50% оценки. Максимум 40 баллов - это 67%. Пропуск срока по лабораторной - штраф 50%. Если за лабораторную набрано менее 50% баллов, они не засчитываются.
*При пропусках занятий более 2-х раз или недостаточном количестве баллов (в сумме менее 24 баллов) к концу двенадцатой недели курса, или невыполнении исследовательского проекта, для получения оценки по курсу нужно пройти устный опрос по билетам по темам курса (добавит до 12 баллов до оценки удовл., на усмотрение преподавателя). Если и в этом случае баллов недостаточно, невыполненные задания по курсу могут быть сделаны к пересдаче.

== Сдача лабораторных работ ==

Темы
*Лабораторная работа 0 вступительная - автоматические методы (до XX.XX)
*Лабораторная работа 1 по DSL - создание языка для Karel (до XX.XX)
*Лабораторная работа 2 по синтезу программ - NPS для Karel (до XX.XX)
*Лабораторная работа 3 по metamorphic testing (до XX.XX)
*Лабораторная работа 4 по верификации блокчейн (до XX.XX)

Каждая лабораторная работа дает до 10 баллов при сдаче вовремя. 30 баллов - это 50% оценки. Максимум 40 баллов - это 67%. Пропуск срока по лабораторной - штраф в половину баллов.

Лабораторные работы поделены на задания. За каждое задание засчитывается указанное в нем число баллов. Если за лабораторную набрано менее 50% баллов, они не засчитываются.

Ориентировочные критерии оценки заданий лабораторных работ:

*правильность выполнения задач и ответов на вопросы, сформулированные в лабораторной работе,
*полнота решения, доля решенных пунктов и отвеченных вопросов,
*понимание примененных методов и способность аргументировать решение и разобраться и исправить ошибки.

== Исследовательский проект ==

Проект включает два задания на выбранную и согласованную тему: проведение систематического обзора и повторение вычислительного эксперимента.

Ориентировочные критерии оценки исследовательского проекта:
*степень погружения и освоения выбранной темы проекта
*следование методам проведения исследований, наличие и качество выполнения сопровождающих проект артефактов (таблиц, отчетов, слайдов)
*научная ценность проведенного исследования, пригодность результатов для представления на научной конференции

Баллы за исследовательский проект складываются из баллов за выбор и обоснование темы (5 баллов), выполнение систематического обзора (10 баллов), повторение эксперимента (10 баллов), выступление с финальным докладом (5 баллов). Итого за проект - максимум 30 баллов.

Из суммы баллов за исследовательский проект вычитается 50% от максимальной суммы, результат умножается на 2. Нулевая и отрицательная оценка не засчитывается и считается равной нулю.

== Систематический обзор ==

Систематический обзор литературы в определенной области - это метод исследования предметной области с целью получения ответов на интересующие вопросы. Систематический обзор, при должном исполнении, может быть отнесен к методам исследований, которые допускают проверку и повторение результатов.

Порядок выполнения систематического обзора приведен в таблице ниже. Результаты систематического обзора оформляются в виде набора документов

*полный список источников (long list)
*список отобранных источников (short list)
*отчет с результатами

{| class="wikitable"
|-
! №
! Что делать
! Результат
! Отчетность
|-
|1 || Сформулировать цели проведения обзора || Формулировка цели, перечень вопросов (Research Questions, напр. RQ1, RQ2..) || Отдельный раздел в отчете с результатами
|-
|2 || Описать протокол поиска источников || Приведен перечень баз данных, библиографический и реферативных баз, сформулированы критерии поиска в них (поисковые запросы) || Отдельный раздел в отчете с результатами
|-
|3 || Сформулировать критерии выбора источников || Требования, предъявляемые к источникам и их содержанию для включения в обзор (полезна ли информация для ответа на вопросы, качественная ли она и т.д.) || Отдельный раздел в отчете с результатами
|-
|4 || Выполнить поиск источников согласно протоколу || Полный список найденных источников || Таблица с полным списком в отдельном документе
|-
|5 || Отобрать источники из полного списка, при необходимости вернуться к п.4 || Список отобранных источников || Таблица с отобранными источниками в отдельном документе
|-
|6|| По каждому вопросу исследования собрать информацию из отобранных источников || Ответ на вопрос с отсылками к источникам || Для каждого вопроса - отдельный подраздел
|-
| 7 || Подготовить заключение: удалось ли ответить на вопросы, сделать выводы || Выводы о достижении цели обзора, рекомедации по использованию результатов обзора || Отдельный раздел отчета с результатами
|-
|}

Литература:

* Kitchenham, B.A. and S. Charters (2007) Guidelines for performing systematic literature reviews in software engineering, Technical Report EBSE-2007-01, School of Computer Science and Mathematics, Keele University.
* См. также слайды.

== Повторение эксперимента ==

Повторение опубликованных ранее результатов другими исследователями - важная процедура в научном исследовании, направленная на выявления неточностей, расхождений, неполноты в опубликованных результатах исследований и методах и достижения.

Порядок повторения результатов по теме приведен в таблице ниже. Результаты фиксируются в следующих документах

*отчет о повторении результатов
*исходный код и данные

Требования к статье для повторения

*должен быть доступен исходный код для основного результата статьи
*доступны данные, использованные в статье
*результат отражает state-of-the-art

{| class="wikitable"
|-
! №
! Что делать
! Результат
! Где фиксируется результат
|-
|1 || Найти и согласовать статью, актуальную для темы || Выбрана статья для повторения результатов. || В электронной почте, в первом разделе отчета
|-
|2 || Получить и сохранить код и данные, проверить возможность использования || Готовый к исполнению код, данные для проведения эксперимента || Исходный код и данные (выложены для доступа)
|-
|3 || Повторить эксперимент по описанию в статье || Выявлены отклонения и неточности в описании эксперимента, упущения и пропуски || Раздел в отчете о повторении результатов
|-
|4 || Сравнить результаты с полученными в статье ||Получены собственные количественные результаты эксперимента, указаны расхождения с результатами в статье || Раздел в отчете о повторении результатов
|-
|5 || Сделать выводы о повторяемости результатов статьи || Выводы о повторяемости результатов статьи и возможности их использования || Раздел в отчете о повторении результатов
|-
|}

Литература

*Geir Kjetil Sandve, Anton Nekrutenko, James Taylor, Eivind Hovig. Ten Simple Rules for Reproducible Computational Research
*См. также сайт reproducibleresearch.net

== Контакты ==

'''Хританков Антон Сергеевич''', соавтор курса, читает разделы по машинному обучению и исследовательскому проекту, prog.autom [at] gmail.com

'''Федотов Иван Андреевич''', соавтор курса, рассказывает про верификацию распределенных блокчейн систем и проверку моделей.

'''Якушева Софья Федоровна''', соавтор курса, читает разделы по тестированию и верификации.

== Темы курса ==
*Введение в автоматические методы разработкии. Организационные вопросы, программа курса. Критерии оценки.
*Предметно-ориентированные языки. DSL. Грамматики. Парсеры. Разработка языков.
*Анализ кода репозиториев. Индукция и синтез программ. Задача программирования на естественном языке. Задача для робота Karel
*Методы синтеза программ. Элементы обучения с подкреплением. Beam search. Execution. Partial programs, Meta-induction. Language models
*Введение в тестирование. Моделирование и верификация программ. Модели конечных автоматов, pre- post- условий. *Генерация тестов. Мутационное тестирование
*Автоматизация тестирования. Фаззинг. Тестирование свойств. Инварианты. Применения к различным задачам
*Формальные методы верификации. Введение в блокчейн и смарт контракты. Применение метода “Проверка модели” для верификации блокчейн систем. Статистические методы верификации.
*Систематичекий обзор. Поиск и изучение литературы. Systematic Literature Review (SLR). Mapping Study. Link Review.
*Проблемы воспроизводимости в научных исследованиях. Методы и программные средства автоматизации воспроизводимых экспериментов. Оформление и требования к эксперименту. Анализ результатов.

Автоматизация программирования весна 2026

2026-01-30T12:30:57Z

Yakusheva: /* Описание */

== Описание ==

Дисклеймер: данная информация дублирует информацию с *'''[https://objectoriented.ru/apmdd сайта курса]''' .

Курс посвящен применению интеллектуальных методов (machine learning) и средств автоматизации в информатике (computer science) и программной инженерии (software engineering).

В первой части курса студентам предлагается познакомиться с методами автоматического создания программ с применением грамматик, предметно-ориентированных языков, машинного обучения и NLP, с методами верификации и тестирования сложных систем с применением автоматических и модельно-ориентированных подходов, средств детерминированной и стохастической проверки моделей.

Вторая часть курса посвящена выполнению небольшого исследовательского проекта, направленного на изучение выбранной темы в автоматизации программирования, проведении обзора и анализе выбранной публикации, повторения экспериментальных результатов.

Форма отчетности по курсу: дифференцированный зачет.

== Альтернативные варианты сдачи курса ==
* Сдача экстерном

Для уточнения возможности и условий сдачи курса экстерном, свяжитесь с лектором курса в течение первых четырех недель курса.

* Перезачет

Курс может быть перезачтен, если он уже был пройден с оценкой "хорошо" или "отлично". В противном случае курс необходимо сдать повторно.

== Система оценивания ==

*Оценка за дифференцированный зачет по курсу выставляется преподавателем с учетом баллов, набранных при основении курса в течение семестра.
*Итоговые баллы = Лабораторные работы (50%) + исследовательский проект (50%).
*Всего для получения оценки отл(10) нужно 60 баллов из 82 максимально возможных.
* Каждая лабораторная работа дает до 10 баллов при сдаче вовремя. 30 баллов - это 50% оценки. Максимум 40 баллов - это 67%. Пропуск срока по лабораторной - штраф 50%. Если за лабораторную набрано менее 50% баллов, они не засчитываются.
*При пропусках занятий более 2-х раз или недостаточном количестве баллов (в сумме менее 24 баллов) к концу двенадцатой недели курса, или невыполнении исследовательского проекта, для получения оценки по курсу нужно пройти устный опрос по билетам по темам курса (добавит до 12 баллов до оценки удовл., на усмотрение преподавателя). Если и в этом случае баллов недостаточно, невыполненные задания по курсу могут быть сделаны к пересдаче.

== Сдача лабораторных работ ==

Темы
*Лабораторная работа 0 вступительная - автоматические методы (до XX.XX)
*Лабораторная работа 1 по DSL - создание языка для Karel (до XX.XX)
*Лабораторная работа 2 по синтезу программ - NPS для Karel (до XX.XX)
*Лабораторная работа 3 по metamorphic testing (до XX.XX)
*Лабораторная работа 4 по верификации блокчейн (до XX.XX)

Каждая лабораторная работа дает до 10 баллов при сдаче вовремя. 30 баллов - это 50% оценки. Максимум 40 баллов - это 67%. Пропуск срока по лабораторной - штраф в половину баллов.

Лабораторные работы поделены на задания. За каждое задание засчитывается указанное в нем число баллов. Если за лабораторную набрано менее 50% баллов, они не засчитываются.

Ориентировочные критерии оценки заданий лабораторных работ:

*правильность выполнения задач и ответов на вопросы, сформулированные в лабораторной работе,
*полнота решения, доля решенных пунктов и отвеченных вопросов,
*понимание примененных методов и способность аргументировать решение и разобраться и исправить ошибки.

== Исследовательский проект ==

Проект включает два задания на выбранную и согласованную тему: проведение систематического обзора и повторение вычислительного эксперимента.

Ориентировочные критерии оценки исследовательского проекта:
*степень погружения и освоения выбранной темы проекта
*следование методам проведения исследований, наличие и качество выполнения сопровождающих проект артефактов (таблиц, отчетов, слайдов)
*научная ценность проведенного исследования, пригодность результатов для представления на научной конференции

Баллы за исследовательский проект складываются из баллов за выбор и обоснование темы (5 баллов), выполнение систематического обзора (10 баллов), повторение эксперимента (10 баллов), выступление с финальным докладом (5 баллов). Итого за проект - максимум 30 баллов.

Из суммы баллов за исследовательский проект вычитается 50% от максимальной суммы, результат умножается на 2. Нулевая и отрицательная оценка не засчитывается и считается равной нулю.

== Систематический обзор ==

Систематический обзор литературы в определенной области - это метод исследования предметной области с целью получения ответов на интересующие вопросы. Систематический обзор, при должном исполнении, может быть отнесен к методам исследований, которые допускают проверку и повторение результатов.

Порядок выполнения систематического обзора приведен в таблице ниже. Результаты систематического обзора оформляются в виде набора документов

*полный список источников (long list)
*список отобранных источников (short list)
*отчет с результатами

{| class="wikitable"
|-
! №
! Что делать
! Результат
! Отчетность
|-
|1 || Сформулировать цели проведения обзора || Формулировка цели, перечень вопросов (Research Questions, напр. RQ1, RQ2..) || Отдельный раздел в отчете с результатами
|-
|2 || Описать протокол поиска источников || Приведен перечень баз данных, библиографический и реферативных баз, сформулированы критерии поиска в них (поисковые запросы) || Отдельный раздел в отчете с результатами
|-
|3 || Сформулировать критерии выбора источников || Требования, предъявляемые к источникам и их содержанию для включения в обзор (полезна ли информация для ответа на вопросы, качественная ли она и т.д.) || Отдельный раздел в отчете с результатами
|-
|4 || Выполнить поиск источников согласно протоколу || Полный список найденных источников || Таблица с полным списком в отдельном документе
|-
|5 || Отобрать источники из полного списка, при необходимости вернуться к п.4 || Список отобранных источников || Таблица с отобранными источниками в отдельном документе
|-
|6|| По каждому вопросу исследования собрать информацию из отобранных источников || Ответ на вопрос с отсылками к источникам || Для каждого вопроса - отдельный подраздел
|-
| 7 || Подготовить заключение: удалось ли ответить на вопросы, сделать выводы || Выводы о достижении цели обзора, рекомедации по использованию результатов обзора || Отдельный раздел отчета с результатами
|-
|}

Литература:

* Kitchenham, B.A. and S. Charters (2007) Guidelines for performing systematic literature reviews in software engineering, Technical Report EBSE-2007-01, School of Computer Science and Mathematics, Keele University.
* См. также слайды.

== Повторение эксперимента ==

Повторение опубликованных ранее результатов другими исследователями - важная процедура в научном исследовании, направленная на выявления неточностей, расхождений, неполноты в опубликованных результатах исследований и методах и достижения.

Порядок повторения результатов по теме приведен в таблице ниже. Результаты фиксируются в следующих документах

*отчет о повторении результатов
*исходный код и данные

Требования к статье для повторения

*должен быть доступен исходный код для основного результата статьи
*доступны данные, использованные в статье
*результат отражает state-of-the-art

{| class="wikitable"
|-
! №
! Что делать
! Результат
! Где фиксируется результат
|-
|1 || Найти и согласовать статью, актуальную для темы || Выбрана статья для повторения результатов. || В электронной почте, в первом разделе отчета
|-
|2 || Получить и сохранить код и данные, проверить возможность использования || Готовый к исполнению код, данные для проведения эксперимента || Исходный код и данные (выложены для доступа)
|-
|3 || Повторить эксперимент по описанию в статье || Выявлены отклонения и неточности в описании эксперимента, упущения и пропуски || Раздел в отчете о повторении результатов
|-
|4 || Сравнить результаты с полученными в статье ||Получены собственные количественные результаты эксперимента, указаны расхождения с результатами в статье || Раздел в отчете о повторении результатов
|-
|5 || Сделать выводы о повторяемости результатов статьи || Выводы о повторяемости результатов статьи и возможности их использования || Раздел в отчете о повторении результатов
|-
|}

Литература

*Geir Kjetil Sandve, Anton Nekrutenko, James Taylor, Eivind Hovig. Ten Simple Rules for Reproducible Computational Research
*См. также сайт reproducibleresearch.net

== Контакты ==

'''Хританков Антон Сергеевич''', соавтор курса, читает разделы по машинному обучению и исследовательскому проекту, prog.autom [at] gmail.com

'''Федотов Иван Андреевич''', соавтор курса, рассказывает про верификацию распределенных блокчейн систем и проверку моделей.

'''Якушева Софья Федоровна''', соавтор курса, читает разделы по тестированию и верификации.

== Темы курса ==
*Введение в автоматические методы разработкии. Организационные вопросы, программа курса. Критерии оценки.
*Предметно-ориентированные языки. DSL. Грамматики. Парсеры. Разработка языков.
*Анализ кода репозиториев. Индукция и синтез программ. Задача программирования на естественном языке. Задача для робота Karel
*Методы синтеза программ. Элементы обучения с подкреплением. Beam search. Execution. Partial programs, Meta-induction. Language models
*Введение в тестирование. Моделирование и верификация программ. Модели конечных автоматов, pre- post- условий. *Генерация тестов. Мутационное тестирование
*Автоматизация тестирования. Фаззинг. Тестирование свойств. Инварианты. Применения к различным задачам
*Формальные методы верификации. Введение в блокчейн и смарт контракты. Применение метода “Проверка модели” для верификации блокчейн систем. Статистические методы верификации.
*Систематичекий обзор. Поиск и изучение литературы. Systematic Literature Review (SLR). Mapping Study. Link Review.
*Проблемы воспроизводимости в научных исследованиях. Методы и программные средства автоматизации воспроизводимых экспериментов. Оформление и требования к эксперименту. Анализ результатов.