База данных: Книги
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
22.1я73
К84
Крупский, В. Н.
Математическая логика и теория алгоритмов [Текст] : учебное пособие / В. Н. Крупский. - М : Академия, 2013. - 416 с. - ). - ISBN 978-5-7695-9559-2 : 4570т. 31т. тг.
ББК 22.1я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- бинарные отношения -- числовые множества -- исчисление -- логика предикатов -- исчисление предикатов -- алгоритмическая теория -- разрешимые множества -- тезис Тьюринга
Экземпляры всего: 5
5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
Свободны: 5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
К84
Крупский, В. Н.
Математическая логика и теория алгоритмов [Текст] : учебное пособие / В. Н. Крупский. - М : Академия, 2013. - 416 с. - ). - ISBN 978-5-7695-9559-2 : 4570т. 31т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества -- бинарные отношения -- числовые множества -- исчисление -- логика предикатов -- исчисление предикатов -- алгоритмическая теория -- разрешимые множества -- тезис Тьюринга
Экземпляры всего: 5
5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
Свободны: 5.2-№6 оқу залы (3), 5.3-№7 оқу залы (2)
Страница 1, Результатов: 1