Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


Книжный фонд - результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
в найденном
 Найдено в других БД:Труды ученых ИнЕУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=лемма<.>
Общее количество найденных документов : 31
Показаны документы с 1 по 10
 1-10    11-20   21-31   31-31 
1.
32.973
С 59

    Соколов, В. А.
    Введение в теорию формальных языков [Текст] / В. А. Соколов. - Новое изд. - Ярославль : Яросл. гос. ун-т им. П. Г. Демидова, 2014. - 208 с. - ISBN 978-5-8397-1035-1 : р.
ГРНТИ
20
ББК 32.973
Рубрики: Программирование
Кл.слова (ненормированные):
Введение в теорию формальных языков -- Языки и грамматики -- Конечные автоматы -- Детерминированные конечные автоматы -- Эквивалентность ДКА и НКА -- Свойства регулярных языков -- Алгоритмические проблемы регулярных языков -- Лемма о расширении регулярных языков -- Нормальные формы КС-грамматик -- Свойства контекстно-свободных языков -- Классификация и преобразования грамматик -- Классификация грамматик и языков по Хомскому -- Методы построения трансляторов -- Синтаксический и семантический анализ -- О семантическом анализе -- Семантический анализатор для М-языка -- Генерация внутреннего представления программ -- Язык внутреннего представления программы -- Интерпретатор ПОЛИЗа для модельного языка -- Контекстно-свободные языки

Экз-ры: (1)

” Цитировать
Найти похожие
2.
   32.811
   К 59

    Козен, Д. С.
    Есептеу теориясы [Текст] : оқулық. 2 бөлім / Д. С. Козен. - Жаңа басылым. - Алматы : Полиграф, 2014. - 320 с. - ISBN 978-601-7427-51-1 : 2710 р.
ГРНТИ
20
УДК
51
ББК 32.811
Рубрики: Информатика--есептеу теориясы
Кл.слова (ненормированные):
есептеу теориясы -- теория вычислений -- Тод теоремасы -- Теорема Тода -- рекурсия теоремасының қолданысы -- применение теоремы рекурсии -- Фридберг-Мучник теоремасы -- Клин теоремасы -- PSPACE=PH -- аналитикалық иерархия -- әділетті тоқтау және Харсел теоремасы -- Справедливая остановка и теорема Харсела -- арифметикалық иерархия -- абстракциялы күрделілік -- абстракционная сложность -- Дербес рекурстивті функция және Гёдел нөмірлеуі -- Автономная рекурсивная функция и нумерация Геделя -- айырмашылық жайлы теорема және басқа патология -- теорема о разнице и другая патология -- алмастыра қосу жайлы лемма -- Лемма о добавлении замены

Экз-ры: чз(2), аб(1)

” Цитировать
Найти похожие
3.
   22.171
   Г56

    Гнеденко, Б. В.
    Курс теории вероятностей [Текст] : учебник / Гнеденко Б.В. - 8-е изд., испр. и доп. - М. : Едиториал, 2005. - 448с. - ISBN 5354010918 : 2900.00 р.
ББК 22.171
Рубрики: Математика--теория вероятностей
Кл.слова (ненормированные):
теория вероятностей -- функция -- случайная величина -- цепи Маркова -- интеграл -- дисперсия -- закон больших чисел -- преобразование -- закон распределения -- уравнение -- лемма

Экз-ры: чзт(1)

” Цитировать
Найти похожие
4.
   22.314
   Б 74

    Боголюбов, Н. Н.
    Введение в квантовую статистическую механику [Текст] / Н. Н. Боголюбов, Н.Н. (мл.) Боголюбов. - Новое изд. - М. : Наука, 1984. - 384 с. - ISBN 0 : 50.00 р., 35.00 р.
ББК 22.314
Рубрики: Физика--квантовая механика
Кл.слова (ненормированные):
механика квантовая -- гамильтониана -- механика статистическая -- сверхтекучесть -- интеграл движения -- молекула -- уравнение Лиувилля -- лемма -- квантовая -- поле -- скалярное -- векторное -- электромагнитное -- преобразование -- функция



Соавторы:
Боголюбов, Н.Н. (мл.)
Экз-ры: чзт(1), аб(2)

