Web ИРБИС


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

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

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

1-20 21-38

Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / А. Н. Гамова. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1999. - 76 с. - ISBN 5-292-02362-0 : 10.00 р.

ББК 22.1я73

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

Кл.слова (ненормированные):
алгоритмы -- математическая логика -- пособия для вузов -- теория алгоритмов
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

Игошин, Владимир Иванович.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для высш. учеб. заведений / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 108 р.

ББК 22.12я73

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

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

Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 2-е изд., стереотип. - Москва : Академия, 2006. - 304 с. - (Высшее профессиональное образование). - ISBN 5-7695-2914-8 : 50 р.

ББК 22.12я73

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

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

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : научное издание / О. П. Кузнецов. - 5-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2007. - 400 с. : ил. ; 20 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 388-389 (50 назв.). - ISBN 978-5-8114-0570-1 : 280.06 р.

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

ББК 22.176

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
МАТЕМАТИКА -- ДИСКРЕТНАЯ МАТЕМАТИКА -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ ГРАФОВ -- ТЕОРИЯ АЛГОРИТМОВ -- ТЕОРИЯ АВТОМАТОВ -- ЛОГИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Крылов, С. М.
Формальная технология в философии, технике, биоэволюции и социологии [Текст] / С. М. Крылов ; Самарский гос. техн. ун-т. - Самара : Самар. гос. техн. ун-т, 1997. - 180 с. : ил. ; 21см. - ISBN 5-7964-0008-8 : 12000р. р.
Библиогр.список:с.177-178(33 назв.)

ГРНТИ	02	81	34
УДК	1+62+57+316

Рубрики: Философия--Современная философия

Кл.слова (ненормированные):
формальная технология -- теория алгоритмов -- универсальные технологические системы -- аксиоматика формальной технологии -- философия -- социология -- биоэволюция
Аннотация: Рассматриваются фундаментальные понятия и наиболее важные результаты нового научного направления, объединяющего в себе основы теории алгоритмов, математики и технологии. Излагаются проблемы аксиоматики формальной технологии, вводятся основные типы операций и исследуются свойства различных технологий, специализированных и универсальных технологических систем, в том числе информационных систем различного назначения. Для широкого круга специалистов в различных областях науки и техники.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

Бредихин, Д. А.
Элементы теории множеств, алгебры и дискретной математики [Текст] : учеб. пособие для всех спец. втузов / Д. А. Бредихин ; ред. В. А. Крысько ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 1998. - 80 с. ; 20 см. - ISBN 5-7433-0471-8 : 5.50 р.

ГРНТИ	27.17.01.33	27.15.01.33	27.41.41.01.33
УДК	510.2+512+519.1(075.8)

Рубрики: Математика--Алгебра

Математика--Дискретная математика

Кл.слова (ненормированные):
теория множеств -- алгебра -- логика -- дискретная математика -- теория графов -- теория алгоритмов -- теория конечных автоматов
Аннотация: Изложены основы теории множеств, современной алгебры, логики и дискретной математики, включая теории графов, алгоритмов и конечных автоматов. Указанные разделы математики включены в новый госстандарт для технических вузов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Крысько, В. А.
Найти похожие

Вероятностные методы и кибернетика [Текст] . - Казань : Изд-во Казан. ун-та, 1990 - .
Вып. 24. - 1990. - 112 с. ; 20см. - 1.20 р.
Библогр.в конце статей

ГРНТИ	27.43.15	28.01
УДК	519.21+007

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

Кибернетика

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

Кузнецов, О. П.
Дискретная математика для инженера [Текст] / О. П. Кузнецов. - М. : Энергия, 1980. - 344 с. : ил. ; 21см. - 1.40 р.

ГРНТИ	27.41.41
УДК	519.1

ББК 32.815

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
функции -- булевы алгебры -- теория алгоритмов -- предикаты -- математика -- алгебра -- комбинаторный анализ -- комбинаторика -- теория автоматов -- теория графов -- дискретная математика -- теория множеств -- алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Кузнецов, О. П.
Дискретная математика для инженера [Текст] / О. П. Кузнецов. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : ил. ; 21см. - ISBN 5-283-01563-7 : 1.80 р.

