Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков); МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021

Книга: Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков); МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021

180

Издатель: МГТУ им. Н. Э. Баумана (национальный исследовательский университет)
ISBN: 978-5-7038-5590-4
EAN: 9785703855904
Книги: Программирование
ID: 14160303
Добавлено: 13.01.2024

Рейтинг:

(0/5)

Описание

Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».

Развернуть фото

Смотри также о книге.

СкидкаГИД инфо +

Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков); МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021»

По данным нашего сервиса товар предлагался к продаже в 1 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 180 р. до 180 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.

Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: ЛитРес. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.

О книге

Основные характеристики товара
Параметр	Значение
ISBN	978-5-7038-5590-4
Автор(ы)	В. В. Девятков
Год издания	2021
Издатель	МГТУ им. Н.Э. Баумана (национальный исследовательский университет)
Форматы электронной версии	PDF

Где купить (1)

Как купить или где мы находимся +

Цена от 180 руб до 180 руб в 1 магазине

Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.

сообщить о снижении цены

Книга: Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков); МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021
Магазин	Цена	Наличие
ЛитРес 5/5 ООО «Литрес» ИНН: 7719571260	180 Электронная книга Кэшбэк до 6.9% история цены +20.0%	обновлено 17.08.2025

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	Кэшбэк до 3.8% Промокоды на скидку

Кэшбэк сервис СкидкаГИД

На сегодняшний день товар «Книга: Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков); МГТУ им. Н.Э. Баумана (национальный исследовательский университет), 2021» можно купить с кешбеком в 1 магазине: ЛитРес

Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.

Заказывайте он-лайн и получайте часть денег обратно, подробнее..