Поисковый запрос: (<.>KL=Лемма<.>) |
Общее количество найденных документов : 12
Показаны документы с 1 по 12 |
1. 
|
Вид документа : Однотомное издание
Шифр издания : 510/К 56
Автор(ы) : Ковальски Р.
Заглавие : Логика в решении проблем
Выходные данные : М.: Наука, 1990
Колич.характеристики :280 с.
; 21см
Серия: Проблемы искусственного интеллекта
ISBN, Цена 5-02-014148-8: 4.00 р.
ГРНТИ : 27.03 + 27.47
УДК : 510.6+519.85
ББК : 22.18
Предметные рубрики: Математика-- Математическая логика
Математика-- Математическое программирование
Ключевые слова (''Своб.индексиров.''): банди--браун--гедель--ковалевски--ли--алгоритм--анализ--атом--база данных--бинарное дерево--вариант--входные данные--гиперрезолюция--задача--интерпретация--хорн--логика--лемма--аксиома--таблицы
Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования.
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 512/К 63
Заглавие : Компьютерная алгебра
: символьные и алгебраические вычисления
Выходные данные : М.: Мир, 1986
Колич.характеристики :392 с.:
ил.; 22см
Цена : 3.50 р.
ГРНТИ : 27.17
УДК : 512
ББК : 22.14+22.16
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): аксиомы--алгебра--алгебра дирака--дирак--алгоритм--алгоритм аткинсона--аткинсон--арифметика--аппроксимация--базис грёбнера--грёнер--вычислимость--дифференциальные уравнения--интегралы--категории--лемма--лемма гензеля--гензель--линейное программирование--логическое программирование
Аннотация: Коллективная монография зарубежных учёных, дающая систематическое изложение алгоритмических аспектов и математических методов новой области исследований- аналитических вычислений на ЭВМ. Отражены полученные результаты исследований и наиболее важные нерешенные проблемы. Прослеживается чёткая связь методов современной алгебры с вопросами их реализации на ЭВМ.
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 512/Х 18
Автор(ы) : Хамфри Д.
Заглавие : Арифметические группы
Выходные данные : М.: Мир, 1983
Колич.характеристики :
; 20см
Цена : 1.30 р.
ГРНТИ : 27.17
УДК : 512
ББК : 22.144
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): математика--алгебра--теория групп--теория чисел--топология--геометрия--автоморфные функции--меры--фактопространство--адели--компактность--множества--разложения--лемма--конгруэнц-ядро
Аннотация: Введение в теорию арифметических групп, алгебраической теории чисел, топологии, алгебраической геометрии, теории афтоморфных функций.
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 517/К 85
Автор(ы) : Крюков Б. И.
Заглавие : Вынужденные колебания существенно нелинейных систем
Выходные данные : М.: Машиностроение, 1984
Колич.характеристики :216 с.:
ил.; 20см
Цена : 2.30 р.
ГРНТИ : 27.23
УДК : 517.928.7
Предметные рубрики: Математика-- Анализ
Ключевые слова (''Своб.индексиров.''): математика--нелинейная механика--нелинейные системы--колебания--резонанс--дифференциальные уравнения--лемма--метод галеркина--метод хилла--уравнения дуффинга--возбуждения--система ван-дер-поля
Аннотация: Приведены результаты исследований колебаний, протекающих в существенно нелинейных системах при периодическом внешнем воздействии. Уделено внимание анализу особенностей проявления резонансных эффектов.
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 517/К 38
Автор(ы) : Кигурадзе И. Т.
Заглавие : Асимптотические свойства решения неавтономных обыкновенных дифференциальных уравнений
Выходные данные : М.: Наука, 1990
Колич.характеристики :432 с.
; 20см
ISBN, Цена 5-02-014268-9: 5.50 р.
ГРНТИ : 27.29
УДК : 517.9
ББК : 22.161
Предметные рубрики: Математика-- Дифференциальные уравнения
Ключевые слова (''Своб.индексиров.''): математика--неавтономные уравнения--дифференциальные уравнения--линейные уравнения--уравнения эмдена-фаулера--осцилляционные свойства--колеблемость--неколеблемость--лемма--асимптотика--асимптотические методы--квазилинейные уравнения
Аннотация: Посвящена исследованию поведения решений неавтономных обыкновенных дифференциальных уравнений в окрестности бесконечно удалённой точки.
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 517/Т 52
Автор(ы) : Толстов Г. П.
Заглавие : Ряды Фурье
. -3-е изд., испр.
Выходные данные : М.: Наука, 1980
Колич.характеристики :384 с.
; 21см
Серия: Физико-математическая б-ка инженера
Цена : 1.40 р.
ГРНТИ : 27.23
УДК : 517.52
ББК : 22.16
Предметные рубрики: Математика-- Анализ
Ключевые слова (''Своб.индексиров.''): тригонометрические ряды--ортогональные системы--операции--гармоники--многочлены--ряды фурье--вектор--неравенства--неравенства бесселя--интегралы--сходимость--локализация--лемма--лемма абеля--сумма синусов--синус--коэффициенты--тригонометрические многочлены--формула ляпунова--сложение
Аннотация: Книга содержит изложение основ теории рядов Фурье и некоторые их приложения к решению задач математической физики.
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 519/Б 74
Автор(ы) : Богуславский И. А.
Заглавие : Прикладные задачи фильтрации и управления
Выходные данные : М.: Наука, 1983
Колич.характеристики :400 с.
; 21см
Цена : 3.60 р.
ГРНТИ : 27.47
УДК : 519.711.3
ББК : 32.81
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): оптимальное управление--стохастическое управление--рекуррентные уравнения--управление--лемма--уравнения--уравнения оптимизации--задача--численные методы--полная информация--численная оптимизация--линейная интерполяция--определённые матрицы--матрицы--выпуклые функции--условный риск--риск--нелинейное программирование--стохастическое программирование--стохастические квазиградиенты
Аннотация: Излагаются методы определения оценок фазовых координат объекта управления в темпе реального времени (методы рекуррентной фильтрации) и методы использования этих оценок для достижения целей управления (методы стохастического управления).
Найти похожие
|
8.
|
Вид документа : Многотомное издание
Шифр издания : 519/Ф 38
Автор(ы) : Феллер В.
Заглавие : Введение в теорию вероятностей и ее приложения: в 2 т./ В. Феллер. Т. 1
Выходные данные : М.: Мир, 1984
Колич.характеристики :528 с.:
ил.; 22см
Цена : 2.60 р.
ГРНТИ : 27.43
УДК : 519.21
ББК : 22.171
Предметные рубрики: Математика-- Теория вероятностей
Ключевые слова (''Своб.индексиров.''): распределение пуассона--статистическая вероятность--пространства--дискретные пространства--элементарные события--эмпирические основания--комбинаторный анализ--биномиальные коэффициенты--флуктуации--случайные блуждания--лемма--максимумы--двойственность--эксперименты--математика--теория вероятностей--условная вероятность--стохастическая независимость--биноминальное распределение--максимальная вероятность
Аннотация: Первый том содержит изложение той части теории вероятностей, которая имеет дело с дискретными распределениями. Такой отбор материала позволяет автору ввести читателя в круг основных идей теории вероятностей без применения сложного аналитического аппарата.
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 16(03)/С 56
Заглавие : Современный словарь по логике
Выходные данные : Б.м., 1999
Колич.характеристики :768 с.
; 21см
ISBN, Цена 985-443-105-3: 65.00,76.19 р.
ГРНТИ : 02.21
УДК : 16(03)
ББК : 87.4я2
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): логика--генезис--дефиниция--трансцендентное сознание--лемма
Аннотация: Словарь адресован широкому кругу читателей,интересующихся новейшими принципами,исследованиями,модификациями в области логики.
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 512/Г 90
Заглавие : Группы, определяемые свойствами системы подгрупп
: сб. науч. трудов
Выходные данные : Киев: Ин-т математики АН УССР, 1979
Колич.характеристики :156 с.
; 20 см
Коллективы :
Ин-т математики (Киев), Акад. наук Укр. ССР (Киев)
Примечания : Библиогр. в конце ст.
Цена : 0.70 р.
ГРНТИ : 27.17
УДК : 512.54
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): квазибипримарные группы--абелевые группы--системы подгрупп--лемма--множества эндоморфизмов
Аннотация: В сборнике представлены некоторые результаты изучения групп с заданными свойствами системы подгрупп. Группы - объекты изучения - выделяются путем наложения тех или иных ограничений на систему подгрупп группы, а результаты характеризуют строение выделенных групп.
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 519/Л 59
Автор(ы) : Линник Ю. В., Островский И. В.
Заглавие : Разложения случайных величин и векторов
: монография
Выходные данные : М.: Наука, 1973
Колич.характеристики :479 с.
; 19 см
Серия: Теория вероятностей и математическая статистика
Примечания : Библиогр.: с. 467-479
Цена : 1.82 р.
ГРНТИ : 27.43
УДК : 519.2
Предметные рубрики: Математика-- Теория вероятностей
Ключевые слова (''Своб.индексиров.''): случайные величины--комплексные переменные--характеристические функции--вероятностные законы--многомерные задачи--лемма
Аннотация: Излагаются важнейшие результаты теории разложений и некоторых приложений. Подробно изучены аналитические свойства характеристических функций случайных величин и векторов.
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 22.1
Автор(ы) : Манин, Юрий Иванович
Заглавие : Доказуемое и недоказуемое
: монография
Выходные данные : Москва: Советское радио, 1979
Колич.характеристики :168 с.:
рис
Серия: Кибернетика
Примечания : Библиогр.: с. 161-166
Цена : 0.60 р.
ББК : 22.1 + 32.81
Предметные рубрики: Математика-- Математическая кибернетика
Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): лемма--аксиомы арифметики--аксиомы бесконечности--арифметика шмульяна--булева алгебра--гипотезы континуума--интерпретация--истинность--квантовая логика--кеннинги--математические методы--математический текст--парадоксы сколема--свойства истинности--счетные модели--тавтология--теорема геделя--теорема тарского--формальные языки--формальные языки--форсинг--язык self
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику.
Найти похожие
|
|
|
Электронный каталог
Стандартный (по одному полю)