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

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

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

保存先:

書誌詳細
第一著者:	Товбис Е. М.
その他の著者:	Якимов С. П.
フォーマット:	Книга
言語:	Russian
出版事項:	Красноярск СибГУ им. академика М. Ф. Решетнёва 2022
オンライン･アクセス:	https://e.lanbook.com/book/330134 https://e.lanbook.com/img/cover/book/330134.jpg
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

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

Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
著者:: Новиков П. В.
出版事項: (2023)

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

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

Логическое программирование учеб. пособие
著者:: Ланских Ю. В.
出版事項: (2022)

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

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

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

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

Логическое программирование. Язык Пролог тексты лекций
著者:: Волчёнков Н. Г.
出版事項: (2015)

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

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

Функциональное и логическое программирование. Ч. 2 учебное пособие
出版事項: (2019)

Функциональное и логическое программирование. Ч. 1 учебное пособие
出版事項: (2010)

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

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

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

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

Логическое основание права и его языковое оформление монография
著者:: Самигуллин В. К.
出版事項: (2014)

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

Интеллектуальные информационные системы. PROLOG – язык разработки интеллектуальных и экспертных систем учебное пособие для бакалавров и магистров направлений подготовки 230400 информационные системы и технологии и 230200 информационные системы
著者:: Хабаров С. П.
出版事項: (2013)

Логическое проектирование реляционной базы данных «Конно-спортивный клуб» и её администрирование
著者:: Левкович, Е. К.
出版事項: (2019)

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

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

Сборник практических заданий по логике, решаемых графическим способом: логическое следование, эквивалентность, противоречие
著者:: Боброва А. С.
出版事項: (2017)

Логическое программирование в системе (360)
著者:: Стэбли Д., 等

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

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

Программирование учебное пособие
著者:: Зюзьков В. М.
出版事項: (2013)

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

Введение в логическое программирование на микро-Прологе
著者:: Кларк К., 等

Математическое программирование. Линейное программирование
著者:: Новицкая И. А.
出版事項: (2020)

Программирование учеб. пособие
著者:: Зайцев М. Г.
出版事項: (2015)

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

Программирование
出版事項: (2022)

Программирование
著者:: Базаркин А. Ф.
出版事項: (2018)

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

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

Программирование. Практикум
著者:: Быкадорова Е. А.
出版事項: (2022)

Программирование. Практикум
著者:: Быкадорова Е. А.
出版事項: (2020)