Поиск :
Личный кабинет :
Электронный каталог: Судоплатов, С. В. - Математическая логика и теория алгоритмов
Судоплатов, С. В. - Математическая логика и теория алгоритмов
Книга
Автор: Судоплатов, С. В.
Математическая логика и теория алгоритмов : [учебник]
Серия: Учебники НГТУ
Издательство: Изд-во НГТУ, 2012 г.
ISBN 978-5-7782-1838-3
Автор: Судоплатов, С. В.
Математическая логика и теория алгоритмов : [учебник]
Серия: Учебники НГТУ
Издательство: Изд-во НГТУ, 2012 г.
ISBN 978-5-7782-1838-3
Книга
УДК 510 С892
Судоплатов, С. В.
Математическая логика и теория алгоритмов : [учебник] / С. В. Судоплатов, Е. В. Овчинникова . – 3-е изд . – Новосибирск : Изд-во НГТУ, 2012 . – 256 с. – (Учебники НГТУ) . - ISBN 978-5-7782-1838-3 .
510 С892
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
1078290 Кх
УДК 510 С892
Судоплатов, С. В.
Математическая логика и теория алгоритмов : [учебник] / С. В. Судоплатов, Е. В. Овчинникова . – 3-е изд . – Новосибирск : Изд-во НГТУ, 2012 . – 256 с. – (Учебники НГТУ) . - ISBN 978-5-7782-1838-3 .
510 С892
Тезаурус = ГАСНТИ 27.03.19
Тезаурус = ГАСНТИ 27.03.17
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = Математика : основания математики и математическая логика : вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
1078290 Кх