| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=входные данные<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вид документа : Однотомное издание
Шифр издания : 510/К 56
Автор(ы) : Ковальски Р.
Заглавие : Логика в решении проблем
Выходные данные : М.: Наука, 1990
Колич.характеристики :280 с. ; 21см
Серия: Проблемы искусственного интеллекта
ISBN, Цена 5-02-014148-8: 4.00 р.
ГРНТИ : 27.03 + 27.47
УДК : 510.6+519.85
ББК : 22.18
Предметные рубрики: Математика-- Математическая логика
Математика-- Математическое программирование
Ключевые слова (''Своб.индексиров.''): банди--браун--гедель--ковалевски--ли--алгоритм--анализ--атом--база данных--бинарное дерево--вариант--входные данные--гиперрезолюция--задача--интерпретация--хорн--логика--лемма--аксиома--таблицы
Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования.
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 519/П 13
Автор(ы) : Загоруйко Н. Г., Елкина В. Н., Емельянов С. В., Лбов Г. С.
Заглавие : Пакет прикладных программ ОТЭКС (для анализа данных)
Выходные данные : М.: Финансы и статистика, 1986
Колич.характеристики :160 с.: ил.; 20см
Цена : 0.80 р.
ГРНТИ : 27.13
УДК : 519.24
ББК : 22.18
Предметные рубрики: Математика-- Математическая статистика
Ключевые слова (''Своб.индексиров.''): математика--таксономия--алгоритм--входные данные--язык фортран--шкалирование--экспертные системы--математическая статистика
Аннотация: Приведено описание пакета программ для обработки таблиц экспериментальных и статистических данных (ОТЭКС).
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 519/Ч-67
Заглавие : Численный анализ: методы, алгоритмы, программы
Выходные данные : М.: Изд-во Моск. ун-та, 1988
Колич.характеристики :239 с. ; 20см
Коллективы : Московский гос. ун-т
Примечания : Библиогр.в конце ст.
ISBN, Цена 5211011686: 0.75 р.
ГРНТИ : 27.41
УДК : 519.6
Предметные рубрики: Математика-- Вычислительная математика
Ключевые слова (''Своб.индексиров.''): численные методы--линейное программирование--информация--входные данные--коэффициенты--граничные задачи--обратные задачи--параболические уравнения--теория приближений--линейная алгебра--интегральная геометрия--численное моделирование--численный анализ--математика--вычислительная математика--градиент--сплайновая функция--аппроксимация--сплайны--матрицы
Аннотация: Сборник посвящён разработке численных методов решения задач линейного программирования с поточечно заданной информацией о входных данных, коэффициентах и граничных обратных задач для параболических уравнений с несколькими областями фазовых состояний, задач теории приближений, линейной алгебры, интегральной геометрии.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)