Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / А. Н. Гамова. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1999. - 76 с. - ISBN 5-292-02362-0 : 10.00 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- математическая логика -- пособия для вузов -- теория алгоритмов Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 2001. - 71, [1] с. - Библиогр. - ISBN 5-292-2589-5 : 20.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для студентов и аспирантов фак. гуманитар. и социал. наук / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2003. - 68, [4] с. : ил. - Библиогр. - ISBN 5-292-02575-5 : 25.00 р.
Рубрики: логика--логика математика--математическая логика Кл.слова (ненормированные): формальная логика -- суждения -- умозаключения -- математическая логика -- логика высказываний -- логика предикатов Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Вопенка, Петр. Альтернативная теория множеств. Новый взгляд на бесконечность [Текст] = Uvod do matematiky v alternativnej teorii mnozin : науч. изд. / П. Вопенка ; пер. со словац. А. Н. Гамовой, Н. В. Белякина ; ред. пер. Н. В. Белякин. - Новосибирск : Изд-во Ин-та математики, 2004. - 611, [3] с. - Библиогр.: с. 601-606. - Предм. указ.: с. 607-611. - ISBN 5-86134-124-9 (в пер.) : 350.00 р.
Рубрики: математика--теория множеств Кл.слова (ненормированные): бесконечность -- множеств теория -- множеств теория альтернативная Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Гамова, Алла Николаевна Белякин, Н. В. |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. высш. учеб. заведений / А. Н. Гамова ; Саратовский государственный университет им. Н. Г. Чернышевского. - 3-е изд. , доп. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2006. - 84 с. : ил. - ISBN 5-292-03595-5 : 5 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгебра -- алгоритмы -- вычислимые функции -- издания Саратова -- математика -- пособия для вузов Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Волосивец, Сергей Сергеевич. Методическое пособие по математике для поступающих в СГУ [Текст] : методический материал / С. С. Волосивец, А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 1994. - 21, [2] с. - ISBN 5-292-01855-4 : 10.00 р. На обл. авт. не указаны
Рубрики: математика--математика Кл.слова (ненормированные): математика -- вступительные экзамены Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Гамова, Алла Николаевна |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Сложность вычислений [Текст] : учебное пособие для студентов и магистров факультета компьютерных наук и информационных технологий / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2015. - 79, [4] с. : ил., табл. - Библиогр.: с. 81 (6 назв.). - ISBN 978-5-292-04343-0 : 235.95 р.
Рубрики: математика--математическая логика--вычислительная математика Кл.слова (ненормированные): математическая логика -- Тьюринга машина -- вычислительная сложность -- приближенные вычисления Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Формальная логика [Текст] : учеб. пособие для вузов / А. Н. Гамова. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 2001. - 72 с. - ISBN 5-292-02589-3 : 5.00 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): издания саратова -- логика -- математическая логика -- пособия для вузов -- силлогизмы аристотеля Аннотация: Пособие состоит из двух разделов: традиционная логика и математическая логика. Теоретический материал сопровождается примерами решения задач и упражнениями. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |