Поиск :
Личный кабинет :
Электронный каталог: Герасимов, А. С. - Курс математической логики и теории вычислимости
Герасимов, А. С. - Курс математической логики и теории вычислимости
Доступно
2 из 4
2 из 4
Книга
Автор: Герасимов, А. С.
Курс математической логики и теории вычислимости : учебное пособие
Серия: Учебники для вузов. Специальная литература
Издательство: Лань-Пресс, 2014 г.
ISBN 978-5-8114-1666-0
Автор: Герасимов, А. С.
Курс математической логики и теории вычислимости : учебное пособие
Серия: Учебники для вузов. Специальная литература
Издательство: Лань-Пресс, 2014 г.
ISBN 978-5-8114-1666-0
Заказать 
На полку
Книга
УДК 510 Г371
Герасимов, А. С.
Курс математической логики и теории вычислимости : учебное пособие / А. С. Герасимов. – 4-е изд., перераб. и доп. – СПб. : Лань-Пресс, 2014. – 416 с. – (Учебники для вузов. Специальная литература). – ISBN 978-5-8114-1666-0.
510 Г371
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
1085443 Кх
1085444 Кх
1087466 Науч. чит. зал
1087467 Учз
УДК 510 Г371
Герасимов, А. С.
Курс математической логики и теории вычислимости : учебное пособие / А. С. Герасимов. – 4-е изд., перераб. и доп. – СПб. : Лань-Пресс, 2014. – 416 с. – (Учебники для вузов. Специальная литература). – ISBN 978-5-8114-1666-0.
510 Г371
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
1085443 Кх
1085444 Кх
1087466 Науч. чит. зал
1087467 Учз