База данных: Электронная библиотека
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Г97
Гуц, А. К.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. К. Гуц. - Омск : Диалог -Сибирь, 2003. - 108 с. - Б. ц.
ББК 22,16
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
классическая логика -- формальные теории -- неклассические логики -- алгоритмы
Г97
Гуц, А. К.
Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / А. К. Гуц. - Омск : Диалог -Сибирь, 2003. - 108 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
классическая логика -- формальные теории -- неклассические логики -- алгоритмы
Страница 1, Результатов: 1