Изменения
Нет описания правки
{| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
|+
|-align="center"
|'''НЕТ ВОЙНЕ'''
|-style="font-size: 16px;"
|
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
''Антивоенный комитет России''
|-style="font-size: 16px;"
|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
|-style="font-size: 16px;"
|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
|}
Цель: набрать хотя бы 60 баллов на зачет или на тройку. При этом надо обязательно решить одну простую и одну сложную задачу. Таблица с текущими баллами [https://docs.google.com/spreadsheet/ccc?key=0Arjd0Cmpqn-AdG04aldwZk1kUUM1NFVvNzJ3Nk1zUVE тут].
<tex> B = M \cdot C_{delay} + \frac{M}{2} \cdot C_{performance} + \frac{M}{4} \cdot C_{quality} </tex>, где
<tex> M </tex> — заявленный — заявленный в таблице балл за задачу,
<tex> C_{delay} </tex> — коэффициент за опоздание в сдаче задачи (от 1 до 0.5),
<tex> C_{performance} </tex> — коэффициент — коэффициент за производительность (от 0 до 1),
<tex> C_{quality} </tex> — коэффициент за качество кода (от 0 до 1).
<tex> T </tex> — текущий номер дня,
<tex> T_{deadline} </tex> — день — день дедлайна.
Проще говоря, если вы сдаете задачу до дедлайна, вы получаете за нее полный балл. После дедлайна баллы за задачу убывают линейно в течение месяца до <tex> \frac{M}{2} </tex>. Дальше убывание баллов прекращается.
<tex> t </tex> — время работы вашей программмы,
<tex> t_{min} </tex> — минимальная — минимальная производительность.
Таким образом, с минимальной производительностью коэффициент будет равен нулю, если вы решили в два раза быстрее, он равен 0.5, если в 10 раз — то почти 1.
Коэффициент <tex> C_{quality} </tex> — выставляется — выставляется непосредственно проверяющим качество кода.
* Офомление условия в tex — 3 балла.
** Тикеты на условия и чекеры — [https://bitbucket.org/assaron/evaluator-tasks/issues тут].
** Поддержка в рабочем состоянии.
** Баллы получит лучший вьюер, возможно, остальные тоже получат в зависимости от их качества.
* Разобраться с CORE/Leda — в случае успеха — 100 баллов, в случае фейла — 15— 15.
** Продемонстрировать что с помощью этих библиотек можно реализовать точные предикаты, принимающие на вход данные, полученные разными путями.
* Кодогенератор для предикатов — 100 баллов.