ГРНТИ	27.41.41
УДК	519.1

ББК 32.815

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
функции -- булевы алгебры -- теория алгоритмов -- предикаты -- математика -- алгебра -- комбинаторный анализ -- линейное программирование -- комбинаторика -- теория автоматов -- теория графов -- дискретная математика -- теория множеств -- алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики. По сравнению с изданием 1980 г. переработана глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

10.

Колмогоров, Андрей Николаевич.
Теория информации и теория алгоритмов [Текст] : [сборник статей] / А. Н. Колмогоров ; сост. А. Н. Ширяев ; ред. Ю. В. Прохоров. - Москва : Наука, 1987. - 304 с. - 1.60 р.

ББК 22.12

Рубрики: Математика--Общие вопросы математики

Кл.слова (ненормированные):
статьи -- теория алгоритмов -- теория информации
Аннотация: Включены работы по теории информации и теории алгоритмов и их приложениям к различным областям знания.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Ширяев, А. Н.
Прохоров, Ю. В.
Найти похожие

11.

Глаголев, В. В.
Методы дискретной математики [Текст] : учеб. пособие / В. В. Глаголев ; Тульский гос. ун-т. - Тула : ТГУ, 2000. - 232 с. : ил. ; 20см. - ISBN 5767902798 : 20.00 р.

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
дискретная математика -- комбинаторика -- теория графов -- булевы функции -- конечные автоматы -- формальные языки -- теория алгоритмов
Аннотация: Излагаются основные разделы дискретной математики, сформировавшиеся к настоящему времени: комбинаторика, теория графов, булевы функции и их реализации, конечные автоматы, формальные языки, элементы теории алгоритмов. Для студентов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

12.

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : учебник / О. П. Кузнецов. - 3-е изд., перераб. и доп. - СПб. : Лань, 2004. - 400 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 388-389 (50 назв.). - ISBN 5-8114-0570-7 : 132.66 р.

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

ББК 22.176

Рубрики: Математика--Дискретная математика

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

13.

Аляев, Ю. А.
Дискретная математика и математическая логика [Текст] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. ; 21 см. - Библиогр.: с. 355-357 (41 назв.). - ISBN 5-279-03045-7 : 260.00 р.
Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.

ГРНТИ	27.41.41.01.33	27.03.01.33
УДК	519.1+510.6(075.8)

ББК 22.176 + 22.12

Рубрики: Математика--Дискретная математика

Математика--Математическая логика

Кл.слова (ненормированные):
математика -- дискретная математика -- математическая логика -- теория множеств -- элементы комбинаторики -- теория графов -- теория кодирования -- логические исчисления -- теория алгоритмов -- теория нечетких множеств -- алгебра -- булевы алгебры -- неклассические логики
Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Тюрин, С. Ф.
Найти похожие

14.

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : учебник / О. П. Кузнецов. - 4-е изд., стер. - СПб. : Лань, 2005. - 400 с. : ил. ; 21 см. - Библиогр.: с. 388-389 (50 назв.). - ISBN 5-8114-0570-7 : 177.65 р.

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

ББК 22.176

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
математика -- дискретная математика -- теория множеств -- логика -- теория графов -- теория алгоритмов -- формальные системы -- теория автоматов -- алгебра -- языки -- грамматики
Аннотация: Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

15.

Шапорев, С. Д.
Математическая логика [Текст] : курс лекций и практ. занятий: учеб пособие / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. ; 24 см. - Библиогр.: с. 405 (26 назв.). - ISBN 5-94157-702-8 : 153.51 р.
Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22.12

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

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

16.

Муха, Ю. П.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / Ю. П. Муха, О. А. Авдеюк ; Волгоградский гос. техн. ун-т. - Волгоград : РПК "Политехник", 2005. - 92 с. : табл. ; 20 см. - Библиогр.: с. 92 (10 назв.). - ISBN 5-230-04465-5 : 80.00 р.

ГРНТИ	27.03.01.33
УДК	510.6+510.5(07)

ББК 22.1

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

Математика--Теория алгоритмов

