Новые поступления (книга в стадии обработки)     Гамова, Алла Николаевна.     Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / Алла Николаевна Гамова. - 2-е изд., доп. - Саратов : Изд-во Сарат. ун-та, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р. УДК [510.5+510.63](075.8) Рубрики: математика -- математическая логика -- Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность 0 Свободных экз. нет