” Цитировать
Найти похожие
5.
   22.1
   А31

    Айсагалиев, С. А.
    Тиiмдiлеу әдiстерiнiң дәрiстерi [Текст] : оқу құралы / Айсагалиев С.А., Иманкул Т.Ш. - Алматы : Қазақ университетi, 2004. - 248 б. с. - 950 р., 950.00 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
математика -- метод оптимизации -- Тиiмдiлеу әдiстерiнiң дәрiстерi -- исчисление -- множество -- лемма Лагранжа -- нелинейность -- алгоритм -- функционал -- оптимизация



Соавторы:
Иманкул, Т.Ш.
Экз-ры: аб(2)

” Цитировать
Найти похожие
6.
   22.176
   Ч-29

    Чашкин, А. В.
    Дискретная математика [Текст] : учебник для высш. проф. образования / А. В. Чашкин. - М. : Академия, 2012. - 352 с. - ISBN 978-5-7695-7949-3 : 7200 р.
ГРНТИ
27
ББК 22.176
Рубрики: Математика--дискретная
Кл.слова (ненормированные):
дискретная математика -- комбинаторные числа -- бином Ньютона -- функции множеств -- теорема Пойа -- лемма -- теория графов -- булевы функции -- линейный код -- конечные поля -- дискретный анализ -- комбинаторный анализ

Экз-ры: чзт(1)

” Цитировать
Найти похожие
7.
   22.17
   Е72

    Ермаков, С. М.
    Случайные процессы для решения классических уравнений математической физики [Текст] / С.М. Ермаков, В.В. Некруткин, А.С. Сипин. - М. : Наука, 1984. - 208с. - 50 р., 500 р.
ББК 22.17
Рубрики: Математика--теория вероятностей
Кл.слова (ненормированные):
интегральные уравнения -- линейные -- марковские цепи -- теория вероятностей -- кинетические уравнения -- лемма -- преобразование -- предел -- число -- функция -- вектор -- величина -- случайные процессы -- дифференциал -- задачи Коши



Соавторы:
Некруткин, В.В.; Сипин, А.С.
Экз-ры: аб(1)

” Цитировать
Найти похожие
8.
   22.162
   О-13

    Обен, Ж. -П.
    Прикладной нелинейный анализ [Текст] / Пер. с англ. Б. Дарховского. - М. : Мир, 1988. - 512с. - 50.00 р.
ББК 22.162
Рубрики: Математика--нелинейный анализ
Кл.слова (ненормированные):
нелинейный анализ -- множества -- функция -- функционал -- отображение -- пространства -- оптимизация -- множитель -- лемма -- число -- комплексное -- дифференциал -- интеграл -- преобразование



Соавторы:
Экланд, И.
Экз-ры: аб(1)

” Цитировать
Найти похожие
9.
   22.161.8
   Ц75

    Цлаф, Л. Я.
    Вариационное исчисление и интегральные уравнения [Текст] : справочное руководство / Цлаф Л.Я. - 3-е изд., стер. - СПб. : Лань, 2005. - 192с. - ISBN 5811405960 : 1600.00 р.
ББК 22.161.8
Рубрики: Математика--вариационное исчисление
Кл.слова (ненормированные):
вариационное исчисление -- интегральные уравнения -- функционал -- ряды -- дифференциал -- анализ математический -- число -- преобразование -- функция -- лемма -- экстремум -- экстремали

Экз-ры: чзт(1)

” Цитировать
Найти похожие
10.
   22.16
   А 50

    Алиев, Р. Г.
    Сборник задач по уравнениям в частных производных [Текст] : учебное пособие для вузов / Алиев Р.Г. - 2-е изд., доп. - М. : Экзамен, 2006. - 128 с. - ISBN 5472010535 : 530.00 р.
ББК 22.16
Рубрики: Математика--анализ
Кл.слова (ненормированные):
математика -- анализ -- уравнение в частных производных -- решение -- дифференциальное -- линейное -- функция -- лемма -- максимум -- метод Фурье -- вариационный -- численный метод -- интегральное -- парабола -- гиперболический -- эллиптический -- теплопроводность

Экз-ры: чзт(2)

” Цитировать
Найти похожие
 1-10    11-20   21-31   31-31 
 
Стандартный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)