Логическое программирование в SWI-prolog учебное пособие

Логическое программирование в SWI-prolog учебное пособие

Цель пособия – сформировать у студентов представление о логическом программировании с помощью программного средства SWI-prolog. После каждой главы в пособии даны задания для самостоятельного выполнения. Предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычис...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Товбис Е. М.
Tác giả khác:	Якимов С. П.
Định dạng:	Книга
Ngôn ngữ:	Russian
Được phát hành:	Красноярск СибГУ им. академика М. Ф. Решетнёва 2022
Truy cập trực tuyến:	https://e.lanbook.com/book/330134 https://e.lanbook.com/img/cover/book/330134.jpg
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Язык программирования SWI-Prolog учебно-методическое пособие
Bằng: Гутман, Г. Н.

Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
Bằng: Новиков П. В.
Được phát hành: (2023)

Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog Учебное пособие
Bằng: Авдеенко Т.В

Логическое программирование Учебник
Bằng: Петренко А.А

Логическое программирование учеб. пособие
Bằng: Ланских Ю. В.
Được phát hành: (2022)

Программирование в среде Visual Prolog учебное пособие
Bằng: Авдеенко, Т. В.

Логическое программирование учебно-методическое пособие к лабораторным работам
Bằng: Новиков, П. В.

Функциональное и логическое программирование практикум
Bằng: Галкина, М. Ю.

Функциональное и логическое программирование учебное пособие
Bằng: Галкина, М. Ю.

Логическое программирование. Язык Пролог тексты лекций
Bằng: Волчёнков Н. Г.
Được phát hành: (2015)

Функциональное и логическое программирование учебно-методическое пособие
Bằng: Козырева, Г. Ф.

Функциональное и рекурсивно-логическое программирование учебное пособие
Bằng: Рогозин, О. В.

Функциональное и логическое программирование. Ч. 2 учебное пособие
Được phát hành: (2019)

Функциональное и логическое программирование. Ч. 1 учебное пособие
Được phát hành: (2010)

Практикум по дисциплине Логическое и функциональное программирование

Основы программирования на языке Visual Prolog учебное пособие
Bằng: Ефимова, Е. А.

Учебно-методическое пособие по дисциплине Логическое и функциональное программирование

Синтез и логическое моделирование электронных схем учебно-методическое пособие
Bằng: Болдырев, А. В.

Логическое основание права и его языковое оформление монография
Bằng: Самигуллин В. К.
Được phát hành: (2014)

Логическое программирование

Интеллектуальные информационные системы. PROLOG – язык разработки интеллектуальных и экспертных систем учебное пособие для бакалавров и магистров направлений подготовки 230400 информационные системы и технологии и 230200 информационные системы
Bằng: Хабаров С. П.
Được phát hành: (2013)

Логическое проектирование реляционной базы данных «Конно-спортивный клуб» и её администрирование
Bằng: Левкович, Е. К.
Được phát hành: (2019)

Найти умного: Как проверить логическое мышление и творческие способности кандидата Учебное пособие
Bằng: Паундстоун У.

Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний
Bằng: Бибило, П. Н.

Сборник практических заданий по логике, решаемых графическим способом: логическое следование, эквивалентность, противоречие
Bằng: Боброва А. С.
Được phát hành: (2017)

Логическое программирование в системе (360)
Bằng: Стэбли Д., et al.

Программирование. Процедурное программирование учебное пособие
Bằng: Кучунова, Е. В.

Программирование. Процедурное программирование Учебное пособие
Bằng: Кучунова Е.В

Программирование учебное пособие
Bằng: Зюзьков В. М.
Được phát hành: (2013)

Программирование учебное пособие
Bằng: Зюзьков, В. М.

Введение в логическое программирование на микро-Прологе
Bằng: Кларк К., et al.

Математическое программирование. Линейное программирование
Bằng: Новицкая И. А.
Được phát hành: (2020)

Программирование учеб. пособие
Bằng: Зайцев М. Г.
Được phát hành: (2015)

Программирование в интернете
Bằng: Турганбай, К. Е.

Программирование
Được phát hành: (2022)

Программирование
Bằng: Базаркин А. Ф.
Được phát hành: (2018)

Прикладное программирование учебное пособие
Bằng: Агафонов, Е. Д.

Прикладное программирование Учебное пособие
Bằng: Агафонов Е.Д

Программирование. Практикум
Bằng: Быкадорова Е. А.
Được phát hành: (2022)

Программирование. Практикум
Bằng: Быкадорова Е. А.
Được phát hành: (2020)