Электронный каталог

Книга
С14 А-391

Акимов, Олег Евгеньевич.
Дискретная математика : Логика, группы, графы / Олег Евгеньевич Акимов. – 2-е изд., доп. – М. : Лаборатория базовых знаний, 2001. – 376 с. : ил. – (Технический университет). – ISBN 5-932080-25-6.

С14 + С131.2
681.5.01:512


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = С 131.2 - Теория групп и их представлений
Ключевых слов = математическая логика
Ключевых слов = алгебраические группы
Ключевых слов = графы
Ключевых слов = конструктивная математика
Ключевых слов = конструктивная логика
Ключевых слов = логика предикалов
Ключевых слов = логика Буля