Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

Доп. точки доступа:
Кабаков, Ф. А.
Адян, С. И.
Найти похожие

Богомолов, А. М.
Аналитические методы в задачах контроля и анализа дискретных устройств [Текст] / А. М. Богомолов ; ред. Б. Г. Тоценко. - Саратов : СГУ, 1986. - 240 с. ; 22см. - 2.30 р.

ГРНТИ	27.47
УДК	519.71

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

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

Доп. точки доступа:
Тоценко, Б. Г.
Найти похожие

Брауэр, В.
Введение в теорию конечных автоматов [Текст] / В. Брауэр ; пер. с нем. К. В. Рудакова. - М. : Радио и связь, 1987. - 392 с. : ил. ; 22см. - 2.10 р.

ГРНТИ	27.47
УДК	519.713

ББК 32.815

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

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

Доп. точки доступа:
Рудаков, К. В.
Найти похожие

Зыков, А. А.
Основы теории графов [Текст] / А. А. Зыков. - М. : Наука, 1987. - 384 с. ; 22см. - 2.10 р.

ГРНТИ	27.45
УДК	519.17

ББК 22.19

Рубрики: Математика--Теория графов

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

   Постников, М. М.
    Аналитическая геометрия. Лекции по геометрии [Текст] : учеб. пособие / М. М. Постников. - 3-е изд., испр. . - СПб. ; М. ; Краснодар : Лань, 2009 - .
   Ч. 1 . - 2009. - 416 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-0889-4 : 350.02 р.

ГРНТИ	27.21.01.33
УДК	516(07)

ББК 22.151

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

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

Сикорский, Р.
Булевы алгебры [Текст] / Р. Сикорский ; пер. с англ. А. С. Мищенко = Boolean algebras / R. Sikorski : научное издание. - М. : Изд-во "Мир", 1969. - 375 с. ; 21 см. - Библиогр.: с. 340-369 . - Предм. указ.: с. 370-373. - 1.44 р.
Тит. л. парал. на англ. яз.

ГРНТИ	27.17
УДК	512.9

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

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

Доп. точки доступа:
Мищенко, А. С.
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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