СОДЕРЖАНИЕ И СТРУКТУРА ТЕСТОВЫХ МАТЕРИАЛОВ
Тематическая структура
| СОДЕРЖАНИЕ ТЕСТОВЫХ МАТЕРИАЛОВ
Элементы теории множеств
Подмножество множества
Раздел
| Тема
|
| Элементы теории множеств
| Подмножество множества
|
|
| Операции над множествами
|
|
| Способы задания множеств
|
|
| Основные законы алгебры множеств
|
|
| Мощность множества
|
|
| Задание отношения при помощи уравнения
|
|
| Задачи на множества
|
|
| Мощность пересечения множеств
|
|
| Мощность объединения множеств
|
|
| Свойства отношений
|
|
| Множества, заданные на промежутке
|
| Элементы математической логики
| Операции над высказываниями
|
|
| Примеры высказываний
|
|
| Формула в ИВ
|
|
| Основные законы ИВ (1)
|
|
| Основные законы ИВ (2)
|
|
| Примеры на упрощение формул в ИВ
|
| Нормальные и совершенные формы
| КНФ и ДНФ
|
|
| Элементарные и нормальные формы
|
|
| Применение теорем проблемы разрешимости
|
|
| Совершенные формы
|
| Приложение к ИВ
| Доказательство и вывод
|
|
| Аксиомы Гильбердта в ИВ
|
|
| Теория контактов
|
|
| Упрощение контактной схемы
|
| Исчисление предикатов
| Местность предиката
|
|
| Операции над предикатами
|
|
| Общезначимые предикаты
|
|
| Аксиомы Гильбердта в ИП
|
|
| Подмножество истинности предиката
|
|
| Импликация и эквиваленция предикатов
|
|
| Конъюнкция и дизъюнкция предикатов
|
| Приложение к ИП
| Строение и виды теорем
|
|
| Задачи по строению и видам теорем
|
|
| Необходимое и достаточное условие (1)
|
|
| Необходимое и достаточное условие (2)
|
|
| Необходимое и достаточное условие (3)
|
|
| Правильные и неправильные рассуждения (1)
|
|
| Правильные и неправильные рассуждения (2)
|
| Машина Тьюринга
| Строение машины Тьюринга
|
|
| Операции над машинами Тьюринга
|
|
| Работа машины Тьюринга
|
