Опубликована: 05.04.2011 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 14 дней
В курсе рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма.
Одной из основных целей при разработке структур данных является формирование математических понятий, которые пока не входят в классическую математику, но требуют формального описания и математического анализа их свойств. Основной интерес здесь представляют сложностные аспекты выполнения типичных операций. Возникновение наиболее удачных структур, использующихся в различных алгоритмах, приводит к формированию так называемых абстрактных типов данных, которые позволяют вести проектирование нетривиальных алгоритмов на более высоком уровне, не упуская из виду конкретных реализаций. Методы реализации абстрактных типов данных можно рассматривать как переход от описания алгоритма с использованием прикладных или математических понятий к описанию в конкретной системе вычислений. В нашем курсе рассматриваются методы реализации приоритетных очередей, динамически меняющихся отношений эквивалентности, а также некоторые способы организации словарей, основывающиеся на применении так называемых поисковых деревьев, приводятся примеры использования рассматриваемых структур в алгоритмах решения некоторых задач из теории графов. Дается описание машин Тьюринга, алгорифмов Маркова, "машины абак" и как наиболее реалистичной модели вычислительного автомата - модели с адресуемой памятью РАМ. Приводятся основные сведения о формальных языках и способах их конструктивного задания, а также теоретические основы логического программирования. Важность этих вопросов вытекает не только из общенаучных проблем развития математики, но также из практических задач общества, использующего вычислительную технику в производстве, экономике, инженерных расчетах и заинтересованного в адекватном представлении о возможностях вычислительных автоматов.

План занятий

ЗанятиеЗаголовок <<Дата изучения
-
Лекция 1
32 минуты
Вводная
Оглавление
    -
    Лекция 2
    1 час 15 минут
    Списки
    Оглавление
      -
      Тест 1
      15 минут
      -
      Лекция 3
      1 час 34 минуты
      -
      Тест 2
      9 минут
      -
      Лекция 4
      1 час 12 минут
      -
      Тест 3
      9 минут
      -
      Лекция 5
      52 минуты
      -
      Тест 4
      9 минут
      -
      Лекция 6
      26 минут
      -
      Лекция 7
      25 минут
      -
      Тест 5
      15 минут
      -
      Лекция 8
      42 минуты
      Тонкие кучи
      Оглавление
        -
        Лекция 9
        1 час 39 минут
        Толстые кучи
        Оглавление
          -
          Тест 6
          12 минут
          -
          Лекция 10
          1 час 9 минут
          Поисковые деревья
          Оглавление
            -
            Лекция 11
            1 час 45 минут
            Машины Тьюринга
            Оглавление
              -
              Тест 7
              12 минут
              -
              Лекция 12
              49 минут
              -
              Лекция 13
              2 часа 6 минут
              Формальные языки
              Оглавление
                -
                Тест 8
                15 минут
                -
                Лекция 14
                58 минут
                -
                Тест 9
                9 минут
                -
                5 часов
                -