Полное название: Математическая логика лекции
Описание материала:
Лекции по дисциплине «математическая логика», представленные в виде 5 файлов формата .doc. Включают в себя такие разделы, как:
Полное название: Лекции. Теория алгоритмов
Описание материала:
Знание основных неразрешимостей теории алгоритмов и принципов организации формальных исчислений дает понимание того, что можно и чего нельзя сделать с помощью вычислительной машины.
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. ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ
Полное название: Лекции. Теория систем
Описание материала:
Лекции по дисциплине Теория Систем ЮУрГУ
Описание материала:
КМ1804ВУ4. Схема управления последовательностью микрокоманд(для реализации БМУ УУ).