Новые поступления (книга в стадии обработки) Ковальски, Р. Логика в решении проблем [Текст] / Р. Ковальски ; пер. с англ.: Л. Г. Осмоловского, В. Э. Вольфенгагена, В. Я. Яцука. - М. : Наука, 1990. - 280 с. ; 21см. - (Проблемы искусственного интеллекта). - ISBN 5-02-014148-8 : 4.00 р.
Рубрики: Математика--Математическая логика Математика--Математическое программирование Кл.слова (ненормированные): Банди -- Браун -- Гедель -- Ковалевски -- Ли -- алгоритм -- анализ -- атом -- база данных -- бинарное дерево -- вариант -- входные данные -- гиперрезолюция -- задача -- интерпретация -- Хорн -- логика -- лемма -- аксиома -- таблицы Аннотация: Изложены основы так называемой клаузальской логики, являющейся средством логического программирования. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Осмоловский, Л. Г. Вольфенгаген, В. Э. Яцук, В. Я. |
Новые поступления (книга в стадии обработки) Пакет прикладных программ ОТЭКС (для анализа данных) [Текст] / Н. Г. Загоруйко [и др.]. - М. : Финансы и статистика, 1986. - 160 с. : ил. ; 20см. - 0.80 р.
Рубрики: Математика--Математическая статистика Кл.слова (ненормированные): математика -- таксономия -- алгоритм -- входные данные -- язык Фортран -- шкалирование -- экспертные системы -- математическая статистика Аннотация: Приведено описание пакета программ для обработки таблиц экспериментальных и статистических данных (ОТЭКС). Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Загоруйко, Н. Г. Елкина, В. Н. Емельянов, С. В. Лбов, Г. С. |
Новые поступления (книга в стадии обработки) Численный анализ: методы, алгоритмы, программы [Текст] / Московский гос. ун-т ; ред.: Н. С. Бахвалов, В. Г. Карманов, В. А. Морозов. - М. : Изд-во Моск. ун-та, 1988. - 239 с. ; 20см. - ISBN 5211011686 : 0.75 р. Библиогр.в конце ст.
Рубрики: Математика--Вычислительная математика Кл.слова (ненормированные): численные методы -- линейное программирование -- информация -- входные данные -- коэффициенты -- граничные задачи -- обратные задачи -- параболические уравнения -- теория приближений -- линейная алгебра -- интегральная геометрия -- численное моделирование -- численный анализ -- математика -- вычислительная математика -- градиент -- сплайновая функция -- аппроксимация -- сплайны -- матрицы Аннотация: Сборник посвящён разработке численных методов решения задач линейного программирования с поточечно заданной информацией о входных данных, коэффициентах и граничных обратных задач для параболических уравнений с несколькими областями фазовых состояний, задач теории приближений, линейной алгебры, интегральной геометрии. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Бахвалов, Н. С. Карманов, В. Г. Морозов, В. А. |