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

Базы данных:

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

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Найдено в других БД:

Электронный каталог МУБиНТ, г. Ярославль (2)

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

Поисковый запрос: (<.>K=ТЕОРЕМ<.>)
Общее количество найденных документов : 10 Показаны документы с 1 по 10

1..10

В15
Л33

Лебедев, В. И.
Очерки по истории точных наук [Текст] : нелитературный текст. В.2. Кто автор первых теорем геометрии.-1916.-50с.-5000р. / В. И. Лебедев. - [Б. м. : б. и.]. - Б. ц.

ББК В15
Рубрики: геометрия
история математики

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

В12
Ч-43

Чень, Ч.
Математическая логика и автоматическое доказательство теорем [Текст] : нелитературный текст / Ч.Чень,Р.Ли ; Пер.с англ. - М. : Наука, 1983. - 358с. - (Математическая логика и основания математики). - 6.00 р.

ББК В12
Рубрики: логика
кибернетика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- математическая кибернетика -- искусственный интеллект

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

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

В161.54я73-4
О-92

Очан, Юрий Семенович.
Сборник задач и теорем по теории функций действительного переменного [Текст] : учеб. пособие для вузов / Ю. С. Очан ; М-во просвещения РСФСР. - М. : Просвещение, 1965. - 230 с. - 5.00 р.

ББК В161.54я73-4
Рубрики: математический анализ
Кл.слова (ненормированные):
б-ка Русина -- теория функций -- функции действительного переменного -- учебник В161.54 -- задачи В161.54

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

681.3
Я41


    Язык Пролог в пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. - ISBN 5-03-000537-4 : 2.60 р.
    Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода

ГРНТИ	50.05.09
УДК	681.3	681.3.06

ББК 22.18
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.

Держатели документа:
МУБиНТ

Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

51/В75

    Воробьев, Н. Н.
    Признаки делимости [Текст] / Н. Н. Воробьев. - 4-е изд., испр. - М. : Наука. Главная редакция физико-математической литературы, 1988. - 96 с. - ISBN 5-02-013731-6 : Б. ц.
    Содержание:
Делимость чисел. Делимость сумм и произведений. Признаки равноостаточности и признаки делимости. Делимость степеней. Доказательства теорем.

ГРНТИ	27
УДК	511(023)

ББК 22.131
Рубрики: Математика
Аннотация: Описываются признаки делимости. Излагаются некоторые вопросы элементарной теории чисел, теории отношений и теории алгоритмов.

Держатели документа:
МУБиНТ
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

Г51я73
М 14

Майер, Иштван.
Избранные главы квантовой химии [] : доказательства теорем и вывод формул / И. Майер. - М. : БИНОМ. Лаборатория знаний, 2006. - 384 с. - (Химия). - ISBN 5-94774-499-6. - ISBN 0-306-47409-3 : 100.00 р.

ББК Г51я73
Рубрики: Химия
Кл.слова (ненормированные):
квантовая химия -- теоремы -- доказательства теорем -- формулы -- учебник Г51

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

544.18
М 14

Майер,, Иштван.
Избранные главы квантовой химии [Текст] : доказательство теорем и вывод формул / Иштван Майер,. - М. : БИНОМ. Лаборатория знаний, 2006. - 384 с. - Предм. указ. : с. 374-378. - ISBN 5-94774-499-6 : Б. ц.

УДК

544.18

Рубрики: Физическая химия--Квантовая химия
Кл.слова (ненормированные):
квантовая химия

Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие

УДК

544.18

519.7/8
М92

Мухачева, Э. А.
Математическое программирование [Текст] : учеб. пособие для вузов / Э.А. Мухачева, Г.Ш. Рубинштейн. - Новосибирск : Наука , 1977. - 320 с. : ил. - Библиогр.: с. 316-317. - (в пер.) : 1.31 р.

ГРНТИ	28
УДК	519.7/8

Кл.слова (ненормированные):
ЛИНЕЙНАЯ -- МОДЕЛЬ -- ПРОИЗВОДСТВЕННОГО -- ПЛАНИРОВАНИЯ -- КЛАССИЧЕСКАЯ -- ТРАНСПОРТНАЯ -- ЗАДАЧА -- СЕТЕВАЯ ПОСТАНОВКА -- ДИНАМИЧЕСКОЕ -- ВЫПУКЛОЕ -- МАТРИЧНЫЕ ИГРЫ -- ГЕОМЕТРИЧЕСКОЕ -- ДОКАЗАТЕЛЬСТВО -- ТЕОРЕМ -- ГРАФЫ

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

Доп.точки доступа:
Рубинштейн, Г.Ш.
Свободных экз. нет
Найти похожие

10.

517.9
А47

Алексеев, В. М.
Оптимальное управление [Текст] : учеб. пособие для вузов / В.М. Алексеев, В.М. Тихомиров, С.В. Фомин. - М. : Наука , 1979. - 430 с. : ил. - Библиогр.: с.414 . -Предм. указ.: с. 425. - (в пер.) : 1.10 р.

ГРНТИ	27.37.17
УДК	517.9

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

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

Доп.точки доступа:
Тихомиров, В.М.; Фомин, С.В.
Свободных экз. нет
Найти похожие

1..10