Поиск :
Личный кабинет :
Электронный каталог: Вагин В. Н. - Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Вагин В. Н. - Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Книга
Автор: Вагин В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Издательство: Изд-во МЭИ, 1989 г.
ISBN отсутствует
Автор: Вагин В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Издательство: Изд-во МЭИ, 1989 г.
ISBN отсутствует
Книга
УДК 510 В124
Вагин, В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике / В. Н. Вагин, Моск. энерг. ин-т (МЭИ) . – М. : Изд-во МЭИ, 1989 . – 81 с. - ISBN 5-02-014844-Х .
510 В124
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Книгообеспеченность = Профессиональный цикл Б : Вариативная часть : Интеллектуальные подсистемы САПР - осн
Ук-7799 Уч.аб.
Кх - 5 экз.
Уч.аб. - 30 экз.
УДК 510 В124
Вагин, В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике / В. Н. Вагин, Моск. энерг. ин-т (МЭИ) . – М. : Изд-во МЭИ, 1989 . – 81 с. - ISBN 5-02-014844-Х .
510 В124
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Книгообеспеченность = Профессиональный цикл Б : Вариативная часть : Интеллектуальные подсистемы САПР - осн
Ук-7799 Уч.аб.
Кх - 5 экз.
Уч.аб. - 30 экз.