Программирование на языке высокого уровня

 

Количество часов: 260

Основные разделы:

 

  • Основные этапы решения задач на ЭВМ; критерии качества программы; жизненный цикл программы; постановка задачи и спецификация программы; способы записи алгоритма; программа на языке высокого уровня.
  • Стандартные типы данных; представление основных управляющих структур программирования; теорема структуры и структурное программирование; анализ программ; утверждения о программах; корректность программ; правила вывода для основных структур программирования; инвариантные утверждения.
  • Процедуры и функции; массивы; утверждения о массивах; записи; файлы; индуктивные функции на последовательностях (файлах, массивах).
  • Динамические структуры данных; линейные списки: основные виды и способы реализации; линейный список как абстрактный тип данных.
  • Модульные программы; рекурсивные определения и алгоритмы; программирование рекурсивных алгоритмов; способы конструирования и верификации программ.

     


  • Вернуться назад

     

     
    Яндекс.Метрика
    Besucherzahler
    счетчик посещений