09.03.03 (Б) Б1.О.11 Математическая логика и теория алгоритмов (Марсенич И.А.)

• Форум Объявления
• Форум Для вопросов и обсуждений по содержанию курса
• Папка Рейтинг-план
• Папка Рекомендуемая литература
• Тест Входной контроль

МОДУЛЬ 1. Математическая логика

• Тест Тест 1. Понятие высказывания

МОДУЛЬ 2. Теория алгоритмов

• Папка Занятие 1. Понятие алгоритма, свойства, способы записи
• Папка Эмуляторы Машины Поста и Машины Тьюринга
• Папка Эмулятор Маркова
• Папка Самостоятельные 1 и 2 по Машине Поста
• Папка Самостоятельные работы 3 и 4 по алгоритмической системе Тьюринга
• Тест ТЕСТ 1. "Понятие алгоритма. Свойства"
• Тест ТЕСТ 2. "Алгоритмы. Исполнители. Виды и способы записи алгоритмов"
• Тест Тест "Схемы алгоритмов" (к занятию 2)
• Тест ТЕСТ 3. Алгоритмическая система Поста
• Тест ТЕСТ 4. Алгоритмическая система Тьюринга
• Тест ТЕСТ 5. Нормальные алгоритмы Маркова

МОДУЛЬ 3. Основы алгоритмизации

• Тест ТЕСТ 6. "Элементы теории сложности алгоритмов"
• Тест ТЕСТ 7. "Общие вопросы теории алгоритмов. Алгоритмически неразрешимые задачи"

Дополнительные материалы (для самостоятельного изучения)

• Задание Прикрепите сертификат о прохождении курса Математическая логика и теория алгоритмов (Stepik)
• Задание Прикрепите сертификат о прохождении курса Введение в теоретическую информатику (Stepik)