A870312-ОХФ, A872397-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний Экземпляры всего: 2 ОХФ (2) |
A873165-ОХФ, A873166-ОХФ, A873167-ОХФ, A873168-ОХФ, A876863-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Экземпляры всего: 5 ОХФ (5) |
A874787-ОХФ, A874918-ОХФ, A874919-ОХФ, A874920-ОХФ Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Экземпляры всего: 4 ОХФ (4) |
A885327-ОХФ, A885328-ОХФ, A885329-ОХФ Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (3) |
A961159-ОХФ Вопенка, Петр. Альтернативная теория множеств. Новый взгляд на бесконечность [Текст] = Uvod do matematiky v alternativnej teorii mnozin : науч. изд. / П. Вопенка ; пер. со словац. А. Н. Гамовой, Н. В. Белякина ; ред. пер. Н. В. Белякин. - Новосибирск : Изд-во Ин-та математики, 2004. - 611, [3] с. - Библиогр.: с. 601-606. - Предм. указ.: с. 607-611. - ISBN 5-86134-124-9 (в пер.) : 350.00 р.
Рубрики: математика--теория множеств Кл.слова (ненормированные): бесконечность -- множеств теория -- множеств теория альтернативная Доп. точки доступа: Гамова, Алла Николаевна Белякин, Н. В. Экземпляры всего: 1 ОХФ (1) |
A969503-ОХФ, A969619-ОХФ, A969620-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 3-е изд., доп. - Саратов : Издательство Саратовского университета, 2006. - 83, [2] с. - Библиогр.: с. 84 (6 назв.). - ISBN 5-292-03595-5 : 35.00 р., 30.00 р. Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (3) |
A976145-ОХФ Волосивец, Сергей Сергеевич. Методическое пособие по математике для поступающих в СГУ [Текст] / С. С. Волосивец, А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 1994. - 21, [2] с. - ISBN 5-292-01855-4 : 10.00 р. На обл. авт. не указаны
Рубрики: математика--математика Кл.слова (ненормированные): математика -- вступительные экзамены Доп. точки доступа: Гамова, Алла Николаевна Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A994305-ОХФ, A994306-ОХФ, A994307-ОХФ-ЧЗ-4, Гамова, Алла Николаевна. Сложность вычислений [Текст] : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 79, [4] с. : ил., табл. - Библиогр.: с. 81 (6 назв.). - ISBN 978-5-292-04343-0 : 235.95 р., 235.94 р.
Рубрики: математика--математическая логика--вычислительная математика Кл.слова (ненормированные): математическая логика -- Тьюринга машина -- вычислительная сложность -- приближенные вычисления Экземпляры всего: 33 ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (30) |