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

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

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

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Товбис Е. М.
Awduron Eraill:	Якимов С. П.
Fformat:	Книга
Iaith:	Russian
Cyhoeddwyd:	Красноярск СибГУ им. академика М. Ф. Решетнёва 2022
Mynediad Ar-lein:	https://e.lanbook.com/book/330134 https://e.lanbook.com/img/cover/book/330134.jpg
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
gan: Новиков П. В.
Cyhoeddwyd: (2023)

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

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

Логическое программирование учеб. пособие
gan: Ланских Ю. В.
Cyhoeddwyd: (2022)

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

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

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

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

Логическое программирование. Язык Пролог тексты лекций
gan: Волчёнков Н. Г.
Cyhoeddwyd: (2015)

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

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

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

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

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

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

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

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

Логическое основание права и его языковое оформление монография
gan: Самигуллин В. К.
Cyhoeddwyd: (2014)

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

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

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

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

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

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

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

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

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

Программирование учебное пособие
gan: Зюзьков В. М.
Cyhoeddwyd: (2013)

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

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

Математическое программирование. Линейное программирование
gan: Новицкая И. А.
Cyhoeddwyd: (2020)

Программирование учеб. пособие
gan: Зайцев М. Г.
Cyhoeddwyd: (2015)

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

Программирование
Cyhoeddwyd: (2022)

Программирование
gan: Базаркин А. Ф.
Cyhoeddwyd: (2018)

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

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

Программирование. Практикум
gan: Быкадорова Е. А.
Cyhoeddwyd: (2022)

Программирование. Практикум
gan: Быкадорова Е. А.
Cyhoeddwyd: (2020)