Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
 
Уровень:
Специалист
Длительность:
17:09:00
Студентов:
1812
Выпускников:
503
Качество курса:
4.25 | 4.12
В курсе рассматриваются способы структурирования информации в моделях с адресуемой памятью и классические модели вычислений, которые сыграли основную роль в формировании математического понятия алгоритма.

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

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

Специальности: Программист, Математик
ISBN: 978-5-9556-0066-6
 

План занятий

Занятие
Заголовок <<
Дата изучения
Лекция 1
32 минуты
Вводная

Оглавление
    -
    Лекция 2
    1 час 15 минут
    Списки

    Оглавление
      -
      Лекция 3
      1 час 34 минуты
      -
      Лекция 4
      1 час 12 минут
      -
      Лекция 8
      42 минуты
      Тонкие кучи

      Оглавление
        -
        Лекция 9
        1 час 39 минут
        Толстые кучи

        Оглавление
          -
          Лекция 10
          1 час 9 минут
          Поисковые деревья

          Оглавление
            -
            Лекция 11
            1 час 45 минут
            Машины Тьюринга

            Оглавление
              -
              Лекция 13
              2 часа 6 минут
              Формальные языки

              Оглавление
                -
                1 час 40 минут
                -
                Антон Сиротинкин
                Антон Сиротинкин

                на стр 6, лекции 3, Очевидно "Ck <= модуль(Gk(е))*b(k+1)" (1) - , подскажите что значит "модуль" и почему это очевидно...