A873165-ОХФ, A873166-ОХФ, A873167-ОХФ, A873168-ОХФ, A876863-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Экземпляры всего: 5 ОХФ (5) |