УДК	512(075.8)+517(075.8)

~РУБ 512

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ МНОЖЕСТВ -- ПРЕОБРАЗОВАНИЯ -- РАВЕНСТВА -- ТОЖДЕСТВА -- УРАВНЕНИЯ -- МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ -- ПРЕДИКАТЫ -- ВЫСКАЗЫВАНИЯ

Доп.точки доступа:
Павлов, Евгений Александрович
Рудницкий, Олег Иванович
Фурменко, Александр Иванович
Шамилев, Тимур Мидатович

УДК	519.1(076.5)

~РУБ 519.1

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ПРАКТИЧЕСКИЕ ПОСОБИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВО -- БУЛЕВЫ ФУНКЦИИ -- КОНСТАНТА -- ЛИНЕЙНЫЕ ФУНКЦИИ -- ПОСТА ТЕОРЕМА -- ЛОГИКА ПРЕДИКАТОВ -- ЛОГИЧЕСКИЕ ЗАДАЧИ -- РЕШЕНИЕ ЗАДАЧ -- ВЫЧИСЛИМЫЕ ФУНКЦИИ -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- ТЕОРИЯ КОДИРОВАНИЯ -- МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ -- МНОГОЧЛЕНЫ -- КОМБИНАТОРИКА -- ТЕОРИЯ ГРАФОВ -- СЕТЕВОЕ ПЛАНИРОВАНИЕ -- РЕШЕНИЕ УРАВНЕНИЙ