Кл.слова (ненормированные):
математика -- математическая логика -- теория алгоритмов -- логика высказываний -- логика предикатов -- алгебра логики
Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Авдеюк, О. А.
Найти похожие

17.

Успенский, Владимир Андреевич.
Теория алгоритмов: основные открытия и приложения [Текст] / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Библиогр.: с. 245. - 1.20 р.

ББК 22.12

Рубрики: Математика--Теория функций

Кл.слова (ненормированные):
алгоритмы -- машины Тьюринга -- машины Шенхаге -- проблема сводимости Поста -- теория алгоритмов
Аннотация: Дается обзор важнейших достижений теории алгоритмов с момента зарождения этой теории.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Семенов, Алексей Львович
Найти похожие

18.

Лавров, И. А.
Задачи по теории множеств математической логике и теории алгоритмов [Текст] : учеб. пособие / И. А. Лавров, Л. Л. Максимова. - М. : Наука : Физматлит, 1975. - 240 с. ; 20 см. - 0.90 р.

ГРНТИ	27.03.01.33
УДК	519.5(076)

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

Математика--Теория алгоритмов

Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- БИНАРНЫЕ ОТНОШЕНИЯ -- КАРДИНАЛЬНЫЕ ЧИСЛА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- ПРЕДИКАТЫ -- ФИЛЬТРОВАННЫЕ ПРОИЗВЕДЕНИЯ
Аннотация: В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных в ней наук. Сборник состоит из трех частей: "Теории множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник рассчитан как учебное пособие для математических факультетов университетов и педагогических институтов. Он может использоваться также в технических вузах при изучении кибернетических специальностей.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Максимова, Л. Л.
Найти похожие

19.

Галушкина, Ю. И.
Конспект лекций по дискретной математике [Текст] : с упражнениями и контрольными работами / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис пресс, 2007. - 176 с. : рис. ; 24 см. - (Высшее образование). - Библиогр.: с. 174 (8 назв.). - ISBN 978-5-8112-2599-6 : 100.00 р.

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

ББК 22.176

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВА -- ОТОБРАЖЕНИЯ -- КОМБИНАТОРНЫЙ АНАЛИЗ -- ЛОГИКА ПРЕДИКАТОВ -- ТЕОРИЯ ГРАФОВ -- ТЕОРИЯ КОДИРОВАНИЯ -- ТЕОРИЯ АВТОМАТОВ -- ТЕОРИЯ АЛГОРИТМОВ
Аннотация: В книге в доступной форме изложены разделы, традиционно изучаемые в курсе дискретной математики. Книга рассчитана на студентов нематематических вузов, желающих ознакомиться с методами дискретной математики. Математическая подготовка, необходимая для чтения этой книги, ограничивается программой математики средней школы
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Марьямов, А. Н.
Найти похожие

20.

Поздняков, С. Н.
Дискретная математика [Текст] : учеб. / С. Н. Поздняков, С. В. Рыбин. - М. : ИЦ "Академия", 2008. - 448 с. : ил. ; 22 см. - (Высшее профессиональное образование). - ISBN 978-5-7695-3105-7 : 423.50 р.
Гриф: допущено М-вом образования и науки РФ в качестве учеб. для студ. вузов, обуч. по напр. подгот. " Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность"

ГРНТИ	27.41.41.01.33
УДК	519.1(075.8)

ББК 22.176

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
ЦЕЛОЧИСЛЕННЫЕ АЛГОРИТМЫ -- РЕКУРРЕНТНЫЕ УРАВНЕНИЯ -- ТЕОРИЯ МНОЖЕСТВ -- МНОГОЧЛЕНЫ -- ГРАФЫ -- БИНАРНЫЕ ОТНОШЕНИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ
Аннотация: В учебнике рассмотрены комбинаторика, теория графов, приведены сведения из теории чисел и многочленов, даны общие математические понятие, как отношения, поля, кольца, группы, изложен материал по многочленам нескольких переменных, которые играют большую роль в автоматизации математических вычислений, а также материал по математической логике и теории алгоритмов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Рыбин, С. В.
Найти похожие

1-20 21-38

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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