- Руководства по пользованию программами
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков), 2021
144
Издатель: МГТУ им. Н. Э. Баумана (национальный исследовательский университет)
ISBN: 978-5-7038-5590-4
EAN: 9785703855904
Книги: Программирование
ID: 14160303
Добавлено: 13.01.2024
Описание
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций. Приведены формулировки типичных условий корректности спецификаций поведения агентов. Показано, как сравнительно простыми средствами языка ПРОЛОГ можно осуществлять прототипирование верификации мультиагентных интеллектуальных систем, используя предварительно составленную спецификацию и сформулированные на языке модальной логики условия их корректности. Для студентов бакалавриата, обучающихся по направлению подготовки 09.03.02 «Информационные системы и технологии» и изучающих дисциплину «Интеллектуальные системы и технологии».
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков), 2021»
По данным нашего сервиса товар предлагался к продаже в 1 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 144 р. до 144 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: ЛитРес. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-7038-5590-4 |
| Автор(ы) | В. В. Девятков |
| Год издания | 2021 |
Где купить (1)
Цена от 144 руб до 144 руб в 1 магазине
Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.
Похожие предложения вы можете найти в нашей подборке:
Книги: Информационные технологии, Программирование - издательство "МГТУ им. Н. Э. Баумана (национальный исследовательский университет)"
Книги: Информационные технологии, Программирование с ценой 115-172 р.
| Магазин | Цена | Наличие |
|---|---|---|
| ЛитРес 5/5 | обновлено 15.08.2024 | |
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
| Avito 5/5 | Avito доставка позволит получить любой товар, не выходя из дома
| |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ (В. В. Девятков), 2021» можно купить с кешбеком в 1 магазине: ЛитРес
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Пункты выдачи СДЭК г. Калининград
Вы можете получить свои товары в ближайшем пункте выдачи СДЭК
Цены в соседних городах
Книги: Информационные технологии, Программирование - издательство "МГТУ им. Н. Э. Баумана (национальный исследовательский университет)"
Категория 115 р. - 172 р.
Книги: Информационные технологии, Программирование в Калининграде
Категория 115 р. - 172 р.
