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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

Поисковый запрос: (<.>K=формализация задач<.>)

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

004
И 203

    Иванов, Владимир Михайлович.
    Интеллектуальные системы [Электронный ресурс] : учебное пособие для вузов / В. М. Иванов ; рец.: С. С. Титов, Л. Д. Попов ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 87-89. - ISBN 978-5-534-00551-6(Изд-во Юрайт). - ISBN 978-5-7996-1867-4(Изд-во Урал. ун-та) : Б. ц.

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

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

Доп.точки доступа:
Титов, С. С. \рец.\
Попов, Л. Д. \рец.\
Уральский федеральный университет имени первого Президента России Б. Н. Ельцина

Перейти к внешнему ресурсу https://urait.ru/viewer/intellektualnye-sistemy-453212#page/1
Постоянная гиперссылка

А
Ф 534

    Филиппов, Алексей Юрьевич.
    Алгоритмы формализации и автоматизации решения задач на основе среды компьютерного моделирования задач : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.06 / А. Ю. Филиппов ; науч. рук. : В. М. Дмитриев ; Томский государственный университет систем управления и радиоэлектроники. - Томск, 2007. - 23 с. : ил. - Библиогр.: с. 21-23

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.942(043.3)
53.072:681.3(043.3)
~РУБ А

Кл.слова (ненормированные):
компьютерное моделирование -- формализация задач -- решение задач -- физика -- алгоритмы -- автоматизация -- авторефераты -- среды моделирования
Доп.точки доступа:
Дмитриев, Вячеслав Михайлович \науч. рук.\
Томский государственный университет систем управления и радиоэлектроники

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

681.3
Ф 534

    Филиппов, Алексей Юрьевич.
    Алгоритмы формализации и автоматизации решения задач на основе среды компьютерного моделирования задач : Диссертация на соискание ученой степени кандидата технических наук. 05.13.06 / А. Ю. Филиппов ; науч. рук. : В. М. Дмитриев ; Томский государственный университет систем управления и радиоэлектроники. - Томск, 2007. - 226[6] с. : ил. - Библиогр.: с. 203-211

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.942(043.3)
53.072:681.3(043.3)
~РУБ 681.3

Кл.слова (ненормированные):
компьютерное моделирование -- формализация задач -- решение задач -- физика -- алгоритмы -- автоматизация -- диссертации -- среды моделирования
Доп.точки доступа:
Дмитриев, Вячеслав Михайлович \науч. рук.\
Томский государственный университет систем управления и радиоэлектроники

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

Статистика за 18.06.2024
Число запросов	30341
Число заказов	0

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