A855402-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 152 : Теория вычислений и языки спецификаций. - 1995. - 219 с. : ил. - Библиогр. - ISBN 5-86134-012-9 : 2000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): семантическое программирование -- естественные языки -- Тьюринга машина -- вычислительные автоматы -- немонотонные логики -- базы данных -- Петри сети Экземпляры всего: 1 ОХФ (1) |
A866730-ОХФ Сэвидж, Джон Э.. Сложность вычислений: Пер. с англ. [Текст] = The Complexity of Computing / Дж. Э. Сэвидж ; . - Москва : Факториал, 1998. - 368 с. - Библиогр. - ISBN 5-88688-039-9 (в пер.). - ISBN 0-471-75517-6 : 30.00 р.
Рубрики: математика--вычислительная математика Кл.слова (ненормированные): вычисления -- автоматы -- Тьюринга машина -- функции -- комбинационная сложность -- память -- универсальные вычислительные машины -- ЭВМ -- сложности теория -- вычислительная сложность -- вычислительные неравенства -- компьютеры Экземпляры всего: 1 ОХФ (1) |
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) |
A875391-ОХФ Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов [Текст] / Н. К. Верещагин, А. Шень. - Москва : Моск. центр непрерыв. мат. образования. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 3 : Вычислимые функции. - Москва : Моск. Центр непрерыв. мат. образования, 1999. - 173, [3] с. - ISBN 5-900916-39-1 : 40.00 р. Авт. и загл. кн. указаны на тит. л.
Рубрики: математика--математическая логика Кл.слова (ненормированные): вычислимые функции -- Тьюринга машина -- рекурсивные функции Доп. точки доступа: Шень, А. Экземпляры всего: 1 ОХФ (1) |
A882053-ОХФ Мансуров, Владимир Николаевич. Конструктивные и развивающиеся формальные системы [Текст] / В. Н. Мансуров ; . - Саратов : Издательство Саратовского университета, 1989. - 192, [4] c. - ISBN 5-292-00519-3 : 14.00 р.
Рубрики: математика--математическая логика--математическая кибернетика Кл.слова (ненормированные): формальные системы -- конструктивные формальные системы -- ЭПИ-системы -- бинарные системы -- Тьюринга машина -- алгоритмические языки Экземпляры всего: 1 ОХФ (1) |
A882421-ОХФ, A882422-ОХФ Комбинаторика и логика [Текст] : учебное пособие. - Москва : Бюро "Квантум", 2003. - 128 c. - ISBN 5-85843-041-4 : 103.50 р. Прил. к журн."Квант", №1/2003
Рубрики: математика--математическая логика--комбинаторный анализ--теория графов Кл.слова (ненормированные): комбинаторика -- математическая логика -- Тьюринга машина -- Поста машина -- алгоритмические проблемы Экземпляры всего: 2 ОХФ (2) |
Учебная литература, A883052-ОХФ, A884391-ОХФ, A884392-ОХФ, Скобелев, Владимир Георгиевич. Дискретная математика [Текст] : учеб. пособие / В. Г. Скобелев, А. А. Сытник. - Саратов : Издательство Саратовского университета, 2003. - 242, [2] с. - ISBN 5-292-02985-8 : 35.00 р.
Рубрики: математика--комбинаторный анализ--теория графов Кл.слова (ненормированные): дискретная математика -- комбинаторика -- Булевы функции -- множества -- графов теория -- Тьюринга машина Доп. точки доступа: Сытник, Александр Александрович Экземпляры всего: 11 ОХФ (3), ОУОЕН (8) |
A969503-ОХФ, A969619-ОХФ, A969620-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 3-е изд., доп. - Саратов : Издательство Саратовского университета, 2006. - 83, [2] с. - Библиогр.: с. 84 (6 назв.). - ISBN 5-292-03595-5 : 35.00 р., 30.00 р. Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (3) |
A973162-ОХФ Григорьев, Владимир Николаевич. Оценка сложности вычислительных алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. / В. Н. Григорьев, С. Л. Кожанов, К. И. Ляшков ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 1990. - 13, [3] с. - Библиогр.: с. 15 (4 назв.). - ISBN 5-292-00831-1 : 5.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- вычислительная сложность -- Тьюринга машина Доп. точки доступа: Кожанов, Сергей Львович Ляшков, Константин Иванович Экземпляры всего: 1 ОХФ (1) |
A979542-ОХФ-ЧЗ-3, A979543-ОХФ-ЧЗ-4 Матрос, Дмитрий Шаевич. Теория алгоритмов [Текст] : учебник / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаб. знаний, 2008. - 202, [6] с. : рис., табл. - (Педагогическое образование). - Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - ISBN 978-5-94774-226-8 (в пер.) : 173.00 р. Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- NP-полные задачи Доп. точки доступа: Поднебесова, Галина Борисовна Экземпляры всего: 2 ОХФ-ЧЗ-3 (1), ОХФ-ЧЗ-4 (1) |
Учебная литература, A980462-ОХФ, A980463-ОХФ, Игошин, Владимир Иванович. Основы теории алгоритмов [Текст] : лекции для студентов, изучающих информатику и информ. технологии / В. И. Игошин ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательский центр "Наука", 2008. - 96, [1] с. - Библиогр.: с. 92-94 (72 назв.). - ISBN 978-5-91272-541-8 : 85.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- вычислимые функции -- рекурсивные функции -- перечислимость Аннотация: Курс "Теория алгоритмов" является непосредственным продолжением курса математической логики, учебником по которому служит книга В. И. Игошин. Математическая логика и теория алгоритмов. - М.: Издательский центр "Академия", 2004, 2008. - 448 с. В предлагаемом учебном пособии более детально и подробно, нежели в указанном учебнике, изложены вопросы, относящиеся к теории алгоритмов. С большим количеством примеров рассмотрены три формализации алгоритмов - машины Тьюринга, рекурсивные функции, алгоритмы Маркова, и доказана их эквивалентность. Затем рассматривается начало общей теории вычислимости - нумерация алгоритмов и вычислимых функций, метод диагонализации, алгоритмическая теория множеств (разрешимость и перечислимость множеств), алгоритмически неразрешимые массовые проблемы. В качестве сборника задач по курсу "Теория алгоритмов" предлагается использовать книгу В. И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. - М.: Издательский центр "Академия", 2005, 2006, 2007. - 304 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии. Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (2), ОУОЕН (1) |
Учебная литература, A985018-ОХФ, A985019-ОХФ, A985020-ОХФ-ЧЗ-4, Крупский, Владимир Николаевич. Теория алгоритмов [Текст] : учеб. пособие для студентов вузов / В. Н. Крупский, В. Е. Плиско. - Москва : Изд. центр "Академия", 2009. - 205, [3] с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 203 (19 назв.). - ISBN 978-5-7695-5293-9 (в пер.) : 365.20 р., 320 р. Допущено Науч.-метод. советом по математике М-ва образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы и технология"
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность Доп. точки доступа: Плиско, Валерий Егорович Экземпляры всего: 15 ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (7), ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (4) |
A989305-ОХФ Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы Экземпляры всего: 1 ОХФ (1) |
A989710-ОХФ-ЧЗ-4 Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Издательский центр "Академия", 2013. - 315, [5] с. - (Среднее профессиональное образование. Математика и естественно-научные дисциплины). - Библиогр.: с. 309-314 (107 назв.). - ISBN 978-5-7695-9362-8 (в пер.) : 310.00 р. Рекомендовано Федер. гос. автоном. учреждением "Федеральный институт развития образования" (ФГАУ "ФИРО") в качестве учеб. пособия для использования в учеб. процессе образоват. учреждений, реализующих прогр. сред. проф. образования по специальности 230115 "Программирование в компьютерных системах", учеб. дисциплина "Теория алгоритмов"
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы Экземпляры всего: 1 ОХФ-ЧЗ-4 (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) |