Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Электронный каталог - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

в найденном

В текущей базе данных найдено документов :41

В других БД по вашему запросу найдено:

ЭБС "ЛАНЬ" (2)

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (35)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=алгоритмов теория<.>)

Общее количество найденных документов : 41
Показаны документы с 1 по 20

1-20 21-40 41-41

Учебные отделы, A985018-ОХФ, A985019-ОХФ, A985020-ОХФ-ЧЗ-4,
Крупский, Владимир Николаевич.
Теория алгоритмов [Текст] : учеб. пособие для студентов вузов / В. Н. Крупский, В. Е. Плиско. - Москва : Изд. центр "Академия", 2009. - 205, [3] с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 203 (19 назв.). - ISBN 978-5-7695-5293-9 (в пер.) : 365.20 р., 320 р.
Допущено Науч.-метод. советом по математике М-ва образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы и технология"

УДК

510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность

Доп. точки доступа:
Плиско, Валерий Егорович
Экземпляры всего: 15
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (7), ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (4)
Найти похожие

A979542-ОХФ-ЧЗ-3, A979543-ОХФ-ЧЗ-4
Матрос, Дмитрий Шаевич.
Теория алгоритмов [Текст] : учебник / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаб. знаний, 2008. - 202, [6] с. : рис., табл. - (Педагогическое образование). - Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - ISBN 978-5-94774-226-8 (в пер.) : 173.00 р.
Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика

УДК

510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- NP-полные задачи

Доп. точки доступа:
Поднебесова, Галина Борисовна
Экземпляры всего: 2
ОХФ-ЧЗ-3 (1), ОХФ-ЧЗ-4 (1)
Найти похожие

A989305-ОХФ
Игошин, Владимир Иванович.
Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика

УДК

510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы
Экземпляры всего: 1
ОХФ (1)
Найти похожие

A989710-ОХФ-ЧЗ-4
Игошин, Владимир Иванович.
Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Издательский центр "Академия", 2013. - 315, [5] с. - (Среднее профессиональное образование. Математика и естественно-научные дисциплины). - Библиогр.: с. 309-314 (107 назв.). - ISBN 978-5-7695-9362-8 (в пер.) : 310.00 р.
Рекомендовано Федер. гос. автоном. учреждением "Федеральный институт развития образования" (ФГАУ "ФИРО") в качестве учеб. пособия для использования в учеб. процессе образоват. учреждений, реализующих прогр. сред. проф. образования по специальности 230115 "Программирование в компьютерных системах", учеб. дисциплина "Теория алгоритмов"

УДК

510.5(075.32)

Учебные отделы, A996154-ОХФ, A996155-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Сборник задач по математической логике и теории алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : КУРС : ИНФРА-М, 2017. - 392 с. : ил., табл. - (Бакалавриат). - Библиогр.: с. 388-390 (50 назв.). - ISBN 978-5-906818-08-9 (КУРС) (в пер.). - ISBN 978-5-16-011429-3 (ИНФРА-М) : 1078.00 р.
Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)

УДК

510.5(076.1)

510.6(076.1)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- логика высказываний -- исчисления высказываний
Экземпляры всего: 80
ОХФ (1), ОХФ-ЧЗ-4 (1), ОУОЕН (78)
Найти похожие

A973162-ОХФ
Григорьев, Владимир Николаевич.
Оценка сложности вычислительных алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. / В. Н. Григорьев, С. Л. Кожанов, К. И. Ляшков ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 1990. - 13, [3] с. - Библиогр.: с. 15 (4 назв.). - ISBN 5-292-00831-1 : 5.00 р.

УДК

510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- вычислительная сложность -- Тьюринга машина

Доп. точки доступа:
Кожанов, Сергей Львович
Ляшков, Константин Иванович
Экземпляры всего: 1
ОХФ (1)
Найти похожие

Учебные отделы, A980462-ОХФ, A980463-ОХФ,
Игошин, Владимир Иванович.
Основы теории алгоритмов [Текст] : лекции для студентов, изучающих информатику и информ. технологии / В. И. Игошин ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательский центр "Наука", 2008. - 96, [1] с. - Библиогр.: с. 92-94 (72 назв.). - ISBN 978-5-91272-541-8 : 85.00 р.

УДК

