Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

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

1-20 21-40 41-41

A962559-ОХФ, A962560-ОХФ-ЧЗ-4
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2004. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 5-9221-0278-8 : 95.37 р.
На обл. авт. не указаны

УДК

510.6(075.8)

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

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

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

A973606-ОХФ-ЧЗ-4
Успенский, Владимир Андреевич.
Вводный курс математической логики [Текст] : учеб. пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2007. - 125, [3] с. - Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - ISBN 978-5-9221-0278-0 : 106.20 р.
На обл. авт. не указан

УДК

510.6(075.8)

A853614-ОХФ
Вероятностные методы и кибернетика [Текст] : [Сб. ст.]. - Казань : Изд-во Казан. ун-та, ISSN 0132-2869.
Вып. 25. - 1993. - 144 с. : ил. - Библиогр. - 1040.00 р.

УДК

519.21(082)

Рубрики: математика--теория вероятностей и математическая статистика

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

A993154-ОХФ
Мальцев, Иван Анатольевич.
Дискретная математика [Текст] : учебное пособие / И. А. Мальцев. - 2-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2011. - 287, [15] с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 278-279 (33 назв.). - Предм. указ.: с. 280-287. - ISBN 978-5-8114-1010-1 (в пер.) : 720.00 р.

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

Учебные отделы, A985492-ОХФ-ЧЗ-3, A985493-ОХФ-ЧЗ-4,
Тишин, Владимир Викторович.
Дискретная математика в примерах и задачах [Текст] : учеб. пособие / В. В. Тишин. - Санкт-Петербург : БХВ-Петербург, 2008. - 335, [13] с. - Библиогр.: с. 337 (12 назв.). - ISBN 978-5-9775-0232-0 (в пер.) : 126.70 р.
Допущено учеб.-метод. советом по приклад. математике и информатике УМО по клас. унив. образованию в качестве учеб. пособия для студентов вузов, обучающихся по специальности и направлению "Прикладная математика и информатика" и направлению "Информационные технологии"

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

A857701-ОХФ
   Москинова, Галина Ивановна
    Дискретная математика в примерах и упражнениях [Текст] : учеб. пособие : в 3 ч. / Г. И. Москинова. - Кемерово : Изд-во Кемер. ун-та.
   Ч. 2 : Общая алгебра. Теория алгоритмов. Теория графов. - Кемерово : Изд-во Кемер. ун-та, 1993. - 83 с. : ил. - ISBN 5-230-20807-4 : 3000.00 р.

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

Кл.слова (ненормированные):
алгебра -- алгоритмов теория -- графов теория
Экземпляры всего: 1
ОХФ (1)
Найти похожие

Учебные отделы, A979733-ОХФ-ЧЗ-3, A979734-ОХФ-ЧЗ-4, A979735-ОХФ-ЧЗ-4,
Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] / О. П. Кузнецов. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2007. - 394, [6] с. : рис., табл. - (Учебник для вузов. Специальная литература). - Библиогр.: с. 388-389. - Предм. указ.: с. 390-393. - ISBN 978-5-8114-0570-1 (в пер.) : 360.00 р.

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

Учебные отделы, A961049-ОХФ, A961050-ОХФ, A961051-ОХФ,
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2005. - 302, [2] с. : ил. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-1364-0 (в пер.) : 194.10 р., 220.00 р., 194.00 р.

УДК

510.6(076.1)

510.5(076.1)

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

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

Учебные отделы, A968984-ОХФ, A968985-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 302, [2] с. : табл. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-2914-8 (в пер.) : 259.16 р., 247.57 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"

УДК

[510.5+510.6](076.1)

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

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

10.

Учебные отделы, A976329-ОХФ-ЧЗ-4,
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 302, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301 (22 назв.). - ISBN 5-7695-3728-0 (в пер.) : 229.90 р.
Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"

УДК

510.5(076.1)

510.6(076.1)

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

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

11.

Учебные отделы, A983699-ОХФ, A984806-ОХФ, A984807-ОХФ-ЧЗ-4,

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Текст] : учеб. пособие / М. М. Глухов [и др.]. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 110, [2] с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110 (19 назв.). - ISBN 978-5-8114-0853-5 (в пер.) : 150.00 р., 175.12 р.
Рекомендовано Учеб.-метод. об-нием по образованию в области информ. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по специальности в обл. 090100 - "Информационная безопасность"

УДК

510.5(076.1)

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

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

Доп. точки доступа:
Глухов, Михаил Михайлович
Козлитин, Олег Алексеевич
Шапошников, Виталий Алексеевич
Шишков, Алексей Борисович
Экземпляры всего: 21
ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (18)
Найти похожие

12.

Учебные отделы, A979498-ОХФ-ЧЗ-3,
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : [учеб. пособие] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : ФИЗМАТЛИТ, 2006. - 255, [1] с. - Библиогр.: с. 248-249 (56 назв.). - ISBN 5-9221-0026-2 : 221.76 р.

УДК

510(076.1)

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

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

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

13.

A855971-ОХФ, A855972-ОХФ, A858352-ОХФ
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сб. задач / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр. - ISBN 5-02-014844-X : 4000.00 р.

УДК

[510.22+510.6+510.51](076.1)

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

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

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

14.

A962406-ОХФ, A962407-ОХФ-ЧЗ-4, A962408-ОХФ-ЧЗ-4
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - Москва : ФИЗМАТЛИТ, 2004. - 255, [1] с. - Библиогр.: с. 248-249. - Предм. указ.: с. 250-255. - ISBN 5-9221-0026-2 : 125.29 р.

УДК

510(076.1)

15.

Учебные отделы,
   Мангушева, Ирина Павловна
    Лекции по дискретной математике [Текст] : учебное пособие / И. П. Мангушева, П. М. Хрусталев ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 2-е изд., испр. и доп. - Саратов : "Научная книга".
   Ч. 2 : Графы. Кодирование. Ограниченно детерминированные функции и конечные автоматы. Элементы теории алгоритмов. - Саратов : Научная книга, 2007. - 95, [1] с. - ). - ISBN 978-5-9758-0505-8 : 150.00 р.

УДК

519.1(075.8)

Рубрики: математика--комбинаторный анализ--теория графов

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

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

16.

Учебные отделы, A915924-ОХФ-ЧЗ-4, A915925-ОХФ, A915926-ОХФ,
Шапорев, Сергей Дмитриевич.
Математическая логика [Текст] : курс лекций и практических занятий / С. Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2007. - 410 с. : граф., табл. - (Учебное пособие). - Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - ISBN 978-5-94157-702-6 (в пер.) : 149.20 р.
Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях"

УДК

510.6(075.8)

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

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

17.

A965012-ОХФ
Ершов, Юрий Леонидович.
Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 3-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2004. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 (в пер.) : 225.00 р.

УДК

510.6(075.8)

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

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

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

18.

A966098-ОХФ, A966099-ОХФ-ЧЗ-4, A966100-ОХФ-ЧЗ-4
Ершов, Юрий Леонидович.
Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.

УДК

510.6(075.8)

19.

A971351-ОХФ
Игошин, Владимир Иванович.
Математическая логика в системе подготовки учителей математики [Текст] / В. И. Игошин ; М-во образования Рос. Федерации, Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Слово, 2002. - 239, [1] с. - Библиогр.: с. 210-236. - ISBN 5-85571-037-8 : 100.00 р.

УДК

510.6(072.8)

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

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

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

20.

Учебные отделы,
Судоплатов, Сергей Владимирович.
Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 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)
Найти похожие

1-20 21-40 41-41

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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