Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю

Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=РАЗРЕШИМОСТИ<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
 1..5 
1.
В161.6
П48


    Покровский, Илья Леонидович.
    Вопросы разрешимости некоторых нелинейных краевых задач [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 01.01.02 / И. Л. Покровский ; Московский государственный энергетический институт (технический университет). - М., 2003. - 15с. : ил. -
ББК В161.6

Кл.слова (ненормированные):
авторефераты В161.6 -- нелинейные краевые задачи -- дифференциальные уравнения

Держатели документа:
ЯрГУ

Доп.точки доступа:
Московский государственный энергетический институт (технический университет) ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие

2.
В14
Е80


    Ершов, Юрий Леонидович.
    Проблемы разрешимости и конструктивные модели [Текст] : нелитературный текст / Ю. Л.Ершов. - М. : Наука, 1980. - 415с. - (Математическая логика и основания математики). - 7.00 р.
ББК В14
Рубрики: алгебра
Кл.слова (ненормированные):
б-ка Русина -- алгебраические системы -- абелевы группы -- нормированные поля

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

3.
519.7/8
М38


   
    Машины Тьюринга и рекурсивные функции [Текст] : пер. с нем. / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман. - М. : Мир, 1972. - 264 с. : ил. - (Современная математика). - Имен. указ.: с.249-250. -Предм. указ.: с.251-262 . -Библиогр. в конце глав. - 0.89 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
АЛГОРИТМ -- ВЫЧИСЛИМЫЕ -- ПЕРЕЧИСЛИМОСТЬ -- Шмульян -- выполнимость выражений -- проблема разрешимости -- игра домино -- логика предикатов -- префиксы

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Эббинхауз, Г.-Д.; Якобс, К.; Ман, Ф.-К.
Свободных экз. нет
Найти похожие

4.
517.9
В14


    Вайнберг, М. М.
    Функциональный анализ. Спец. курс [Текст] : учеб. пособие для пед. вузов / М.М. Вайнберг. - М. : Просвещение, 1979. - 128 с. : ил. - Библиогр.: с. 125. - 0.25 р.
ГРНТИ
УДК

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

5.
517.9
Л64


    Литвинчук, Г. С.
    Краевые задачи и сингулярные интегральные уравнения со сдвигом [Текст] : научное издание / Г.С. Литвинчук. - М. : Наука , 1977. - 448 с. : ил. - Библиогр.: с. 434. - (в пер.) : 1.81 р.
ГРНТИ
УДК

Кл.слова (ненормированные):
нетеровые -- операторы Карлемана -- задача Римана -- ядро Каши -- теория Нетера -- задача Газемана -- задача Гильберта -- вектор -- СОПРЯЖЕННЫЕ -- ПРЕДЕЛЬНЫЕ -- значения -- теория разрешимости

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

 1..5