Перейти к содержанию
MediaSchool

структуры и записи — исследовательский практикум (5/21)

Раздел «Структуры данных». Исследовательский практикум по теме «структуры и записи». КТП составлено по действующей официальной программе Республики Беларусь.

Открыт · Презентация · Методичка

Конспект урока

Язык примеров

Содержание урока адаптируется под выбранный язык

Исследование надёжности обновления записей

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

Лаборатория

Сохраните снимок S0, меняйте один фактор и фиксируйте статус, S1 и список изменённых полей. Проведите шесть опытов: неверное значение, отсутствующий код, обычный успех, повтор запроса, последняя запись и дублирующийся код.

Доказательный вывод

Наблюдение — конкретный статус и сравнение состояний. Объяснение — какое свойство контракта подтверждено или опровергнуто.

Pascal

Скопируйте массив before и реализуйте EqualCatalog. Для проверки каждого поля используйте явное сравнение.

Скачать и открыть

Материалы урока

2 материала

Подготовка к уроку

2 материала

От сообщества

Материалы сообщества0

Дополнения от учителей к этому уроку. Проверены модерацией, но не являются редакционным контентом MediaSchool.

Поделиться материалом

Поделитесь первым материалом

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

Комментарии

Войдите, чтобы оставлять комментарии.

Пока нет комментариев. Будьте первым!