Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (2)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=теорем<.>)
Общее количество найденных документов
:
10
Показаны документы
с 1 по 10
1..10
1.
В15
Л33
Лебедев, В. И.
Очерки по истории точных наук [Текст] : нелитературный текст. В.2. Кто автор первых
теорем
геометрии.-1916.-50с.-5000р. / В. И. Лебедев. - [Б. м. : б. и.]. - Б. ц.
ББК
В15
Рубрики:
геометрия
история математики
Держатели документа:
ЯрГУ ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В12
Ч-43
Чень, Ч.
Математическая логика и автоматическое доказательство
теорем
[Текст] : нелитературный текст / Ч.Чень,Р.Ли ; Пер.с англ. - М. : Наука, 1983. - 358с. - (Математическая логика и основания математики). - 6.00 р.
ББК
В12
Рубрики:
логика
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая логика
--
математическая кибернетика
--
искусственный интеллект
Держатели документа:
ЯрГУ
Доп.точки доступа:
Ли, Р. ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
В161.54я73-4
О-92
Очан, Юрий Семенович
.
Сборник задач и
теорем
по теории функций действительного переменного [Текст] : учеб. пособие для вузов / Ю. С. Очан ; М-во просвещения РСФСР. - М. : Просвещение, 1965. - 230 с. - 5.00 р.
ББК
В161.54я73-4
Рубрики:
математический анализ
Кл.слова (ненормированные):
б-ка Русина
--
теория функций
--
функции действительного переменного
--
учебник В161.54
--
задачи В161.54
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
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)
Найти похожие
5.
51/В75
Воробьев, Н. Н.
Признаки делимости [Текст] / Н. Н. Воробьев. - 4-е изд., испр. - М. : Наука. Главная редакция физико-математической литературы, 1988. - 96 с. -
ISBN
5-02-013731-6 : Б. ц.
Содержание:
Делимость чисел. Делимость сумм и произведений. Признаки равноостаточности и признаки делимости. Делимость степеней. Доказательства
теорем
.
ГРНТИ
27
УДК
511(023)
ББК
22.131
Рубрики:
Математика
Аннотация:
Описываются признаки делимости. Излагаются некоторые вопросы элементарной теории чисел, теории отношений и теории алгоритмов.
Держатели документа:
МУБиНТ
Экземпляры всего:
1
ХР (1)
Свободны:
ХР (1)
Найти похожие
6.
Г51я73
М 14
Майер, Иштван
.
Избранные главы квантовой химии [] : доказательства
теорем
и вывод формул / И. Майер. - М. : БИНОМ. Лаборатория знаний, 2006. - 384 с. - (Химия). -
ISBN
5-94774-499-6. -
ISBN
0-306-47409-3 : 100.00 р.
ББК
Г51я73
Рубрики:
Химия
Кл.слова (ненормированные):
квантовая химия
--
теорем
ы
--
доказательства
теорем
--
формулы
--
учебник Г51
Держатели документа:
ЯрГУ
Свободных экз. нет
Найти похожие
7.
544.18
М 14
Майер,, Иштван
.
Избранные главы квантовой химии [Текст] : доказательство
теорем
и вывод формул / Иштван Майер,. - М. : БИНОМ. Лаборатория знаний, 2006. - 384 с. - Предм. указ. : с. 374-378. -
ISBN
5-94774-499-6 : Б. ц.
УДК
544.18
Рубрики:
Физическая химия--Квантовая химия
Кл.слова (ненормированные):
квантовая химия
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
8.
544.18
М 14
Майер,, Иштван
.
Избранные главы квантовой химии [Текст] : доказательство
теорем
и вывод формул / Иштван Майер,. - М. : БИНОМ. Лаборатория знаний, 2006. - 384 с. - Предм. указ. : с. 374-378. -
ISBN
5-94774-499-6 : Б. ц.
УДК
544.18
Рубрики:
Физическая химия--Квантовая химия
Кл.слова (ненормированные):
квантовая химия
Держатели документа:
ИГХТУ : 153000 г. Иваново, пр. Энгельса, 10
Свободных экз. нет
Найти похожие
9.
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