510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
алгоритмов теория -- Тьюринга машина -- вычислимые функции -- рекурсивные функции -- перечислимость
Аннотация: Курс "Теория алгоритмов" является непосредственным продолжением курса математической логики, учебником по которому служит книга В. И. Игошин. Математическая логика и теория алгоритмов. - М.: Издательский центр "Академия", 2004, 2008. - 448 с. В предлагаемом учебном пособии более детально и подробно, нежели в указанном учебнике, изложены вопросы, относящиеся к теории алгоритмов. С большим количеством примеров рассмотрены три формализации алгоритмов - машины Тьюринга, рекурсивные функции, алгоритмы Маркова, и доказана их эквивалентность. Затем рассматривается начало общей теории вычислимости - нумерация алгоритмов и вычислимых функций, метод диагонализации, алгоритмическая теория множеств (разрешимость и перечислимость множеств), алгоритмически неразрешимые массовые проблемы. В качестве сборника задач по курсу "Теория алгоритмов" предлагается использовать книгу В. И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. - М.: Издательский центр "Академия", 2005, 2006, 2007. - 304 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии.
Держатели документа:
ЗНБ СГУ

Экземпляры всего: 3
ОХФ (2), ОУОЕН (1)
Найти похожие

A966739-ОХФ
Лукомский, Сергей Фёдорович.
Некоторые вопросы школьного курса информатики и методики её преподавания (физико-математический профиль) [Текст] : учеб. пособие / С. Ф. Лукомский, Т. Н. Боровская ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 2006. - 199, [1] с. - Библиогр.: с. 196 (10 назв.). - ISBN 5-292-03536-X : 65.00 р.
Утв. Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак., обучающихся по специальности 032100.00 «Математика с дополнительной специальностью "Информатика"», и студентов фак. педагогики, психологии и нач. образования Пед. ин-та Сарат. гос. ун-та, обучающихся по специальности 030100.00 «Информатика»

УДК

004(072.3)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- программирование -- алгоритмов теория -- Паскаль -- C++ -- методика преподавания -- компьютерная графика
Аннотация: Рассмотрены вопросы школьного курса информатики, которые вызывают наибольшие трудности: рекурсивные алгоритмы, комбинаторные задачи, двумерная и трехмерная графика, фракталы.Для студентов механико-математического факультета Саратовского государственного университета, а также студентов факультета педагогики, психологии и начального образования Педагогического института Саратовского государственного университета.
Держатели документа:
ЗНБ СГУ

Доп. точки доступа:
Боровская, Тамара Николаевна
Экземпляры всего: 1
ОХФ (1)
Найти похожие

Учебные отделы, A978220-ОХФ, A978221-ОХФ-ЧЗ-4
Андреева, Елена Владимировна.
Математические основы информатики [Текст] : учеб. пособие / Е. В. Андреева, Л. Л. Босова, И. Н. Фалина. - 2-е изд., испр. - Москва : БИНОМ. Лаб. знаний, 2007. - 328 с. : рис. - (Элективный курс). - Предм. указ.: с. 320-328. - ISBN 978-5-94774-658-7 (в пер.) : 115.00 р.
Рекомендовано науч.-метод. советом по информатике при М-ве образования и науки РФ в качестве учеб. пособия для электив. курсов по информатике для учащихся 10-11 кл. общеобразоват. учреждений

УДК

004(072.3)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- системы счисления -- алгебра логики -- алгоритмов теория -- вычислительная геометрия -- компьютерная графика -- компьютерная алгебра

Доп. точки доступа:
Босова, Людмила Леонидовна
Фалина, Ирина Николаевна
Экземпляры всего: 6
ОУОЕН (4), ОХФ (1), ОХФ-ЧЗ-4 (1)
Найти похожие

10.

A973001-ОХФ
Андреева, Елена Владимировна.
Математические основы информатики [Текст] : метод. пособие / Е. В. Андреева, Л. Л. Босова, И. Н. Фалина. - Москва : БИНОМ. Лаб. знаний, 2007. - 312 с. : табл. - (Элективный курс. Математика). - ISBN 5-94774-138-5 : 90.00 р.

УДК

004(072.3)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- системы счисления -- алгебра логики -- алгоритмов теория -- вычислительная геометрия -- компьютерная алгебра

