Тематическая структура

СОДЕРЖАНИЕ И СТРУКТУРА ТЕСТОВЫХ МАТЕРИАЛОВ

Исчисление предикатов

Аксиомы Гильбердта в ИП

Импликация и эквиваленция предикатов

Конъюнкция и дизъюнкция предикатов

Местность предиката

Общезначимые предикаты

Операции над предикатами

Подмножество истинности предиката

Машина Тьюринга

Операции над машинами Тьюринга

Работа машины Тьюринга

Строение машины Тьюринга

Нормальные и совершенные формы

КНФ и ДНФ

Применение теорем проблемы разрешимости

Совершенные формы

Элементарные и нормальные формы

Объем и содержание понятий

Объем и содержание понятий

Приложение к ИВ

Аксиомы Гильбердта в ИВ

Доказательство и вывод

Теория контактов

Упрощение контактной схемы

Приложение к ИП

Задачи по строению и видам теорем

Необходимое и достаточное условие (1)

Необходимое и достаточное условие (2)

Необходимое и достаточное условие (3)

Правильные и неправильные рассуждения (1)

Правильные и неправильные рассуждения (2)

Строение и виды теорем

Элементы комбинаторики

Задачи на перестановку

Задачи на размещение

Задачи на сочетание

Элементы комбинаторики

Элементы математической логики

Операции над высказываниями

Основные законы ИВ (1)

Основные законы ИВ (2)

Примеры высказываний

Примеры на упрощение формул в ИВ

Формула в ИВ

Элементы теории множеств

Задание отношения при помощи уравнения

Задачи на множества

Множества, заданные на промежутке

Мощность множества

Мощность объединения множеств

Мощность пересечения множеств

Операции над множествами

Основные законы алгебры множеств

Подмножество множества

Свойства отношений

Способы задания множеств