Схема на раздела

  • 20 март  26 март

    • Методи за доказване
      на коректност на алгоритми.
      Инварианта на цикъл