Section outline

◄6 April - 12 April
►20 April - 26 April
    • Условия на контролното на 19.04 на втори поток File
    • Резултатите на втори поток на контролното на 19.04 File

    • За оценяването на контролното


      Отговорът на задача 1 е, "твърдението не е вярно".  Почти всички решения казват, "твърдението е вярно" --> 0 т.  Решения от вида "не можем да твърдим, че ..." не носят точки; "не можем да твърдим, че ..." е по-слабо от "можем да твърдим, че не ...", което се иска.

      Всички решения на задача 3 със сбъркан алгоритъм са 0 т. Доказателство за коректност на некоректен алгоритъм не върши работа. Полуформални доказателства за коректност не носят точки.  Формалните доказателства ползват инварианта.

      В задача 4 има кратък и прецизен отговор с разглеждане на ceil(log_3 (24)).  Опитите да се отговори чрез изчерпване на възможностите не носят точки.  Този подход е приложим към бонус частта.

      Задача 6 иска да се даде долна граница на ТЪРСЕНЕ В СОРТИРАН МАСИВ.  Алгоритъмът Двоично Търсене е споменат само за илюстрация.  Решенията, които говорят за свойства на този конкретен алгоритъм, не носят точки.

◄6 April - 12 April
►20 April - 26 April