Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

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

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

1-20 21-38

Напалков, А. В.
Эвристическое программирование [Текст] : учеб. пособие / А. В. Напалков. - Ростов н/Д : Издательство РГУ, 1971. - 127 с. ; 20 см. - Библиогр.: с. 126 . - 0.70 р.

ГРНТИ	50.43
УДК	62-50(075)

Рубрики: Автоматика

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

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : учеб. / О. П. Кузнецов. - 6-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2009. - 400 с. ; 20 см. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-0570-1 : 9990.00 р.
Имеется электрон. аналог печ. изд.
Параллельные издания: Кузнецов О. П. Дискретная математика для инженера / О. П. Кузнецов. - СПб. ; М. ; Краснодар : Лань, 2009. - 1эл. опт. диск (CD-ROM) (Шифр 519(075)/К89)

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

ББК 22.176

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

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

Куликов, В. В.
Дискретная математика [Текст] : учеб. пособие / В. В. Куликов. - М. : РИОР, 2012. - 174 с. : ил. ; 22 см. - (Высшее образование). - Библиогр.: с. 171 (8 назв.). - ISBN 978-5-369-00205-6 : 187.10 р.
Гриф: рек. УМО по образованию в обл. телекоммуникаций в качестве учеб. пособия для студ. вузов, обуч. по спец. 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи"

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

ББК 22.176

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

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

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

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

ББК 22.176

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

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

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

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

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

ББК 22.1

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

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

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

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

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

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

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

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

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

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

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

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

ББК 22.176

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

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

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

Кибернетический сборник [Текст] : новая серия / Акад. наук. СССР, Науч. сов. по кибернетике (Москва); ред.: А. А. Ляпунов, О. Б. Лупанов. - М. : Изд-во "Мир", 1967.
Вып. 4 : сб. переводов / Дж. Мак-Вильямс [и др.] ; пер.: И. И. Грушко, В. В. Мартынюка, В. А. Душского. - 1967. - 228 с. : черт. ; 22 см. - Библиогр. в конце ст. - 1.08 р.

ГРНТИ	28.01
УДК	62-50

Рубрики: Кибернетика

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

Доп. точки доступа:
Мак-Вильямс, Дж.
Ху, Т. С.
Хартманис, Дж.
Стирнз, Р. Е.
Грушко, И. И.
Мартынюк, В. В.
Душский, В. А.
Ляпунов, А. А. \\ред.\\
Лупанов, О. Б. \\ред.\\
Найти похожие

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

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

ББК 22.176

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

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

10.

Ершов, Юрий Леонидович.
Математическая логика [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - 20 р.

ББК 22.12я73

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

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

Доп. точки доступа:
Палютин, Евгений Андреевич
Найти похожие

11.

Криницкий, Николай Андреевич.
Алгоритмы вокруг нас [Текст] / Н. А. Криницкий ; Акад. наук СССР. - Москва : Наука, 1977. - 223 с. - (Проблемы науки и технического прогресса). - 0.80 р.

ГРНТИ

27.47.21

ББК 22.18

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

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

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

12.

Харин, Н. Н.
Математическая логика и теория множеств [Текст] : о соотношении абстрактного и конкретного / Н. Н. Харин ; под ред. Я. Л. Харапинского. - М. : Росвузиздат, 1963. - 192 с. ; 22 см. - Библиогр.: с. 191-192. - 0.90 р.

ГРНТИ	27.03
УДК	510.6

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

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

Доп. точки доступа:
Харапинский, Я. Л.
Найти похожие

13.

Кибернетический сборник [Текст] : новая серия / под ред.: А. А. Ляпунова, О. Б. Лупанова. - М. : Изд-во "Мир", 1965 - .
Вып. 8 : сб. пер. / Т. Касами [и др.] ; пер. В. С. Кугуракова. - 1971. - 244 с. : ил., черт. ; 22 см. - Библиогр. в конце ст. - 1.64 р.

ГРНТИ	28.01
УДК	62-50

Рубрики: Кибернетика

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

Доп. точки доступа:
Касами, Т.
Клейтмен, Д.
Ротшильд, Б.
Гильберт, Н.
Поллак, Г. О.
Кугуракова, В. С.
Ляпунова, А. А. \\ред.\\
Лупанов, О. Б. \\ред.\\
Найти похожие

14.

Кибернетический сборник [Текст] : новая серия / под ред.: А. А. Ляпунова, О. Б. Лупанова. - М. : Изд-во "Мир", 1965 - .
Вып. 10 : сб. пер. / Н. Д. Слоен [и др.] ; пер. Б. С. Цибакова. - 1973. - 244 с. : ил., черт. ; 22 см. - Библиогр. в конце ст. - 1.54 р.

ГРНТИ	28.01
УДК	62-50

Рубрики: Кибернетика

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

Доп. точки доступа:
Слоен, Н. Д.
Кердок, А. М.
Юстесен, Й.
Рой-Чоудхури, Д. К.
Цибакова, Б. С.
Ляпунова, А. А. \\ред.\\
Лупанов, О. Б. \\ред.\\
Найти похожие

15.

Дьяченко, В. Ф.
Управление на сетях связи [Текст] : научное издание / В. Ф. Дьяченко, В. Г. Лазарев, Г. Г. Саввин ; Ин-т пробл. передачи информ. (Москва). - М. : Изд-во "Наука", 1967. - 223 с. : черт. ; 21 см. - Библиогр.: с. 218-221 (86 назв.). - 0.81 р.

УДК

621.391

Кл.слова (ненормированные):
ТЕОРИЯ АЛГОРИТМОВ -- СЕТИ СВЯЗИ -- АВТОМАТИЧЕСКОЕ УПРАВЛЕНИЕ СЕТЯМИ -- УПРАВЛЯЮЩИЕ УСТРОЙСТВА -- ЗАПИСЬ АЛГОРИТМОВ -- СПОСОБЫ УПРАВЛЕНИЯ -- ЦЕНТРАЛИЗОВАННЫЙ СПОСОБ -- ДЕЦЕНТРАЛИЗОВАННЫЙ СПОСОБ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Лазарев, В. Г.
Саввин, Г. Г.
Найти похожие

16.

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : учебник / О. П. Кузнецов. - 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

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

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

17.

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

ББК 22.12я73

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

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

18.

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

ББК 22.12я73

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

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

19.

Аляев, Ю. А.
Дискретная математика и математическая логика [Текст] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 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

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

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

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

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

20.

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

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

ББК 22.12

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

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

1-20 21-38

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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