Предмет (дисциплина): Теория алгоритмов


Структуры и алгоритмы обработки данных

Полное название: Структуры и алгоритмы обработки данных

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


(далее…)

Модели вычислительных алгоритмов

Полное название: Модели вычислительных алгоритмов

Описание материала:
Изложены три основных типа моделей алгоритмов: рекурсивные функции, машины Тьюринга, нормальные алгоритмы Маркова. Для каждой из моделей даны примеры. В конце учебного пособия приведены контрольные вопросы и задачи. По разделу «Машины Тьюринга» студентам предлагается выполнить индивидуальные задания.


(далее…)

Математическая логика и теория алгоритмов

Полное название: Математическая логика и теория алгоритмов

Описание материала:
Пособие содержит следующие разделы. Логику высказыванй и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления и элементы неклассических логик: трехзначные и многозначные логики, модальную, временую и нечеткую логики. Теорию алгоритмов: нормальные алгоритмы, машины Тьюринга, рекурсивные функции и из взаимосвязи. Понятие о сложности вычислений, различные классы задач и примеры таких задач. Пособие преднозначено студентам технических вузов.


(далее…)

Лекции. Теория алгоритмов

Полное название: Лекции. Теория алгоритмов

Описание материала:
Знание основных неразрешимостей теории алгоритмов и принципов организации формальных исчислений дает понимание того, что можно и чего нельзя сделать с помощью вычислительной машины.
1. ТЕОРИЯ АЛГОРИТМОВ
1.1. ОСНОВНЫЕ ПОНЯТИЯ
1.1.1 Основные требования к алгоритмам
1.1.2. Блок-схемы алгоритмов
1.1.3. Представление данных
1.1.4. Виды алгоритмов
1.1.5. Правильность программ
1.1.6.Эффективность алгоритмов
1.1.7. Сходимость, сложность, надежность
2. УНИВЕРСАЛЬНЫЕ АЛГОРИТМЫ
2.1. ОСНОВНЫЕ ПОНЯТИЯ
2.2. МАШИНЫ ТЬЮРИНГА
2.3. РЕКУРСИВНЫЕ ФУНКЦИИ
2.4.ПР-ОПЕРАТОРЫ
2.5. ТЕЗИС ЧЕРЧА-ТЬЮРИНГА
2.6. ПРОБЛЕМА САМОПРИМЕНИМОСТИ
3. ФОРМАЛЬНЫЕ СИСТЕМЫ
3.1. МЕТАТЕОРИЯ ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ
3.2. АБСТРАКТНЫЕ ФОРМАЛЬНЫЕ СИСТЕМЫ
4. ЯЗЫКИ И ГРАММАТИКИ
4.1. ОБЩИЕ ПОНЯТИЯ
4.2. ФОРМАЛЬНЫЕ ГРАММАТИКИ
4.3. ИЕРАРХИЯ ЯЗЫКОВ
5. ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ


(далее…)