Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Поисковый запрос: (<.>KL=ЛЕММА<.>)

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

Ковальски, Р.
Логика в решении проблем [Текст] / Р. Ковальски ; пер. с англ.: Л. Г. Осмоловского, В. Э. Вольфенгагена, В. Я. Яцука. - М. : Наука, 1990. - 280 с. ; 21см. - (Проблемы искусственного интеллекта). - ISBN 5-02-014148-8 : 4.00 р.

ГРНТИ	27.03	27.47
УДК	510.6+519.85

ББК 22.18

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

Математика--Математическое программирование

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

Доп. точки доступа:
Осмоловский, Л. Г.
Вольфенгаген, В. Э.
Яцук, В. Я.
Найти похожие

Компьютерная алгебра [Текст] : символьные и алгебраические вычисления / под ред. Б. Бухбергера [и др.] ; пер. с англ. В. П. Гердта. - М. : Мир, 1986. - 392 с. : ил. ; 22см. - 3.50 р.

ГРНТИ	27.17
УДК	512

ББК 22.14+22.16

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

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

Доп. точки доступа:
Бухбергер, Б.
Коллинз, Дж.
Лоос, Р.
Говорухин, Н. Н.
Гердт, В. П.
Найти похожие

Хамфри, Д.
Арифметические группы [Текст] / Д. Хамфри. - М. : Мир, 1983. - ; 20см. - 1.30 р.

ГРНТИ	27.17
УДК	512

ББК 22.144

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

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

Крюков, Б. И.
Вынужденные колебания существенно нелинейных систем [Текст] / Б. И. Крюков. - М. : Машиностроение, 1984. - 216 с. : ил. ; 20см. - 2.30 р.

ГРНТИ	27.23
УДК	517.928.7

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

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

Кигурадзе, И. Т.
Асимптотические свойства решения неавтономных обыкновенных дифференциальных уравнений [Текст] / И. Т. Кигурадзе. - М. : Наука, 1990. - 432 с. ; 20см. - ISBN 5-02-014268-9 : 5.50 р.

ГРНТИ	27.29
УДК	517.9

ББК 22.161

Рубрики: Математика--Дифференциальные уравнения

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

Толстов, Г. П.
Ряды Фурье [Текст] / Г. П. Толстов. - 3-е изд., испр. - М. : Наука, 1980. - 384 с. ; 21см. - (Физико-математическая б-ка инженера). - 1.40 р.

ГРНТИ	27.23
УДК	517.52

ББК 22.16

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

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

Богуславский, И. А.
Прикладные задачи фильтрации и управления [Текст] / И. А. Богуславский. - М. : Наука, 1983. - 400 с. ; 21см. - 3.60 р.

ГРНТИ	27.47
УДК	519.711.3

ББК 32.81

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

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

   Феллер, В.
    Введение в теорию вероятностей и ее приложения [Текст] : в 2 т. / В. Феллер. - М. : Мир, 1984 - .
   Т. 1. - 1984. - 528 с. : ил. ; 22см. - 2.60 р.

ГРНТИ	27.43
УДК	519.21

ББК 22.171

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

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

Современный словарь по логике [Текст] / Авт.-сост.В.В.Юрчук. - [Б. м.] : Современное Слово, 1999. - 768 с. ; 21см. - ISBN 985-443-105-3 : 65.00,76.19 р.

ГРНТИ	02.21
УДК	16(03)

ББК 87.4я2

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

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

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

10.

Группы, определяемые свойствами системы подгрупп [Текст] : сб. науч. трудов / Ин-т математики (Киев) ; отв. ред. С. Н. Черников. - Киев : Ин-т математики АН УССР, 1979. - 156 с. ; 20 см. - Библиогр. в конце ст. - 0.70 р.

ГРНТИ	27.17
УДК	512.54

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

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

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

11.

Линник, Ю. В.
Разложения случайных величин и векторов [Текст] : монография / Ю. В. Линник, И. В. Островский. - М. : Наука, 1973. - 479 с. ; 19 см. - (Теория вероятностей и математическая статистика). - Библиогр.: с. 467-479. - 1.82 р.

ГРНТИ	27.43
УДК	519.2

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

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

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

12.

Манин, Юрий Иванович.
Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р.

ББК 22.1 + 32.81

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

Радиоэлектроника--Кибернетика

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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