Доп. точки доступа:
Босова, Людмила Леонидовна
Фалина, Ирина Николаевна
Экземпляры всего: 1
ОХФ (1)
Найти похожие

11.

Учебные отделы, A591119-ОХФ, A591120-ОХФ, A591121-ОХФ, A591122-ОХФ, A591123-ОХФ, A593255-ОХФ, A595693-ОХФ, A873334-ОХФ,
Колмогоров, Андрей Николаевич (1903-1987).
Математическая логика: Дополнительные главы [Текст] : учеб. пособие для студентов вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Моск. ун-та, 1984. - 117, [3] с. - Библиогр. - ISBN [Б. и.] : 20.00 р.

УДК

510(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- множеств теория -- алгоритмов теория

Доп. точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 27
ОХФ (8), ОУОЕН (19)
Найти похожие

12.

Учебные отделы, A998212-ОХФ, A998213-ОХФ,
Глухов, Михаил Михайлович.
Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : учебное пособие / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2012. - 405, [9] с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401 (76 назв.). - ISBN 978-5-8114-1344-7 (в пер.) : 767.00 р.
Рекомендовано УМО вузов России по образованию в обл. информац. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем"

УДК

510.5(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- дискретные функции

Доп. точки доступа:
Шишков, Алексей Борисович
Экземпляры всего: 4
ОХФ (2), ОУОЕН (2)
Найти похожие

13.

A983160-ОХФ-ЧЗ-4
Гринченков, Дмитрий Валерьевич.
Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"

УДК

510.5(075.8)

510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования

Доп. точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 1
ОХФ-ЧЗ-4 (1)
Найти похожие

14.

Учебные отделы, A976416-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2008. - 446, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 (в пер.) : 320.10 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"

УДК

510.5(075.8)

510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний -- аксиоматические теории
Экземпляры всего: 48
ОХФ-ЧЗ-4 (1), ОУОЕН (47)
Найти похожие

15.

A870312-ОХФ, A872397-ОХФ
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.

УДК

[510.5+510.63](075.8)

16.

Учебные отделы,
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - Новосибирск : Изд-во НГТУ, 2008. - 223, [1] с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 978-5-7782-0458-4 (НГТУ) : 154.00 р.
Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование

УДК

510.5(075.8)

510.6(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов

Доп. точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 1
ОУОЕН (1)
Найти похожие

17.

A873165-ОХФ, A873166-ОХФ, A873167-ОХФ, A873168-ОХФ, A876863-ОХФ
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / А. Н. Гамова. - 2-е изд., доп. - Саратов : Издательство Саратовского университета, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.

УДК

[510.5+510.63](075.8)

18.

A969503-ОХФ, A969619-ОХФ, A969620-ОХФ
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 3-е изд., доп. - Саратов : Издательство Саратовского университета, 2006. - 83, [2] с. - Библиогр.: с. 84 (6 назв.). - ISBN 5-292-03595-5 : 35.00 р., 30.00 р.
Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий

УДК

510.5(075.8)

510.63(075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета
Держатели документа:
ЗНБ СГУ

Экземпляры всего: 3
ОХФ (3)
Найти похожие

19.

A886404-ОХФ, A888530-ОХФ, A888531-ОХФ
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова. - Москва ; Новосибирск : ИНФРА-М : Изд-во Новосиб. гос. техн. ун-та, 2004. - 223, [1] с. - (Высшее образование). - Библиогр. с. 212-214. - ISBN 5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 5-7782-0458-2 (НГТУ) : 85.50 р., 52.80 р.

УДК

[510.5+510.6](075.6)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- моделей теория

Доп. точки доступа:
Овчинникова, Елена Викторовна
Экземпляры всего: 3
ОХФ (3)
Найти похожие

20.

Учебные отделы, A888582-ОХФ, A888583-ОХФ, A888584-ОХФ,
Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2004. - 446, [2] с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 (152 назв.). - ISBN 5-7695-1363-2 (в пер.) : 196.20 р., 196.00 р.
Есть автограф: Экз. 849133 : Игошин, Владимир Иванович

УДК

[510.5+510.6](075.8)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний
Экземпляры всего: 197
ОУОЕН (194), ОХФ (3)
Найти похожие

1-20 21-40 41-41

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)