Новые поступления (книга в стадии обработки) Ковальски, Р. Логика в решении проблем [Текст] / Р. Ковальски ; пер. с англ.: Л. Г. Осмоловского, В. Э. Вольфенгагена, В. Я. Яцука. - М. : Наука, 1990. - 280 с. ; 21см. - (Проблемы искусственного интеллекта). - ISBN 5-02-014148-8 : 4.00 р.
Рубрики: Математика--Математическая логика Математика--Математическое программирование Кл.слова (ненормированные): Банди -- Браун -- Гедель -- Ковалевски -- Ли -- алгоритм -- анализ -- атом -- база данных -- бинарное дерево -- вариант -- входные данные -- гиперрезолюция -- задача -- интерпретация -- Хорн -- логика -- лемма -- аксиома -- таблицы Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Осмоловский, Л. Г. Вольфенгаген, В. Э. Яцук, В. Я. |
Новые поступления (книга в стадии обработки) Компьютерная алгебра [Текст] : символьные и алгебраические вычисления / под ред. Б. Бухбергера [и др.] ; пер. с англ. В. П. Гердта. - М. : Мир, 1986. - 392 с. : ил. ; 22см. - 3.50 р.
Рубрики: Математика--Алгебра Кл.слова (ненормированные): аксиомы -- алгебра -- алгебра Дирака -- Дирак -- алгоритм -- алгоритм Аткинсона -- Аткинсон -- арифметика -- аппроксимация -- базис Грёбнера -- Грёнер -- вычислимость -- дифференциальные уравнения -- интегралы -- категории -- лемма -- лемма Гензеля -- Гензель -- линейное программирование -- логическое программирование Аннотация: Коллективная монография зарубежных учёных, дающая систематическое изложение алгоритмических аспектов и математических методов новой области исследований- аналитических вычислений на ЭВМ. Отражены полученные результаты исследований и наиболее важные нерешенные проблемы. Прослеживается чёткая связь методов современной алгебры с вопросами их реализации на ЭВМ. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бухбергер, Б. Коллинз, Дж. Лоос, Р. Говорухин, Н. Н. Гердт, В. П. |
Новые поступления (книга в стадии обработки) Хамфри, Д. Арифметические группы [Текст] / Д. Хамфри. - М. : Мир, 1983. - ; 20см. - 1.30 р.
Рубрики: Математика--Алгебра Кл.слова (ненормированные): математика -- алгебра -- теория групп -- теория чисел -- топология -- геометрия -- автоморфные функции -- меры -- фактопространство -- адели -- компактность -- множества -- разложения -- лемма -- конгруэнц-ядро Аннотация: Введение в теорию арифметических групп, алгебраической теории чисел, топологии, алгебраической геометрии, теории афтоморфных функций. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Крюков, Б. И. Вынужденные колебания существенно нелинейных систем [Текст] / Б. И. Крюков. - М. : Машиностроение, 1984. - 216 с. : ил. ; 20см. - 2.30 р.
Рубрики: Математика--Анализ Кл.слова (ненормированные): математика -- нелинейная механика -- нелинейные системы -- колебания -- резонанс -- дифференциальные уравнения -- лемма -- метод Галеркина -- метод Хилла -- уравнения Дуффинга -- возбуждения -- система Ван-дер-Поля Аннотация: Приведены результаты исследований колебаний, протекающих в существенно нелинейных системах при периодическом внешнем воздействии. Уделено внимание анализу особенностей проявления резонансных эффектов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Кигурадзе, И. Т. Асимптотические свойства решения неавтономных обыкновенных дифференциальных уравнений [Текст] / И. Т. Кигурадзе. - М. : Наука, 1990. - 432 с. ; 20см. - ISBN 5-02-014268-9 : 5.50 р.
Рубрики: Математика--Дифференциальные уравнения Кл.слова (ненормированные): математика -- неавтономные уравнения -- дифференциальные уравнения -- линейные уравнения -- уравнения Эмдена-Фаулера -- осцилляционные свойства -- колеблемость -- неколеблемость -- лемма -- асимптотика -- асимптотические методы -- квазилинейные уравнения Аннотация: Посвящена исследованию поведения решений неавтономных обыкновенных дифференциальных уравнений в окрестности бесконечно удалённой точки. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Толстов, Г. П. Ряды Фурье [Текст] / Г. П. Толстов. - 3-е изд., испр. - М. : Наука, 1980. - 384 с. ; 21см. - (Физико-математическая б-ка инженера). - 1.40 р.
Рубрики: Математика--Анализ Кл.слова (ненормированные): тригонометрические ряды -- ортогональные системы -- операции -- гармоники -- многочлены -- ряды Фурье -- вектор -- неравенства -- неравенства Бесселя -- интегралы -- сходимость -- локализация -- лемма -- лемма Абеля -- сумма синусов -- синус -- коэффициенты -- тригонометрические многочлены -- формула Ляпунова -- сложение Аннотация: Книга содержит изложение основ теории рядов Фурье и некоторые их приложения к решению задач математической физики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Богуславский, И. А. Прикладные задачи фильтрации и управления [Текст] / И. А. Богуславский. - М. : Наука, 1983. - 400 с. ; 21см. - 3.60 р.
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): оптимальное управление -- стохастическое управление -- рекуррентные уравнения -- управление -- лемма -- уравнения -- уравнения оптимизации -- задача -- численные методы -- полная информация -- численная оптимизация -- линейная интерполяция -- определённые матрицы -- матрицы -- выпуклые функции -- условный риск -- риск -- нелинейное программирование -- стохастическое программирование -- стохастические квазиградиенты Аннотация: Излагаются методы определения оценок фазовых координат объекта управления в темпе реального времени (методы рекуррентной фильтрации) и методы использования этих оценок для достижения целей управления (методы стохастического управления). Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Феллер, В. Введение в теорию вероятностей и ее приложения [Текст] : в 2 т. / В. Феллер. - М. : Мир, 1984 - . Т. 1. - 1984. - 528 с. : ил. ; 22см. - 2.60 р.
Рубрики: Математика--Теория вероятностей Кл.слова (ненормированные): распределение Пуассона -- статистическая вероятность -- пространства -- дискретные пространства -- элементарные события -- эмпирические основания -- комбинаторный анализ -- биномиальные коэффициенты -- флуктуации -- случайные блуждания -- лемма -- максимумы -- двойственность -- эксперименты -- математика -- теория вероятностей -- условная вероятность -- стохастическая независимость -- биноминальное распределение -- максимальная вероятность Аннотация: Первый том содержит изложение той части теории вероятностей, которая имеет дело с дискретными распределениями. Такой отбор материала позволяет автору ввести читателя в круг основных идей теории вероятностей без применения сложного аналитического аппарата. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Современный словарь по логике [Текст] / Авт.-сост.В.В.Юрчук. - [Б. м.] : Современное Слово, 1999. - 768 с. ; 21см. - ISBN 985-443-105-3 : 65.00,76.19 р.
Рубрики: Философия--Логика Кл.слова (ненормированные): логика -- генезис -- дефиниция -- трансцендентное сознание -- лемма Аннотация: Словарь адресован широкому кругу читателей,интересующихся новейшими принципами,исследованиями,модификациями в области логики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Юрчук, В. В. |
Новые поступления (книга в стадии обработки) Группы, определяемые свойствами системы подгрупп [Текст] : сб. науч. трудов / Ин-т математики (Киев) ; отв. ред. С. Н. Черников. - Киев : Ин-т математики АН УССР, 1979. - 156 с. ; 20 см. - Библиогр. в конце ст. - 0.70 р.
Рубрики: Математика--Алгебра Кл.слова (ненормированные): КВАЗИБИПРИМАРНЫЕ ГРУППЫ -- АБЕЛЕВЫЕ ГРУППЫ -- СИСТЕМЫ ПОДГРУПП -- ЛЕММА -- МНОЖЕСТВА ЭНДОМОРФИЗМОВ Аннотация: В сборнике представлены некоторые результаты изучения групп с заданными свойствами системы подгрупп. Группы - объекты изучения - выделяются путем наложения тех или иных ограничений на систему подгрупп группы, а результаты характеризуют строение выделенных групп. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Черников, С. Н. |
Новые поступления (книга в стадии обработки) Линник, Ю. В. Разложения случайных величин и векторов [Текст] : монография / Ю. В. Линник, И. В. Островский. - М. : Наука, 1973. - 479 с. ; 19 см. - (Теория вероятностей и математическая статистика). - Библиогр.: с. 467-479. - 1.82 р.
Рубрики: Математика--Теория вероятностей Кл.слова (ненормированные): СЛУЧАЙНЫЕ ВЕЛИЧИНЫ -- КОМПЛЕКСНЫЕ ПЕРЕМЕННЫЕ -- ХАРАКТЕРИСТИЧЕСКИЕ ФУНКЦИИ -- ВЕРОЯТНОСТНЫЕ ЗАКОНЫ -- МНОГОМЕРНЫЕ ЗАДАЧИ -- ЛЕММА Аннотация: Излагаются важнейшие результаты теории разложений и некоторых приложений. Подробно изучены аналитические свойства характеристических функций случайных величин и векторов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Островский, И. В. |
Новые поступления (книга в стадии обработки) Манин, Юрий Иванович. Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р. Рубрики: Математика--Математическая кибернетика Радиоэлектроника--Кибернетика Кл.слова (ненормированные): Лемма -- аксиомы арифметики -- аксиомы бесконечности -- арифметика Шмульяна -- булева алгебра -- гипотезы континуума -- интерпретация -- истинность -- квантовая логика -- кеннинги -- математические методы -- математический текст -- парадоксы Сколема -- свойства истинности -- счетные модели -- тавтология -- теорема Геделя -- теорема Тарского -- формальные языки -- формальные языки -- форсинг -- язык SELF Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |