Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Поисковый запрос: <.>A=Адян, $<.>

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

Большая Российская энциклопедия [Текст] : в 30 т. / науч.-ред. совет: Ю. С. Осипов (председатель) [и др.] ; отв. ред. С. Л. Кравец. - Москва : Большая Рос. энцикл., 2004 - . - ISBN 5-85270-320-6.
Т. 3 : "Банкетная кампания" 1904 - Большой Иргиз. - Москва : Большая Рос. энцикл., 2005. - 766, [2] с. : ил., карты. - ISBN 5-85270-331-1 (т. 3) (в пер.) : 1550.00 р.

УДК

030

929

Рубрики: наука--наука

культура--культура

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

Доп. точки доступа:
Осипов, Ю. С. \\науч.-ред. совет\\ (председатель)
Аврорин, Е. Н. \\науч.-ред. совет\\
Адян, С. И. \\науч.-ред. совет\\
Алтухов, Ю. П. \\науч.-ред. совет\\
Кравец, С. Л. \\отв. ред.\\
Найти похожие

Большая Российская энциклопедия [Текст] : в 30 т. / науч.-ред. совет: Ю. С. Осипов (председатель) [и др.] ; отв. ред. С. Л. Кравец. - Москва : Большая Рос. энцикл., 2004 - . - ISBN 5-85270-320-6.
Т. 4 : Большой Кавказ - Великий канал. - Москва : Большая Рос. энцикл., 2006. - 750, [2] с. : ил., карты. - Библиогр. - ISBN 5-85270-333-8 (т. 4) (в пер.) : 1550.00 р.

УДК

030

929

Большая Российская энциклопедия [Текст] : в 30 т. / науч.-ред. совет: Ю. С. Осипов (председатель) [и др.] ; отв. ред. С. Л. Кравец. - Москва : Большая Рос. энцикл., 2004 - . - ISBN 5-85270-320-6.
Т. 10 : Железное дерево - Излучение. - Москва : Большая Рос. энцикл., 2008. - 766, [2] с. : ил., карты. - Библиогр. - ISBN 978-5-85270-341-5 (т. 10) (в пер.) : 1550.00 р.

УДК

030

929

Рубрики: наука--наука

культура--культура

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

Доп. точки доступа:
Осипов, Ю. С. \\науч.-ред. совет\\ (председатель)
Аврорин, Е. Н. \\науч.-ред. совет\\
Адян, С. И. \\науч.-ред. совет\\
Алфёров, Ж. И. \\науч.-ред. совет\\
Кравец, С. Л. \\отв. ред.\\
Найти похожие

Атабекян, Варужан Сергеевич.
О подгруппах и автоморфизмах свободных бернсайдовых групп [Текст] : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 01.01.06 / В. С. Атабекян ; науч. консультант С. И. Адян ; Ереван. гос. ун-т. - Москва : [б. и.], 2011. - 24 с. - Библиогр.: с. 20-24 (45 назв.). - ISBN [Б. и.]

УДК

512.5(043.3)

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

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

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

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

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

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

Механика [Текст] : учеб. пособие по общей физике / А. П. Ефремов [и др.]. - М. : УДН, 1991. - 147 с. : ил. ; 20см. - ISBN 5-209-00255-1 : 135.00 р.

ГРНТИ	30.01.33
УДК	531/534(075.8)

ББК 22.2

Рубрики: Механика

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

Доп. точки доступа:
Ефремов, А. П.
Адян, Г. Л.
Волкова, А. Н.
Орлова, И. Н.
Найти похожие

Гильберт, Д.
Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.

ГРНТИ	27.03.02
УДК	51

ББК 22.12

Рубрики: Математика--Высшая математика

Математика--Основания математики

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

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

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

ГРНТИ	27.03
УДК	16

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

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

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

Вопросы кибернетики [Текст] : сб. статей / Акад. наук СССР, Науч. совет по комплексной проблеме "Кибернетика" (Москва). - М. : Науч. Совет по комплекс. пробл. "Кибернетика", 1988 - .
Сб. ВК-134 : Сложность вычислений и прикладная математическая логика / ред. О. М. Белоцерковский [и др.], под ред. С. И. Адяна. - 1988. - 180 с. ; 22 см. - Библиогр. в конце ст. - 1.60 р.

ГРНТИ	28.01
УДК	007

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

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

Доп. точки доступа:
Белоцерковский, О. М.
Дадаев, Ю. Г.
Самойленко, С. И.
Варданян, В. А.
Адян, С. И.
Найти похожие

10.

Мендельсон, Э.
Введение в математическую логику [Текст] / Э. Мендельсон ; пер. c англ. Ф. А. Кабакова ; под ред. С. И. Адяна = Introduction to mathematical logic / E. Mendelson : научное издание. - 2-е изд., испр. - М. : Изд-во "Наука", 1976. - 320 с. ; 22 см. - Библиогр.: с. 296-309. - 1.65 р.
Загл. парал. на англ. яз.

ГРНТИ	27.03
УДК	510.6

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

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

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

11.

Гильберт, Д.
Основания математики [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна = Grundlagen der mathematik / D. Hilbert, P. Bernays : логические исчисления и формализация арифметики : монография. - М. : Наука, 1979. - 560 с. ; 22 см. - (Математическая логика и основания математики). - 2.70 р.
Тит. л. парал. на нем. яз.

ГРНТИ	27.03.02
УДК	510.6

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

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

Доп. точки доступа:
Бернайс, П. Bernays P.
Нагорный, Н. М.
Адян, С. И.
Найти похожие

12.

Фридман, А. А.
Степени неразрешимости проблемы тождества для конечно-определенных групп [Текст] : монография / А. А. Фридман ; отв. ред. С. И. Адян ; Центр. экономико-мат. ин-т (Москва). - М. : Наука, 1967. - 190 с. ; 19 см. - Библиогр.: с. 188. - 0.53 р.

ГРНТИ	27.47
УДК	510.5

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

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

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

13.

Математическая энциклопедия [Текст] : [в 5 т.] / гл. ред. И. М. Виноградов, редкол.: С. И. Адян [и др.]. - Москва : Советская энциклопедия, 1977 - 1985. - (Энциклопедии. Словари. Справочники).
Т. 5 : Слу - Я. - 1985. - 1246, [2] стлб. : ил. ; 26 см. - 147300 экз.. - (в пер.) : 7.60 р.

ББК 22.1я2

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

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

Доп. точки доступа:
Виноградов, Иван Матвеевич \\ред.\\
Адян, С. И. \\ред.\\
Александров, Павел Сергеевич \\ред.\\
Бахвалов, Н. С. \\ред.\\
Битюцков, В. И. \\ред.\\
Бицадзе, А. В. \\ред.\\
Большев, Л. Н. \\ред.\\
Гончар, А. А. \\ред.\\
Ефимов, Н. В. \\ред.\\
Ильин, В. А. \\ред.\\
Карацуба, А. А. \\ред.\\
Кудрявцев, Л. Д. \\ред.\\
Левитан, Б. М. \\ред.\\
Марджанишвили, К. К. \\ред.\\
Мищенко, Е. Ф. \\ред.\\
Новиков, С. П. \\ред.\\
Поздняк, Э. Г. \\ред.\\
Прохоров, Ю. В. \\ред.\\
Свешников, Алексей Георгиевич \\ред.\\
Тихонов, А. Н. \\ред.\\
Ульянов, П. Л. \\ред.\\
Ширшов, А. И. \\ред.\\
Яблонский, Сергей Всеволодович \\ред.\\
Найти похожие

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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