Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мансуров, Владимир Николаевич.
Конструктивные и развивающиеся формальные системы [Текст] : научное издание / В. Н. Мансуров ; . - Саратов : Издательство Саратовского университета, 1989. - 192, [4] c. - ISBN 5-292-00519-3 : 14.00 р.

УДК

510.2

519.71

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

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

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

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

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

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

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

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

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : учеб. / О. П. Кузнецов. - 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 г. заново написаны разделы по теории графов и сложности вычислений.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Кузнецов, О. П.
Дискретная математика для инженера [Электронный ресурс] : учеб. / О. П. Кузнецов. - 6-е изд., стер. - Электрон. текстовые дан. - СПб. ; М. ; Краснодар : Лань, 2009. - 1 эл. опт. диск (CD-ROM) : цв. - Систем. требования: Прил. :Pentium III 900 Mгц ; Adobe Acrobat Reader. - Загл. с этикетки диска. - Б. ц.
Электрон. аналог печ. изд. Диски помещены в контейнер 14Х12 см. Режим доступа: http://lib.sstu.ru/books/Ld_10.pdf
Параллельные издания: Кузнецов О. П. Дискретная математика для инженера / О. П. Кузнецов. - СПб. ; М. ; Краснодар : Лань, 2009. - 400 с. - ISBN 978-5-8114-0570-1 (Шифр 519(075)/К89)

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

ББК 22.176

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

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

Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Карри, Х. Б.
Основания математической логики [Текст] / Х. Б. Карри ; под ред. Ю. А. Гастева ; пер. с англ. В. В. Донченко = Founbations of mathematical logic / H. B. Curry : научное издание. - М. : Изд-во "Мир", 1969. - 568 с. : ил. ; 22 см. - Библиогр.: с. 519-547. - 2.64 р.
Тит. л. парал. на англ. яз.

УДК

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

Доп. точки доступа:
Гастев, Ю.А.
Донченко, В. В.
Найти похожие

Горский, Д. П.
Определение [Текст] : логико-методологические проблемы / Д. П. Горский. - М. : Изд-во "Мысль", 1974. - 312 с. : ил., табл. ; 20 см. - 1.71 р.

ГРНТИ	02.21
УДК	16

Рубрики: Философия--Логика

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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