Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Мат. логика и теория алгоритмов.doc
X
- •Министерство образования российской федерации
- •Содержание.
- •Глава I. Множества.
- •1.1. Определения и обозначения.
- •1.2. Операции над множествами.
- •1.3. Свойства операций
- •1.4. Мощность множества.
- •1.5. Прямое произведение множеств.
- •Глава II. Отношения, функции, алгебраические
- •2.1. Бинарные отношения.
- •2.2. Функции.
- •2.3. Алгебраические структуры и морфизмы.
- •Отношение конгруэнтности позволяет определить так называемую фактор-структуру, носителем которой является множество классов эквивалентности. Приведём примеры.
- •Контрольные вопросы
- •Тест II
- •Глава III. Булевы функции.
- •3.1. Определение и основные свойства.
- •3.2 Дизъюнктивная и конъюнктивная нормальные формы
- •3.3. Упрощение д.Н.Ф.
- •Контрольные вопросы.
- •Тест III
- •Глава IV. Элементы математической логики
- •4.1. Исчисление высказываний.
- •4.2. Логическое следствие
- •4.3. Предикаты и кванторы
- •Тест IV.
- •Глава 5. Алгоритмы и машина Тьюринга.
- •5.3. Машина Тьюринга.
- •F : q a a
- •5.4. Алгоритмически неразрешимые проблемы.
- •Итоговый тест.
- •Рекомендуемая литература. Основная:
- •Дополнительная
- •Словарь основных терминов
- •Ответы к тестам
- •Зуев Юрий Анатольевич Садыкова Альбина Рифовна Математическая логика и теория алгоритмов. Теория множеств. Дискретная математика
Ответы к тестам
I II III IV V
Тест I а) б) в) г) а)
Тест IIв) б) б) а) б)
Тест Ш в) в) а) в) б)
Тест IVв) в) в) а) б)
Тест Vв) б) б) б) а)
Зуев Юрий Анатольевич Садыкова Альбина Рифовна Математическая логика и теория алгоритмов. Теория множеств. Дискретная математика
Учебно – практическое пособие
Подписано к печати:
Тираж:
Заказ №
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]