Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Формат представления найденных документов:
полный	для рабочих программ

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

Поисковый запрос: (<.>K=ДОКАЗАТЕЛЬСТВО ТЕОРЕМ<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

517
М 340


    Математическая теория оптимальных процессов [Текст] : моноргафия / Л. С. Понтрягин [и др.]. - 4-е изд., стер. - М. : Наука. Гл. ред. физ.-мат. лит., 1983. - 392 с. : рис. - Библиогр.: с. 391-392. - 01.40 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
517.9(035.3)
~РУБ 517

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

Имеются экземпляры в отделах: , аунл (5 экз.)
Свободны: аунл (5)
Постоянная гиперссылка

004
Х 194

    Хант, Эрл.
    Искусственный интеллект : Пер. с англ. / Э. Хант ; пер. : Д. А. Белов, Ю. И. Крюкова ; ред пер. : В. Л. Стефанюк. - М. : Мир, 1978. - 558[2] с. : ил. - Библиогр.: с. 528-545. -Указ. имен.: с. 546-549. -Предм. указ.: с. 550-555. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8
519.7
~РУБ 004

Кл.слова (ненормированные):
искусственный интеллект -- распознавание образов -- доказательство теорем -- кибернетика
Доп.точки доступа:
Белов, Д. А. \пер.\
Крюкова, Ю. И. \пер.\
Стефанюк, В. Л. \ред пер.\

Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз1 (1)
Постоянная гиперссылка

Статистика за 29.06.2024
Число запросов	88823
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)