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